In the analytic theory of continued fractions , Euler's continued fraction formula is an identity connecting a certain very general infinite series with an infinite continued fraction . First published in 1748, it was at first regarded as a simple identity connecting a finite sum with a finite continued fraction in such a way that the extension to the infinite case was immediately apparent.[ 1] convergence problem for infinite continued fractions with complex elements.
Euler derived the formula as
connecting a finite sum of products with a finite continued fraction.
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 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}}}}}}}}}}}}}\,}
The identity is easily established by induction on n , and is therefore applicable in the limit: if the expression on the left is extended to represent a convergent infinite series , the expression on the right can also be extended to represent a convergent infinite continued fraction.
If r i x is defined by
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)\,,}
then this equality can be proved by induction
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 }}}}}}}}\,}
Here equality is to be understood as equivalence, in the sense that the n'th convergent of each continued fraction is equal to the n'th partial sum of the series shown above. So if the series shown is convergent – or uniformly convergent, when the r i z – then the continued fractions also converge, or converge uniformly.[ 2]
Proof
The expression
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}&=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}}}
This can be applied to a sequence of any length, and will therefore also apply in the infinite case.
Examples
The exponential function
The exponential function e z entire function with a power series expansion that converges uniformly on every bounded domain in the complex plane.
e
z
=
1
+
∑
n
=
1
∞
z
n
n
!
=
1
+
∑
n
=
1
∞
(
∏
j
=
1
n
z
j
)
{\displaystyle e^{z}=1+\sum _{n=1}^{\infty }{\frac {z^{n}}{n!}}=1+\sum _{n=1}^{\infty }\left(\prod _{j=1}^{n}{\frac {z}{j}}\right)\,}
The application of Euler's continued fraction formula is straightforward:
e
z
=
1
1
−
z
1
+
z
−
1
2
z
1
+
1
2
z
−
1
3
z
1
+
1
3
z
−
1
4
z
1
+
1
4
z
−
⋱
.
{\displaystyle e^{z}={\cfrac {1}{1-{\cfrac {z}{1+z-{\cfrac {{\frac {1}{2}}z}{1+{\frac {1}{2}}z-{\cfrac {{\frac {1}{3}}z}{1+{\frac {1}{3}}z-{\cfrac {{\frac {1}{4}}z}{1+{\frac {1}{4}}z-\ddots }}}}}}}}}}.\,}
Applying an equivalence transformation that consists of clearing the fractions this example is simplified to
e
z
=
1
1
−
z
1
+
z
−
z
2
+
z
−
2
z
3
+
z
−
3
z
4
+
z
−
⋱
{\displaystyle e^{z}={\cfrac {1}{1-{\cfrac {z}{1+z-{\cfrac {z}{2+z-{\cfrac {2z}{3+z-{\cfrac {3z}{4+z-\ddots }}}}}}}}}}\,}
and we can be certain that this continued fraction converges uniformly on every bounded domain in the complex plane because it is equivalent to the power series for e z
The natural logarithm
The Taylor series for the principal branch of the natural logarithm in the neighborhood of z = 1 is well known:
log
(
1
+
z
)
=
z
−
z
2
2
+
z
3
3
−
z
4
4
+
⋯
=
∑
n
=
1
∞
(
−
1
)
n
+
1
z
n
n
.
{\displaystyle \log(1+z)=z-{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}-{\frac {z^{4}}{4}}+\cdots =\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}z^{n}}{n}}.\,}
This series converges when |z | < 1 and can also be expressed as a sum of products:[ 3]
log
(
1
+
z
)
=
z
+
(
z
)
(
−
z
2
)
+
(
z
)
(
−
z
2
)
(
−
2
z
3
)
+
(
z
)
(
−
z
2
)
(
−
2
z
3
)
(
−
3
z
4
)
+
⋯
{\displaystyle \log(1+z)=z+(z)\left({\frac {-z}{2}}\right)+(z)\left({\frac {-z}{2}}\right)\left({\frac {-2z}{3}}\right)+(z)\left({\frac {-z}{2}}\right)\left({\frac {-2z}{3}}\right)\left({\frac {-3z}{4}}\right)+\cdots }
Applying Euler's continued fraction formula to this expression shows that
log
(
1
+
z
)
=
z
1
−
−
z
2
1
+
−
z
2
−
−
2
z
3
1
+
−
2
z
3
−
−
3
z
4
1
+
−
3
z
4
−
⋱
{\displaystyle \log(1+z)={\cfrac {z}{1-{\cfrac {\frac {-z}{2}}{1+{\frac {-z}{2}}-{\cfrac {\frac {-2z}{3}}{1+{\frac {-2z}{3}}-{\cfrac {\frac {-3z}{4}}{1+{\frac {-3z}{4}}-\ddots }}}}}}}}}
and using an equivalence transformation to clear all the fractions results in
log
(
1
+
z
)
=
z
1
+
z
2
−
z
+
2
2
z
3
−
2
z
+
3
2
z
4
−
3
z
+
⋱
{\displaystyle \log(1+z)={\cfrac {z}{1+{\cfrac {z}{2-z+{\cfrac {2^{2}z}{3-2z+{\cfrac {3^{2}z}{4-3z+\ddots }}}}}}}}}
z | < 1 because it is equivalent to the series from which it was derived.[ 3]
The trigonometric functions
The Taylor series of the sine function converges over the entire complex plane and can be expressed as the sum of products.
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}}}
Euler's continued fraction formula can then be applied
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 }}}}}}}}}
An equivalence transformation is used to clear the denominators:
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 }}}}}}}}.}
The same argument can be applied to the cosine function:
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 }}}}}}}}.}
The inverse trigonometric functions
The inverse trigonometric functions can be represented as continued fractions.
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}}}
An equivalence transformation yields
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 }}}}}}}}.}
The continued fraction for the inverse tangent is straightforward:
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}}}
We can use the previous example involving the inverse tangent to construct a continued fraction representation of π . We note that
tan
−
1
(
1
)
=
π
4
,
{\displaystyle \tan ^{-1}(1)={\frac {\pi }{4}},}
And setting x = 1 in the previous result, we obtain immediately
π
=
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 }}}}}}}}}}.\,}
The hyperbolic functions
Recalling the relationship between the hyperbolic functions and the trigonometric functions,
sin
i
x
=
i
sinh
x
{\displaystyle \sin ix=i\sinh x}
cos
i
x
=
cosh
x
,
{\displaystyle \cos ix=\cosh x,}
And that
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 }}}}}}}}.}
The inverse hyperbolic functions
The inverse hyperbolic functions are related to the inverse trigonometric functions similar to how the hyperbolic functions are related to the trigonometric functions,
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,}
And these continued fractions are easily derived:
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 }}}}}}}}.}
See also
Notes
^ Leonhard Euler (1748), "18", Introductio in analysin infinitorum , vol. I^ (Wall 1948 , p. 17) harv error: no target: CITEREFWall1948 (help )
^ a b This series converges for |z | < 1, by Abel's test (applied to the series for log(1 − z )).
References
H. S. Wall, Analytic Theory of Continued Fractions , D. Van Nostrand Company, Inc., 1948; reprinted (1973) by Chelsea Publishing Company ISBN 0-8284-0207-8 . 
![{\displaystyle {\begin{aligned}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)\\[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/2220d0ee296b162bc6d1d865431c25db083f18de)
![{\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)
