Connects a very general infinite series with an infinite continued fraction.
連分数 の 解析理論 において 、 オイラーの連分数公式は 、ある非常に一般的な 無限級数を無限 連分数 と結び付ける恒等式 である。1748年に初めて発表されたこの公式は、最初は有限和を有限連分数と結び付ける単純な恒等式であり、無限の場合への拡張がすぐに明らかであると考えられていた。 [1]今日では、複素数要素を持つ無限連分数の一般的な 収束問題 に対する解析的アプローチの有用なツールとして、より十分に評価されている 。
オイラーは有限の 積の 和と有限の連分数を結び付ける公式を導き出しました 。
a
0
(
1
+
a
1
(
1
+
a
2
(
⋯
+
a
n
)
⋯
)
)
=
a
0
+
a
0
a
1
+
a
0
a
1
a
2
+
⋯
+
a
0
a
1
a
2
⋯
a
n
=
a
0
1
−
a
1
1
+
a
1
−
a
2
1
+
a
2
−
⋱
⋱
a
n
−
1
1
+
a
n
−
1
−
a
n
1
+
a
n
{\displaystyle {\begin{aligned}a_{0}\left(1+a_{1}\left(1+a_{2}\left(\cdots +a_{n}\right)\cdots \right)\right)&=a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+\cdots +a_{0}a_{1}a_{2}\cdots a_{n}\\&={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{1+a_{2}-{\cfrac {\ddots }{\ddots {\cfrac {a_{n-1}}{1+a_{n-1}-{\cfrac {a_{n}}{1+a_{n}}}}}}}}}}}}}\,\end{aligned}}}
この恒等式は n 上の 帰納法 によって簡単に確立されるため、極限において適用可能です。つまり、左側の式を拡張して収束 する無限級数を表す場合、右側の式も拡張して 収束する無限連分数 を表すことができます 。
これは、一般化連分数 表記法を使用してより簡潔に記述されます 。
a
0
+
a
0
a
1
+
a
0
a
1
a
2
+
⋯
+
a
0
a
1
a
2
⋯
a
n
=
a
0
1
+
−
a
1
1
+
a
1
+
−
a
2
1
+
a
2
+
⋯
−
a
n
1
+
a
n
.
{\displaystyle a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+\cdots +a_{0}a_{1}a_{2}\cdots a_{n}={\frac {a_{0}}{1+}}\,{\frac {-a_{1}}{1+a_{1}+}}\,{\cfrac {-a_{2}}{1+a_{2}+}}\cdots {\frac {-a_{n}}{1+a_{n}}}.}
r i が複素数で x が次のように定義される
とき
x
=
1
+
∑
i
=
1
∞
r
1
r
2
⋯
r
i
=
1
+
∑
i
=
1
∞
(
∏
j
=
1
i
r
j
)
,
{\displaystyle x=1+\sum _{i=1}^{\infty }r_{1}r_{2}\cdots r_{i}=1+\sum _{i=1}^{\infty }\left(\prod _{j=1}^{i}r_{j}\right)\,,}
この等式は帰納法で証明できる
x
=
1
1
−
r
1
1
+
r
1
−
r
2
1
+
r
2
−
r
3
1
+
r
3
−
⋱
{\displaystyle x={\cfrac {1}{1-{\cfrac {r_{1}}{1+r_{1}-{\cfrac {r_{2}}{1+r_{2}-{\cfrac {r_{3}}{1+r_{3}-\ddots }}}}}}}}\,}
。 ここで等式とは、各連分数の n 番目に 収束 するものが、上に示した級数の n 番目に部分和に等しいという意味で、同値であると理解される。したがって、示された級数が収束する場合、または r i が何らかの複素変数z の関数である場合に 一様 収束する場合 、連分数も収束するか、一様収束する。 [2]
帰納法による証明 定理: を自然数とする。 複素数値の場合 、
n
{\displaystyle n}
n
+
1
{\displaystyle n+1}
a
0
,
a
1
,
…
,
a
n
{\displaystyle a_{0},a_{1},\ldots ,a_{n}}
∑
k
=
0
n
∏
j
=
0
k
a
j
=
a
0
1
+
−
a
1
1
+
a
1
+
⋯
−
a
n
1
+
a
n
{\displaystyle \sum _{k=0}^{n}\prod _{j=0}^{k}a_{j}={\frac {a_{0}}{1+}}\,{\frac {-a_{1}}{1+a_{1}+}}\cdots {\frac {-a_{n}}{1+a_{n}}}}
複素数値 の場合 、
n
{\displaystyle n}
b
1
,
…
,
b
n
{\displaystyle b_{1},\ldots ,b_{n}}
−
b
1
1
+
b
1
+
−
b
2
1
+
b
2
+
⋯
−
b
n
1
+
b
n
≠
−
1.
{\displaystyle {\frac {-b_{1}}{1+b_{1}+}}\,{\frac {-b_{2}}{1+b_{2}+}}\cdots {\frac {-b_{n}}{1+b_{n}}}\neq -1.}
証明: 二重帰納法を実行する。 については 、
n
=
1
{\displaystyle n=1}
a
0
1
+
−
a
1
1
+
a
1
=
a
0
1
+
−
a
1
1
+
a
1
=
a
0
(
1
+
a
1
)
1
=
a
0
+
a
0
a
1
=
∑
k
=
0
1
∏
j
=
0
k
a
j
{\displaystyle {\frac {a_{0}}{1+}}\,{\frac {-a_{1}}{1+a_{1}}}={\frac {a_{0}}{1+{\frac {-a_{1}}{1+a_{1}}}}}={\frac {a_{0}(1+a_{1})}{1}}=a_{0}+a_{0}a_{1}=\sum _{k=0}^{1}\prod _{j=0}^{k}a_{j}}
そして
−
b
1
1
+
b
1
≠
−
1.
{\displaystyle {\frac {-b_{1}}{1+b_{1}}}\neq -1.}
ここで、両方のステートメントが何らかの に対して真であると仮定します 。
n
≥
1
{\displaystyle n\geq 1}
私たちは
ここに
−
b
1
1
+
b
1
+
−
b
2
1
+
b
2
+
⋯
−
b
n
+
1
1
+
b
n
+
1
=
−
b
1
1
+
b
1
+
x
{\displaystyle {\frac {-b_{1}}{1+b_{1}+}}\,{\frac {-b_{2}}{1+b_{2}+}}\cdots {\frac {-b_{n+1}}{1+b_{n+1}}}={\frac {-b_{1}}{1+b_{1}+x}}}
x
=
−
b
2
1
+
b
2
+
⋯
−
b
n
+
1
1
+
b
n
+
1
≠
−
1
{\displaystyle x={\frac {-b_{2}}{1+b_{2}+}}\cdots {\frac {-b_{n+1}}{1+b_{n+1}}}\neq -1}
帰納的仮説を適用することによって 。
b
2
,
…
,
b
n
+
1
{\displaystyle b_{2},\ldots ,b_{n+1}}
しかし、が を意味する 場合、矛盾が 生じます 。したがって
−
b
1
1
+
b
1
+
x
=
−
1
{\displaystyle {\frac {-b_{1}}{1+b_{1}+x}}=-1}
b
1
=
1
+
b
1
+
x
{\displaystyle b_{1}=1+b_{1}+x}
x
=
−
1
{\displaystyle x=-1}
−
b
1
1
+
b
1
+
−
b
2
1
+
b
2
+
⋯
−
b
n
+
1
1
+
b
n
+
1
≠
−
1
,
{\displaystyle {\frac {-b_{1}}{1+b_{1}+}}\,{\frac {-b_{2}}{1+b_{2}+}}\cdots {\frac {-b_{n+1}}{1+b_{n+1}}}\neq -1,}
その誘導を完了します。
については 、
x
≠
−
1
{\displaystyle x\neq -1}
1
1
+
−
a
1
+
a
+
x
=
1
1
−
a
1
+
a
+
x
=
1
+
a
+
x
1
+
x
=
1
+
a
1
+
x
;
{\displaystyle {\frac {1}{1+}}\,{\frac {-a}{1+a+x}}={\frac {1}{1-{\frac {a}{1+a+x}}}}={\frac {1+a+x}{1+x}}=1+{\frac {a}{1+x}};}
の場合 、両辺はゼロになります。
x
=
−
1
−
a
{\displaystyle x=-1-a}
および を 使用し
、値 に帰納的仮説を適用すると 、
a
=
a
1
{\displaystyle a=a_{1}}
x
=
−
a
2
1
+
a
2
+
⋯
−
a
n
+
1
1
+
a
n
+
1
≠
−
1
{\displaystyle x={\frac {-a_{2}}{1+a_{2}+}}\,\cdots {\frac {-a_{n+1}}{1+a_{n+1}}}\neq -1}
a
1
,
a
2
,
…
,
a
n
+
1
{\displaystyle a_{1},a_{2},\ldots ,a_{n+1}}
a
0
+
a
0
a
1
+
a
0
a
1
a
2
+
⋯
+
a
0
a
1
a
2
a
3
⋯
a
n
+
1
=
a
0
+
a
0
(
a
1
+
a
1
a
2
+
⋯
+
a
1
a
2
a
3
⋯
a
n
+
1
)
=
a
0
+
a
0
(
a
1
1
+
−
a
2
1
+
a
2
+
⋯
−
a
n
+
1
1
+
a
n
+
1
)
=
a
0
(
1
+
a
1
1
+
−
a
2
1
+
a
2
+
⋯
−
a
n
+
1
1
+
a
n
+
1
)
=
a
0
(
1
1
+
−
a
1
1
+
a
1
+
−
a
2
1
+
a
2
+
⋯
−
a
n
+
1
1
+
a
n
+
1
)
=
a
0
1
+
−
a
1
1
+
a
1
+
−
a
2
1
+
a
2
+
⋯
−
a
n
+
1
1
+
a
n
+
1
,
{\displaystyle {\begin{aligned}a_{0}+&a_{0}a_{1}+a_{0}a_{1}a_{2}+\cdots +a_{0}a_{1}a_{2}a_{3}\cdots a_{n+1}\\&=a_{0}+a_{0}(a_{1}+a_{1}a_{2}+\cdots +a_{1}a_{2}a_{3}\cdots a_{n+1})\\&=a_{0}+a_{0}{\big (}{\frac {a_{1}}{1+}}\,{\frac {-a_{2}}{1+a_{2}+}}\,\cdots {\frac {-a_{n+1}}{1+a_{n+1}}}{\big )}\\&=a_{0}{\big (}1+{\frac {a_{1}}{1+}}\,{\frac {-a_{2}}{1+a_{2}+}}\,\cdots {\frac {-a_{n+1}}{1+a_{n+1}}}{\big )}\\&=a_{0}{\big (}{\frac {1}{1+}}\,{\frac {-a_{1}}{1+a_{1}+}}\,{\frac {-a_{2}}{1+a_{2}+}}\,\cdots {\frac {-a_{n+1}}{1+a_{n+1}}}{\big )}\\&={\frac {a_{0}}{1+}}\,{\frac {-a_{1}}{1+a_{1}+}}\,{\frac {-a_{2}}{1+a_{2}+}}\,\cdots {\frac {-a_{n+1}}{1+a_{n+1}}},\end{aligned}}}
他の誘導を完了します。
たとえば、式を 連分数に並べ替えることができます。
a
0
+
a
0
a
1
+
a
0
a
1
a
2
+
a
0
a
1
a
2
a
3
{\displaystyle a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+a_{0}a_{1}a_{2}a_{3}}
a
0
+
a
0
a
1
+
a
0
a
1
a
2
+
a
0
a
1
a
2
a
3
=
a
0
(
a
1
(
a
2
(
a
3
+
1
)
+
1
)
+
1
)
=
a
0
1
a
1
(
a
2
(
a
3
+
1
)
+
1
)
+
1
=
a
0
a
1
(
a
2
(
a
3
+
1
)
+
1
)
+
1
a
1
(
a
2
(
a
3
+
1
)
+
1
)
+
1
−
a
1
(
a
2
(
a
3
+
1
)
+
1
)
a
1
(
a
2
(
a
3
+
1
)
+
1
)
+
1
=
a
0
1
−
a
1
(
a
2
(
a
3
+
1
)
+
1
)
a
1
(
a
2
(
a
3
+
1
)
+
1
)
+
1
=
a
0
1
−
a
1
a
1
(
a
2
(
a
3
+
1
)
+
1
)
+
1
a
2
(
a
3
+
1
)
+
1
=
a
0
1
−
a
1
a
1
(
a
2
(
a
3
+
1
)
+
1
)
a
2
(
a
3
+
1
)
+
1
+
a
2
(
a
3
+
1
)
+
1
a
2
(
a
3
+
1
)
+
1
−
a
2
(
a
3
+
1
)
a
2
(
a
3
+
1
)
+
1
=
a
0
1
−
a
1
1
+
a
1
−
a
2
(
a
3
+
1
)
a
2
(
a
3
+
1
)
+
1
=
a
0
1
−
a
1
1
+
a
1
−
a
2
a
2
(
a
3
+
1
)
+
1
a
3
+
1
=
a
0
1
−
a
1
1
+
a
1
−
a
2
a
2
(
a
3
+
1
)
a
3
+
1
+
a
3
+
1
a
3
+
1
−
a
3
a
3
+
1
=
a
0
1
−
a
1
1
+
a
1
−
a
2
1
+
a
2
−
a
3
1
+
a
3
{\displaystyle {\begin{aligned}&a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+a_{0}a_{1}a_{2}a_{3}\\[8pt]={}&a_{0}(a_{1}(a_{2}(a_{3}+1)+1)+1)\\[8pt]={}&{\cfrac {a_{0}}{\cfrac {1}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}\\[8pt]={}&{\cfrac {a_{0}}{{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)+1}{a_{1}(a_{2}(a_{3}+1)+1)+1}}-{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)+1}{a_{2}(a_{3}+1)+1}}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{2}(a_{3}+1)+1}}+{\cfrac {a_{2}(a_{3}+1)+1}{a_{2}(a_{3}+1)+1}}-{\cfrac {a_{2}(a_{3}+1)}{a_{2}(a_{3}+1)+1}}}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}(a_{3}+1)}{a_{2}(a_{3}+1)+1}}}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{\cfrac {a_{2}(a_{3}+1)+1}{a_{3}+1}}}}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{{\cfrac {a_{2}(a_{3}+1)}{a_{3}+1}}+{\cfrac {a_{3}+1}{a_{3}+1}}-{\cfrac {a_{3}}{a_{3}+1}}}}}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{1+a_{2}-{\cfrac {a_{3}}{1+a_{3}}}}}}}}}\end{aligned}}}
これは任意の長さのシーケンスに適用できるため、無限の場合にも適用されます。
例
指数関数 指数関数 e x は 、複素平面上のすべての境界領域で均一に収束するべき級数展開を持つ
整関数 です。
e
x
=
1
+
∑
n
=
1
∞
x
n
n
!
=
1
+
∑
n
=
1
∞
(
∏
i
=
1
n
x
i
)
{\displaystyle e^{x}=1+\sum _{n=1}^{\infty }{\frac {x^{n}}{n!}}=1+\sum _{n=1}^{\infty }\left(\prod _{i=1}^{n}{\frac {x}{i}}\right)\,}
オイラーの連分数の公式の応用は簡単です。
e
x
=
1
1
−
x
1
+
x
−
1
2
x
1
+
1
2
x
−
1
3
x
1
+
1
3
x
−
1
4
x
1
+
1
4
x
−
⋱
.
{\displaystyle e^{x}={\cfrac {1}{1-{\cfrac {x}{1+x-{\cfrac {{\frac {1}{2}}x}{1+{\frac {1}{2}}x-{\cfrac {{\frac {1}{3}}x}{1+{\frac {1}{3}}x-{\cfrac {{\frac {1}{4}}x}{1+{\frac {1}{4}}x-\ddots }}}}}}}}}}.\,}
分数を消去する
等価変換 を適用すると、この例は次のように簡略化されます。
e
x
=
1
1
−
x
1
+
x
−
x
2
+
x
−
2
x
3
+
x
−
3
x
4
+
x
−
⋱
{\displaystyle e^{x}={\cfrac {1}{1-{\cfrac {x}{1+x-{\cfrac {x}{2+x-{\cfrac {2x}{3+x-{\cfrac {3x}{4+x-\ddots }}}}}}}}}}\,}
そして、この連分数はe x のべき級数と同等であるため、複素平面上のすべての有界領域上で一様に収束することが確実です 。
自然対数 1 の近傍における自然対数の
主枝 の テイラー 級数はよく知られています。
log
(
1
+
x
)
=
x
−
x
2
2
+
x
3
3
−
x
4
4
+
⋯
=
∑
n
=
1
∞
(
−
1
)
n
+
1
z
n
n
.
{\displaystyle \log(1+x)=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+\cdots =\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}z^{n}}{n}}.\,}
この級数は| x | < 1のときに収束し、積の和として表すこともできる: [3]
log
(
1
+
x
)
=
x
+
(
x
)
(
−
x
2
)
+
(
x
)
(
−
x
2
)
(
−
2
x
3
)
+
(
x
)
(
−
x
2
)
(
−
2
x
3
)
(
−
3
x
4
)
+
⋯
{\displaystyle \log(1+x)=x+(x)\left({\frac {-x}{2}}\right)+(x)\left({\frac {-x}{2}}\right)\left({\frac {-2x}{3}}\right)+(x)\left({\frac {-x}{2}}\right)\left({\frac {-2x}{3}}\right)\left({\frac {-3x}{4}}\right)+\cdots }
この式にオイラーの連分数公式を適用すると、
log
(
1
+
x
)
=
x
1
−
−
x
2
1
+
−
x
2
−
−
2
x
3
1
+
−
2
x
3
−
−
3
x
4
1
+
−
3
x
4
−
⋱
{\displaystyle \log(1+x)={\cfrac {x}{1-{\cfrac {\frac {-x}{2}}{1+{\frac {-x}{2}}-{\cfrac {\frac {-2x}{3}}{1+{\frac {-2x}{3}}-{\cfrac {\frac {-3x}{4}}{1+{\frac {-3x}{4}}-\ddots }}}}}}}}}
そして、等価変換を使用してすべての分数を消去すると、次のようになります。
log
(
1
+
x
)
=
x
1
+
x
2
−
x
+
2
2
x
3
−
2
x
+
3
2
x
4
−
3
x
+
⋱
{\displaystyle \log(1+x)={\cfrac {x}{1+{\cfrac {x}{2-x+{\cfrac {2^{2}x}{3-2x+{\cfrac {3^{2}x}{4-3x+\ddots }}}}}}}}}
この連分数は、| x | < 1のときに収束します。これは、それが導出された級数と等しいためです。 [3]
三角関数 正弦 関数の テイラー 級数 は複素平面全体にわたって収束し、積の和として表すことができます。
sin
x
=
∑
n
=
0
∞
(
−
1
)
n
(
2
n
+
1
)
!
x
2
n
+
1
=
x
−
x
3
3
!
+
x
5
5
!
−
x
7
7
!
+
x
9
9
!
−
⋯
=
x
+
(
x
)
(
−
x
2
2
⋅
3
)
+
(
x
)
(
−
x
2
2
⋅
3
)
(
−
x
2
4
⋅
5
)
+
(
x
)
(
−
x
2
2
⋅
3
)
(
−
x
2
4
⋅
5
)
(
−
x
2
6
⋅
7
)
+
⋯
{\displaystyle {\begin{aligned}\sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}&=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+{\frac {x^{9}}{9!}}-\cdots \\[8pt]&=x+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)\left({\frac {-x^{2}}{4\cdot 5}}\right)+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)\left({\frac {-x^{2}}{4\cdot 5}}\right)\left({\frac {-x^{2}}{6\cdot 7}}\right)+\cdots \end{aligned}}}
オイラーの連分数公式を適用すれば
x
1
−
−
x
2
2
⋅
3
1
+
−
x
2
2
⋅
3
−
−
x
2
4
⋅
5
1
+
−
x
2
4
⋅
5
−
−
x
2
6
⋅
7
1
+
−
x
2
6
⋅
7
−
⋱
{\displaystyle {\cfrac {x}{1-{\cfrac {\frac {-x^{2}}{2\cdot 3}}{1+{\frac {-x^{2}}{2\cdot 3}}-{\cfrac {\frac {-x^{2}}{4\cdot 5}}{1+{\frac {-x^{2}}{4\cdot 5}}-{\cfrac {\frac {-x^{2}}{6\cdot 7}}{1+{\frac {-x^{2}}{6\cdot 7}}-\ddots }}}}}}}}}
分母をクリアするために同値変換が使用されます。
sin
x
=
x
1
+
x
2
2
⋅
3
−
x
2
+
2
⋅
3
x
2
4
⋅
5
−
x
2
+
4
⋅
5
x
2
6
⋅
7
−
x
2
+
⋱
.
{\displaystyle \sin x={\cfrac {x}{1+{\cfrac {x^{2}}{2\cdot 3-x^{2}+{\cfrac {2\cdot 3x^{2}}{4\cdot 5-x^{2}+{\cfrac {4\cdot 5x^{2}}{6\cdot 7-x^{2}+\ddots }}}}}}}}.}
同じ 議論を コサイン 関数にも適用できます 。
cos
x
=
∑
n
=
0
∞
(
−
1
)
n
(
2
n
)
!
x
2
n
=
1
−
x
2
2
!
+
x
4
4
!
−
x
6
6
!
+
x
8
8
!
−
⋯
=
1
+
−
x
2
2
+
(
−
x
2
2
)
(
−
x
2
3
⋅
4
)
+
(
−
x
2
2
)
(
−
x
2
3
⋅
4
)
(
−
x
2
5
⋅
6
)
+
⋯
=
1
1
−
−
x
2
2
1
+
−
x
2
2
−
−
x
2
3
⋅
4
1
+
−
x
2
3
⋅
4
−
−
x
2
5
⋅
6
1
+
−
x
2
5
⋅
6
−
⋱
{\displaystyle {\begin{aligned}\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}&=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+{\frac {x^{8}}{8!}}-\cdots \\[8pt]&=1+{\frac {-x^{2}}{2}}+\left({\frac {-x^{2}}{2}}\right)\left({\frac {-x^{2}}{3\cdot 4}}\right)+\left({\frac {-x^{2}}{2}}\right)\left({\frac {-x^{2}}{3\cdot 4}}\right)\left({\frac {-x^{2}}{5\cdot 6}}\right)+\cdots \\[8pt]&={\cfrac {1}{1-{\cfrac {\frac {-x^{2}}{2}}{1+{\frac {-x^{2}}{2}}-{\cfrac {\frac {-x^{2}}{3\cdot 4}}{1+{\frac {-x^{2}}{3\cdot 4}}-{\cfrac {\frac {-x^{2}}{5\cdot 6}}{1+{\frac {-x^{2}}{5\cdot 6}}-\ddots }}}}}}}}\end{aligned}}}
∴
cos
x
=
1
1
+
x
2
2
−
x
2
+
2
x
2
3
⋅
4
−
x
2
+
3
⋅
4
x
2
5
⋅
6
−
x
2
+
⋱
.
{\displaystyle \therefore \cos x={\cfrac {1}{1+{\cfrac {x^{2}}{2-x^{2}+{\cfrac {2x^{2}}{3\cdot 4-x^{2}+{\cfrac {3\cdot 4x^{2}}{5\cdot 6-x^{2}+\ddots }}}}}}}}.}
逆三角関数 逆 三角関数は 連分数として表すことができます。
sin
−
1
x
=
∑
n
=
0
∞
(
2
n
−
1
)
!
!
(
2
n
)
!
!
⋅
x
2
n
+
1
2
n
+
1
=
x
+
(
1
2
)
x
3
3
+
(
1
⋅
3
2
⋅
4
)
x
5
5
+
(
1
⋅
3
⋅
5
2
⋅
4
⋅
6
)
x
7
7
+
⋯
=
x
+
x
(
x
2
2
⋅
3
)
+
x
(
x
2
2
⋅
3
)
(
(
3
x
)
2
4
⋅
5
)
+
x
(
x
2
2
⋅
3
)
(
(
3
x
)
2
4
⋅
5
)
(
(
5
x
)
2
6
⋅
7
)
+
⋯
=
x
1
−
x
2
2
⋅
3
1
+
x
2
2
⋅
3
−
(
3
x
)
2
4
⋅
5
1
+
(
3
x
)
2
4
⋅
5
−
(
5
x
)
2
6
⋅
7
1
+
(
5
x
)
2
6
⋅
7
−
⋱
{\displaystyle {\begin{aligned}\sin ^{-1}x=\sum _{n=0}^{\infty }{\frac {(2n-1)!!}{(2n)!!}}\cdot {\frac {x^{2n+1}}{2n+1}}&=x+\left({\frac {1}{2}}\right){\frac {x^{3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {x^{5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {x^{7}}{7}}+\cdots \\[8pt]&=x+x\left({\frac {x^{2}}{2\cdot 3}}\right)+x\left({\frac {x^{2}}{2\cdot 3}}\right)\left({\frac {(3x)^{2}}{4\cdot 5}}\right)+x\left({\frac {x^{2}}{2\cdot 3}}\right)\left({\frac {(3x)^{2}}{4\cdot 5}}\right)\left({\frac {(5x)^{2}}{6\cdot 7}}\right)+\cdots \\[8pt]&={\cfrac {x}{1-{\cfrac {\frac {x^{2}}{2\cdot 3}}{1+{\frac {x^{2}}{2\cdot 3}}-{\cfrac {\frac {(3x)^{2}}{4\cdot 5}}{1+{\frac {(3x)^{2}}{4\cdot 5}}-{\cfrac {\frac {(5x)^{2}}{6\cdot 7}}{1+{\frac {(5x)^{2}}{6\cdot 7}}-\ddots }}}}}}}}\end{aligned}}}
同値変換により
sin
−
1
x
=
x
1
−
x
2
2
⋅
3
+
x
2
−
2
⋅
3
(
3
x
)
2
4
⋅
5
+
(
3
x
)
2
−
4
⋅
5
(
5
x
2
)
6
⋅
7
+
(
5
x
2
)
−
⋱
.
{\displaystyle \sin ^{-1}x={\cfrac {x}{1-{\cfrac {x^{2}}{2\cdot 3+x^{2}-{\cfrac {2\cdot 3(3x)^{2}}{4\cdot 5+(3x)^{2}-{\cfrac {4\cdot 5(5x^{2})}{6\cdot 7+(5x^{2})-\ddots }}}}}}}}.}
逆正接 の連分数は 簡単です。
tan
−
1
x
=
∑
n
=
0
∞
(
−
1
)
n
x
2
n
+
1
2
n
+
1
=
x
−
x
3
3
+
x
5
5
−
x
7
7
+
⋯
=
x
+
x
(
−
x
2
3
)
+
x
(
−
x
2
3
)
(
−
3
x
2
5
)
+
x
(
−
x
2
3
)
(
−
3
x
2
5
)
(
−
5
x
2
7
)
+
⋯
=
x
1
−
−
x
2
3
1
+
−
x
2
3
−
−
3
x
2
5
1
+
−
3
x
2
5
−
−
5
x
2
7
1
+
−
5
x
2
7
−
⋱
=
x
1
+
x
2
3
−
x
2
+
(
3
x
)
2
5
−
3
x
2
+
(
5
x
)
2
7
−
5
x
2
+
⋱
.
{\displaystyle {\begin{aligned}\tan ^{-1}x=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{2n+1}}{2n+1}}&=x-{\frac {x^{3}}{3}}+{\frac {x^{5}}{5}}-{\frac {x^{7}}{7}}+\cdots \\[8pt]&=x+x\left({\frac {-x^{2}}{3}}\right)+x\left({\frac {-x^{2}}{3}}\right)\left({\frac {-3x^{2}}{5}}\right)+x\left({\frac {-x^{2}}{3}}\right)\left({\frac {-3x^{2}}{5}}\right)\left({\frac {-5x^{2}}{7}}\right)+\cdots \\[8pt]&={\cfrac {x}{1-{\cfrac {\frac {-x^{2}}{3}}{1+{\frac {-x^{2}}{3}}-{\cfrac {\frac {-3x^{2}}{5}}{1+{\frac {-3x^{2}}{5}}-{\cfrac {\frac {-5x^{2}}{7}}{1+{\frac {-5x^{2}}{7}}-\ddots }}}}}}}}\\[8pt]&={\cfrac {x}{1+{\cfrac {x^{2}}{3-x^{2}+{\cfrac {(3x)^{2}}{5-3x^{2}+{\cfrac {(5x)^{2}}{7-5x^{2}+\ddots }}}}}}}}.\end{aligned}}}
連分数 π 逆正接に関する前述の例を使って、 π の 連分数 表現を構築することができます。
tan
−
1
(
1
)
=
π
4
,
{\displaystyle \tan ^{-1}(1)={\frac {\pi }{4}},}
そして、 前の結果で
x = 1とすると、すぐに次の式が得られます。
π
=
4
1
+
1
2
2
+
3
2
2
+
5
2
2
+
7
2
2
+
⋱
.
{\displaystyle \pi ={\cfrac {4}{1+{\cfrac {1^{2}}{2+{\cfrac {3^{2}}{2+{\cfrac {5^{2}}{2+{\cfrac {7^{2}}{2+\ddots }}}}}}}}}}.\,}
双曲線関数 双曲関数 と三角関数
の関係を思い出してください。
sin
i
x
=
i
sinh
x
{\displaystyle \sin ix=i\sinh x}
cos
i
x
=
cosh
x
,
{\displaystyle \cos ix=\cosh x,}
そして、 次の連分数は上記の連分数から簡単に導き出せます。
i
2
=
−
1
,
{\displaystyle i^{2}=-1,}
sinh
x
=
x
1
−
x
2
2
⋅
3
+
x
2
−
2
⋅
3
x
2
4
⋅
5
+
x
2
−
4
⋅
5
x
2
6
⋅
7
+
x
2
−
⋱
{\displaystyle \sinh x={\cfrac {x}{1-{\cfrac {x^{2}}{2\cdot 3+x^{2}-{\cfrac {2\cdot 3x^{2}}{4\cdot 5+x^{2}-{\cfrac {4\cdot 5x^{2}}{6\cdot 7+x^{2}-\ddots }}}}}}}}}
cosh
x
=
1
1
−
x
2
2
+
x
2
−
2
x
2
3
⋅
4
+
x
2
−
3
⋅
4
x
2
5
⋅
6
+
x
2
−
⋱
.
{\displaystyle \cosh x={\cfrac {1}{1-{\cfrac {x^{2}}{2+x^{2}-{\cfrac {2x^{2}}{3\cdot 4+x^{2}-{\cfrac {3\cdot 4x^{2}}{5\cdot 6+x^{2}-\ddots }}}}}}}}.}
逆双曲線関数 逆 双曲線関数は 逆三角関数と関係があり、双曲線関数が三角関数と関係があるのと同様である。
sin
−
1
i
x
=
i
sinh
−
1
x
{\displaystyle \sin ^{-1}ix=i\sinh ^{-1}x}
tan
−
1
i
x
=
i
tanh
−
1
x
,
{\displaystyle \tan ^{-1}ix=i\tanh ^{-1}x,}
これらの連分数は簡単に導出できます。
sinh
−
1
x
=
x
1
+
x
2
2
⋅
3
−
x
2
+
2
⋅
3
(
3
x
)
2
4
⋅
5
−
(
3
x
)
2
+
4
⋅
5
(
5
x
2
)
6
⋅
7
−
(
5
x
2
)
+
⋱
{\displaystyle \sinh ^{-1}x={\cfrac {x}{1+{\cfrac {x^{2}}{2\cdot 3-x^{2}+{\cfrac {2\cdot 3(3x)^{2}}{4\cdot 5-(3x)^{2}+{\cfrac {4\cdot 5(5x^{2})}{6\cdot 7-(5x^{2})+\ddots }}}}}}}}}
tanh
−
1
x
=
x
1
−
x
2
3
+
x
2
−
(
3
x
)
2
5
+
3
x
2
−
(
5
x
)
2
7
+
5
x
2
−
⋱
.
{\displaystyle \tanh ^{-1}x={\cfrac {x}{1-{\cfrac {x^{2}}{3+x^{2}-{\cfrac {(3x)^{2}}{5+3x^{2}-{\cfrac {(5x)^{2}}{7+5x^{2}-\ddots }}}}}}}}.}
参照
参考文献
^ レオンハルト・オイラー (1748)、「18」、 無限分析の紹介 、vol.私 ^ HS Wall, Analytic Theory of Continuous Fractions , D. Van Nostrand Company, Inc., 1948; Chelsea Publishing Company により再版 (1973) ISBN 0-8284-0207-8 , p. 17. ^ abこの級数は、 アーベルのテスト（log(1 − x ) の級数に適用 ） により、 | x | < 1 で収束します。
![{\displaystyle {\begin{aligned}&a_{0}+a_{0}a_{1}+a_{0}a_{1}a_{2}+a_{0}a_{1}a_{2}a_{3}\\[8pt]={}&a_{0}(a_{1}(a_{2}(a_{3}+1)+1)+1)\\[8pt]={}&{\cfrac {a_{0}}{\cfrac {1}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}\\[8pt]={}&{\cfrac {a_{0}}{{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)+1}{a_{1}(a_{2}(a_{3}+1)+1)+1}}-{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{1}(a_{2}(a_{3}+1)+1)+1}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)+1}{a_{2}(a_{3}+1)+1}}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{{\cfrac {a_{1}(a_{2}(a_{3}+1)+1)}{a_{2}(a_{3}+1)+1}}+{\cfrac {a_{2}(a_{3}+1)+1}{a_{2}(a_{3}+1)+1}}-{\cfrac {a_{2}(a_{3}+1)}{a_{2}(a_{3}+1)+1}}}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}(a_{3}+1)}{a_{2}(a_{3}+1)+1}}}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{\cfrac {a_{2}(a_{3}+1)+1}{a_{3}+1}}}}}}}\\[8pt]={}&{\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{{\cfrac {a_{2}(a_{3}+1)}{a_{3}+1}}+{\cfrac {a_{3}+1}{a_{3}+1}}-{\cfrac {a_{3}}{a_{3}+1}}}}}}}}={\cfrac {a_{0}}{1-{\cfrac {a_{1}}{1+a_{1}-{\cfrac {a_{2}}{1+a_{2}-{\cfrac {a_{3}}{1+a_{3}}}}}}}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43e18474672a637d63f5c0be8f695e9b143105bf)
![{\displaystyle {\begin{aligned}\sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}&=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+{\frac {x^{9}}{9!}}-\cdots \\[8pt]&=x+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)\left({\frac {-x^{2}}{4\cdot 5}}\right)+(x)\left({\frac {-x^{2}}{2\cdot 3}}\right)\left({\frac {-x^{2}}{4\cdot 5}}\right)\left({\frac {-x^{2}}{6\cdot 7}}\right)+\cdots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc847450258bfb8bba32de1c626c47468155a663)
![{\displaystyle {\begin{aligned}\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}&=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+{\frac {x^{8}}{8!}}-\cdots \\[8pt]&=1+{\frac {-x^{2}}{2}}+\left({\frac {-x^{2}}{2}}\right)\left({\frac {-x^{2}}{3\cdot 4}}\right)+\left({\frac {-x^{2}}{2}}\right)\left({\frac {-x^{2}}{3\cdot 4}}\right)\left({\frac {-x^{2}}{5\cdot 6}}\right)+\cdots \\[8pt]&={\cfrac {1}{1-{\cfrac {\frac {-x^{2}}{2}}{1+{\frac {-x^{2}}{2}}-{\cfrac {\frac {-x^{2}}{3\cdot 4}}{1+{\frac {-x^{2}}{3\cdot 4}}-{\cfrac {\frac {-x^{2}}{5\cdot 6}}{1+{\frac {-x^{2}}{5\cdot 6}}-\ddots }}}}}}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfba04d28890375b61217b61171786d3860d958a)
![{\displaystyle {\begin{aligned}\sin ^{-1}x=\sum _{n=0}^{\infty }{\frac {(2n-1)!!}{(2n)!!}}\cdot {\frac {x^{2n+1}}{2n+1}}&=x+\left({\frac {1}{2}}\right){\frac {x^{3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {x^{5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {x^{7}}{7}}+\cdots \\[8pt]&=x+x\left({\frac {x^{2}}{2\cdot 3}}\right)+x\left({\frac {x^{2}}{2\cdot 3}}\right)\left({\frac {(3x)^{2}}{4\cdot 5}}\right)+x\left({\frac {x^{2}}{2\cdot 3}}\right)\left({\frac {(3x)^{2}}{4\cdot 5}}\right)\left({\frac {(5x)^{2}}{6\cdot 7}}\right)+\cdots \\[8pt]&={\cfrac {x}{1-{\cfrac {\frac {x^{2}}{2\cdot 3}}{1+{\frac {x^{2}}{2\cdot 3}}-{\cfrac {\frac {(3x)^{2}}{4\cdot 5}}{1+{\frac {(3x)^{2}}{4\cdot 5}}-{\cfrac {\frac {(5x)^{2}}{6\cdot 7}}{1+{\frac {(5x)^{2}}{6\cdot 7}}-\ddots }}}}}}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e48943c46be1565da33ae0668dce771c7e1586fb)
![{\displaystyle {\begin{aligned}\tan ^{-1}x=\sum _{n=0}^{\infty }(-1)^{n}{\frac {x^{2n+1}}{2n+1}}&=x-{\frac {x^{3}}{3}}+{\frac {x^{5}}{5}}-{\frac {x^{7}}{7}}+\cdots \\[8pt]&=x+x\left({\frac {-x^{2}}{3}}\right)+x\left({\frac {-x^{2}}{3}}\right)\left({\frac {-3x^{2}}{5}}\right)+x\left({\frac {-x^{2}}{3}}\right)\left({\frac {-3x^{2}}{5}}\right)\left({\frac {-5x^{2}}{7}}\right)+\cdots \\[8pt]&={\cfrac {x}{1-{\cfrac {\frac {-x^{2}}{3}}{1+{\frac {-x^{2}}{3}}-{\cfrac {\frac {-3x^{2}}{5}}{1+{\frac {-3x^{2}}{5}}-{\cfrac {\frac {-5x^{2}}{7}}{1+{\frac {-5x^{2}}{7}}-\ddots }}}}}}}}\\[8pt]&={\cfrac {x}{1+{\cfrac {x^{2}}{3-x^{2}+{\cfrac {(3x)^{2}}{5-3x^{2}+{\cfrac {(5x)^{2}}{7-5x^{2}+\ddots }}}}}}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d12abf4c05581843e491d5c3609e1a43b17638b1)
