Mathematical expression with inner radical
In algebra, a nested radical is a radical expression (one containing a square root sign, cube root sign, etc.) that contains (nests) another radical expression. Examples include
![{\displaystyle {\sqrt {5-2{\sqrt {5}}\ }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e782b21c157af155d8fe8f0a92af00e90c55a076)
which arises in discussing the regular pentagon, and more complicated ones such as
![{\displaystyle {\sqrt[{3}]{2+{\sqrt {3}}+{\sqrt[{3}]{4}}\ }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16622bdbf373e2237bfac23a3c7cf619353e851e)
Denesting
Some nested radicals can be rewritten in a form that is not nested. For example,
![{\displaystyle {\sqrt {3+2{\sqrt {2}}}}=1+{\sqrt {2}}\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40ebb68659bfe33b904adef1ce2a227b41c12045)
[1] ![{\displaystyle {\sqrt[{3}]{{\sqrt[{3}]{2}}-1}}={\frac {1-{\sqrt[{3}]{2}}+{\sqrt[{3}]{4}}}{\sqrt[{3}]{9}}}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9a0cacad52ba247ccc394608bc1d35f054ca453)
Another simple example,
![{\displaystyle {\sqrt[{3}]{\sqrt {2}}}={\sqrt[{6}]{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8db3a5d203b3b6a4cf20423ca70cd1238cca922b)
Rewriting a nested radical in this way is called denesting. This is not always possible, and, even when possible, it is often difficult.
Two nested square roots
In the case of two nested square roots, the following theorem completely solves the problem of denesting.[2]
If a and c are rational numbers and c is not the square of a rational number, there are two rational numbers x and y such that
![{\displaystyle {\sqrt {a+{\sqrt {c}}}}={\sqrt {x}}\pm {\sqrt {y}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f0d64962508fc10009f77a2de921516235eec82)
if and only if
![{\displaystyle a^{2}-c~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/565ac5af6056e13d5775bdb4aef5054140c27c66)
is the square of a rational number
d.
If the nested radical is real, x and y are the two numbers
![{\displaystyle {\frac {a+d}{2}}~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66425431d56e67ac74a1ea53d14f9121f6e8e0a9)
and
![{\displaystyle ~{\frac {a-d}{2}}~,~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8efa6d23e38e2b3df1132a662bd9c70d7c07f17)
where
![{\displaystyle ~d={\sqrt {a^{2}-c}}~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91f5c493105a295bfe6de95f5bcfd907d61df7a5)
is a rational number.
In particular, if a and c are integers, then 2x and 2y are integers.
This result includes denestings of the form
![{\displaystyle {\sqrt {a+{\sqrt {c}}}}=z\pm {\sqrt {y}}~,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71d6b61eef1a4bf19c79063ac999c86f04442752)
as
z may always be written
![{\displaystyle z=\pm {\sqrt {z^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/773259320183446fba387457935744b25c5f90bb)
and at least one of the terms must be positive (because the left-hand side of the equation is positive).
A more general denesting formula could have the form
![{\displaystyle {\sqrt {a+{\sqrt {c}}}}=\alpha +\beta {\sqrt {x}}+\gamma {\sqrt {y}}+\delta {\sqrt {x}}{\sqrt {y}}~.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4de3895b7861b85fa55d2cddd5c89f01e3501e2)
However, Galois theory implies that either the left-hand side belongs to
![{\displaystyle \mathbb {Q} ({\sqrt {c}}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad8211980fc9e4350b558a2abfb3393acb6985f6)
or it must be obtained by changing the sign of either
![{\displaystyle {\sqrt {y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3adfc7ae6730fa74c6517545b04364abb09ea9ef)
or both. In the first case, this means that one can take
x = c and
![{\displaystyle \gamma =\delta =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ed6492d7f0bebcaa296876bdbc329667fbe7bd7)
In the second case,
![{\displaystyle \alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
and another coefficient must be zero. If
![{\displaystyle \beta =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8613da34a363be3fb9e3e100e519c456c181e7f)
one may rename
xy as
x for getting
![{\displaystyle \delta =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/068753b1bd2884a4f0a343d5b459f510d94e7748)
Proceeding similarly if
![{\displaystyle \alpha =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a4ec9c2dc0e4e0d05eb056027a9e4ba6b421f4f)
it results that one can suppose
![{\displaystyle \alpha =\delta =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb43ab197df87d47a581045d8d4d01d125407baf)
This shows that the apparently more general denesting can always be reduced to the above one.
Proof: By squaring, the equation
![{\displaystyle {\sqrt {a+{\sqrt {c}}}}={\sqrt {x}}\pm {\sqrt {y}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f0d64962508fc10009f77a2de921516235eec82)
is equivalent with
![{\displaystyle a+{\sqrt {c}}=x+y\pm 2{\sqrt {xy}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0935443edc7cdad3b5417d5cec61be9370e9f879)
and, in the case of a minus in the right-hand side,
|x| ≥ |y|,
(square roots are nonnegative by definition of the notation). As the inequality may always be satisfied by possibly exchanging x and y, solving the first equation in x and y is equivalent with solving
![{\displaystyle a+{\sqrt {c}}=x+y\pm 2{\sqrt {xy}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c224e91c1f3cdb445280871763b622b7c21c9370)
This equality implies that
belongs to the quadratic field
In this field every element may be uniquely written
with
and
being rational numbers. This implies that
is not rational (otherwise the right-hand side of the equation would be rational; but the left-hand side is irrational). As x and y must be rational, the square of
must be rational. This implies that
in the expression of
as
Thus
![{\displaystyle a+{\sqrt {c}}=x+y+\beta {\sqrt {c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a0e69f1f7d9924d624d3d6c61e11b4990a92353)
for some rational number
![{\displaystyle \beta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a7eccdb23980e06f136fbea999c8e96e7db1b6b)
The uniqueness of the decomposition over
1 and
![{\displaystyle {\sqrt {c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fe97db3ba6de5acaec606ad0b240f4cb78a0d0c)
implies thus that the considered equation is equivalent with
![{\displaystyle a=x+y\quad {\text{and}}\quad \pm 2{\sqrt {xy}}={\sqrt {c}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8edbfb1c1abf6a644f149a3bb4157639dc2db128)
It follows by Vieta's formulas that
x and
y must be roots of the quadratic equation
![{\displaystyle z^{2}-az+{\frac {c}{4}}=0~;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89dc79e299e154c690828585efcacc35f93a46c1)
its
![{\displaystyle ~\Delta =a^{2}-c=d^{2}>0~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6901399d9557a2484fcf3f55248e3c88cbb81041)
(
≠ 0, otherwise
c would be the square of
a), hence
x and
y must be
![{\displaystyle {\frac {a+{\sqrt {a^{2}-c}}}{2}}~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e58780b7d7b38b62328c46fed8b32d8a2790ca2)
and
![{\displaystyle ~{\frac {a-{\sqrt {a^{2}-c}}}{2}}~.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea36787aa83d6d26fdb6549000b189c4687190f3)
Thus
x and
y are rational if and only if
![{\displaystyle d={\sqrt {a^{2}-c}}~}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53946b57c04ae06824f0be2566e05b4fc792f6bc)
is a rational number.
For explicitly choosing the various signs, one must consider only positive real square roots, and thus assuming c > 0. The equation
shows that |a| > √c. Thus, if the nested radical is real, and if denesting is possible, then a > 0. Then the solution is
![{\displaystyle {\begin{aligned}{\sqrt {a+{\sqrt {c}}}}&={\sqrt {\frac {a+d}{2}}}+{\sqrt {\frac {a-d}{2}}},\\[6pt]{\sqrt {a-{\sqrt {c}}}}&={\sqrt {\frac {a+d}{2}}}-{\sqrt {\frac {a-d}{2}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0286035e658c68e28f1d240f415b88d23e629eff)
Some identities of Ramanujan
Srinivasa Ramanujan demonstrated a number of curious identities involving nested radicals. Among them are the following:[3]
![{\displaystyle {\sqrt[{4}]{\frac {3+2{\sqrt[{4}]{5}}}{3-2{\sqrt[{4}]{5}}}}}={\frac {{\sqrt[{4}]{5}}+1}{{\sqrt[{4}]{5}}-1}}={\tfrac {1}{2}}\left(3+{\sqrt[{4}]{5}}+{\sqrt {5}}+{\sqrt[{4}]{125}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/027f261d646f8a48895ad0b0153bfc6748cb93dc)
![{\displaystyle {\sqrt {{\sqrt[{3}]{28}}-{\sqrt[{3}]{27}}}}={\tfrac {1}{3}}\left({\sqrt[{3}]{98}}-{\sqrt[{3}]{28}}-1\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3444106b707ba14d569e2cf1de20d8dbc40e5448)
![{\displaystyle {\sqrt[{3}]{{\sqrt[{5}]{\frac {32}{5}}}-{\sqrt[{5}]{\frac {27}{5}}}}}={\sqrt[{5}]{\frac {1}{25}}}+{\sqrt[{5}]{\frac {3}{25}}}-{\sqrt[{5}]{\frac {9}{25}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f58849bde3247783bf5d785a1e9559aaab78b6b6)
and
[4] Landau's algorithm
In 1989 Susan Landau introduced the first algorithm for deciding which nested radicals can be denested.[5] Earlier algorithms worked in some cases but not others. Landau's algorithm involves complex roots of unity and runs in exponential time with respect to the depth of the nested radical.[6]
In trigonometry
In trigonometry, the sines and cosines of many angles can be expressed in terms of nested radicals. For example,
![{\displaystyle \sin {\frac {\pi }{60}}=\sin 3^{\circ }={\frac {1}{16}}\left[2(1-{\sqrt {3}}){\sqrt {5+{\sqrt {5}}}}+{\sqrt {2}}({\sqrt {5}}-1)({\sqrt {3}}+1)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/826adb0a6f4d6fa33d4b638e89152b47c3e1941e)
and
![{\displaystyle \sin {\frac {\pi }{24}}=\sin 7.5^{\circ }={\frac {1}{2}}{\sqrt {2-{\sqrt {2+{\sqrt {3}}}}}}={\frac {1}{2}}{\sqrt {2-{\frac {1+{\sqrt {3}}}{\sqrt {2}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17a85a2d79db908c9c0c4811e117776ead78c4ad)
The last equality results directly from the results of
§ Two nested square roots.
In the solution of the cubic equation
Nested radicals appear in the algebraic solution of the cubic equation. Any cubic equation can be written in simplified form without a quadratic term, as
![{\displaystyle x^{3}+px+q=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27f0b62c2af5c9ede9f238403f5783db4dbea07f)
whose general solution for one of the roots is
![{\displaystyle x={\sqrt[{3}]{-{q \over 2}+{\sqrt {{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt {{q^{2} \over 4}+{p^{3} \over 27}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db7782b96c3abed7e27961869314809ae100b043)
In the case in which the cubic has only one real root, the real root is given by this expression with the radicands of the cube roots being real and with the cube roots being the real cube roots. In the case of three real roots, the square root expression is an imaginary number; here any real root is expressed by defining the first cube root to be any specific complex cube root of the complex radicand, and by defining the second cube root to be the complex conjugate of the first one. The nested radicals in this solution cannot in general be simplified unless the cubic equation has at least one rational solution. Indeed, if the cubic has three irrational but real solutions, we have the casus irreducibilis, in which all three real solutions are written in terms of cube roots of complex numbers. On the other hand, consider the equation
![{\displaystyle x^{3}-7x+6=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc9888222338011f2abd7b296b63b995bebdb916)
which has the rational solutions 1, 2, and −3. The general solution formula given above gives the solutions
![{\displaystyle x={\sqrt[{3}]{-3+{\frac {10{\sqrt {3}}i}{9}}}}+{\sqrt[{3}]{-3-{\frac {10{\sqrt {3}}i}{9}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a2318662ab0606d8e4b345d27cc0ccdcacdb409)
For any given choice of cube root and its conjugate, this contains nested radicals involving complex numbers, yet it is reducible (even though not obviously so) to one of the solutions 1, 2, or –3.
Infinitely nested radicals
Square roots
Under certain conditions infinitely nested square roots such as
![{\displaystyle x={\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+\cdots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8a6f350e6eb25e996868dd4ada2e53a6c5da4a0)
represent rational numbers. This rational number can be found by realizing that x also appears under the radical sign, which gives the equation
![{\displaystyle x={\sqrt {2+x}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00fa4190e60fdcdc38dde94a2e0b55c8e95f69fb)
If we solve this equation, we find that x = 2 (the second solution x = −1 doesn't apply, under the convention that the positive square root is meant). This approach can also be used to show that generally, if n > 0, then
![{\displaystyle {\sqrt {n+{\sqrt {n+{\sqrt {n+{\sqrt {n+\cdots }}}}}}}}={\tfrac {1}{2}}\left(1+{\sqrt {1+4n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19277df67427f5054d1aa4a286ba10032faa889e)
and is the positive root of the equation x2 − x − n = 0. For n = 1, this root is the golden ratio φ, approximately equal to 1.618. The same procedure also works to obtain, if n > 0,[citation needed]
![{\displaystyle {\sqrt {n-{\sqrt {n-{\sqrt {n-{\sqrt {n-\cdots }}}}}}}}={\tfrac {1}{2}}\left(-1+{\sqrt {1+4n}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af3356431428f8aead7068861f6fd7af452d9e22)
which is the positive root of the equation
x2 + x − n = 0.
Nested square roots of 2
The nested square roots of 2 are a special case of the wide class of infinitely nested radicals. There are many known results that bind them to sines and cosines. For example, it has been shown that nested square roots of 2 as[7]
![{\displaystyle R(b_{k},\ldots ,b_{1})={\frac {b_{k}}{2}}{\sqrt {2+b_{k-1}{\sqrt {2+b_{k-2}{\sqrt {2+\cdots +b_{2}{\sqrt {2+x}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0246255c43e045f1e3ac8ca6d1e3a9368d9cc4ab)
where
with
in [−2,2] and
for
, are such that
for
![{\displaystyle \theta =\left({\frac {1}{2}}-{\frac {b_{k}}{4}}-{\frac {b_{k}b_{k-1}}{8}}-{\frac {b_{k}b_{k-1}b_{k-2}}{16}}-\cdots -{\frac {b_{k}b_{k-1}\cdots b_{1}}{2^{k+1}}}\right)\pi .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae24b6019bc90a091b8e595b19cd31deaa637c8c)
This result allows to deduce for any
the value of the following infinitely nested radicals consisting of k nested roots as
![{\displaystyle R_{k}(x)={\sqrt {2+{\sqrt {2+\cdots +{\sqrt {2+x}}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac5f3ec8ef35d5bc1caf22f73ba2e1e2528bb8e4)
If
, then[8]
![{\displaystyle {\begin{aligned}R_{k}(x)&={\sqrt {2+{\sqrt {2+\cdots +{\sqrt {2+x}}}}}}\\&=\left({\frac {x+{\sqrt {x^{2}-4}}}{2}}\right)^{1/2^{k}}+\left({\frac {x+{\sqrt {x^{2}-4}}}{2}}\right)^{-1/2^{k}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/958532dc610428e47eec29e1cf976b5cc3587d50)
These results can be used to obtain some nested square roots representations of
. Let us consider the term
defined above. Then[7]
![{\displaystyle \pi =\lim _{k\rightarrow \infty }\left[{\frac {2^{k+1}}{2-b_{1}}}R(\underbrace {1,-1,1,1,\ldots ,1,1,b_{1}} _{k{\text{ terms }}})\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cef83b87ab02f3f6d9cea1040f79a74610e598c)
where
.
Ramanujan's infinite radicals
Ramanujan posed the following problem to the Journal of Indian Mathematical Society:
![{\displaystyle ?={\sqrt {1+2{\sqrt {1+3{\sqrt {1+\cdots }}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18dc3cd841e0c83325c087b60365e0bb1081234a)
This can be solved by noting a more general formulation:
![{\displaystyle ?={\sqrt {ax+(n+a)^{2}+x{\sqrt {a(x+n)+(n+a)^{2}+(x+n){\sqrt {\mathrm {\cdots } }}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b05f1c9e036efa403030667ae99261d819961851)
Setting this to F(x) and squaring both sides gives us
![{\displaystyle F(x)^{2}=ax+(n+a)^{2}+x{\sqrt {a(x+n)+(n+a)^{2}+(x+n){\sqrt {\mathrm {\cdots } }}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c38496134d0de1f7ef4edd6195d87db55747ff2)
which can be simplified to
![{\displaystyle F(x)^{2}=ax+(n+a)^{2}+xF(x+n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fc55374c700da1a3692272d16ee3ea33fa37d8d)
It can then be shown that, assuming
is analytic,
![{\displaystyle F(x)={x+n+a}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6561399aa2322d15433f1aa1989cfda816bf926b)
So, setting a = 0, n = 1, and x = 2, we have
![{\displaystyle 3={\sqrt {1+2{\sqrt {1+3{\sqrt {1+\cdots }}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7248262ab2b2227370a403b568a0b391504665e)
Ramanujan stated the following infinite radical denesting in his
lost notebook:
![{\displaystyle {\sqrt {5+{\sqrt {5+{\sqrt {5-{\sqrt {5+{\sqrt {5+{\sqrt {5+{\sqrt {5-\cdots }}}}}}}}}}}}}}={\frac {2+{\sqrt {5}}+{\sqrt {15-6{\sqrt {5}}}}}{2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e2f2c5788b7374ca72ea0a9d6b62a420bd7d5b1)
The repeating pattern of the signs is
Viète's expression for π
Viète's formula for π, the ratio of a circle's circumference to its diameter, is
![{\displaystyle {\frac {2}{\pi }}={\frac {\sqrt {2}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2+{\sqrt {2}}}}}}{2}}\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0495e58dcacfbb966a140f3f770b5d2607d203e8)
Cube roots
In certain cases, infinitely nested cube roots such as
![{\displaystyle x={\sqrt[{3}]{6+{\sqrt[{3}]{6+{\sqrt[{3}]{6+{\sqrt[{3}]{6+\cdots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7ffe929585e38027f9ba3637b541f6157015b1)
can represent rational numbers as well. Again, by realizing that the whole expression appears inside itself, we are left with the equation
![{\displaystyle x={\sqrt[{3}]{6+x}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7629a30f94bd3edc8dc072f7820e325927fe3a2)
If we solve this equation, we find that x = 2. More generally, we find that
![{\displaystyle {\sqrt[{3}]{n+{\sqrt[{3}]{n+{\sqrt[{3}]{n+{\sqrt[{3}]{n+\cdots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a80cd88ecac26866718b70e587a4eb5207fa1dbb)
is the positive real root of the equation
x3 − x − n = 0 for all
n > 0. For
n = 1, this root is the
plastic ratio ρ, approximately equal to 1.3247.
The same procedure also works to get
![{\displaystyle {\sqrt[{3}]{n-{\sqrt[{3}]{n-{\sqrt[{3}]{n-{\sqrt[{3}]{n-\cdots }}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e71a7a2dc6f241774cbc4c67d3784ed1fbbdd957)
as the real root of the equation x3 + x − n = 0 for all n > 1.
Herschfeld's convergence theorem
An infinitely nested radical
(where all
are nonnegative) converges if and only if there is some
such that
for all
,[9] or in other words
Proof of "if"
We observe that
![{\displaystyle {\sqrt {a_{1}+{\sqrt {a_{2}+\dotsb }}}}\leq {\sqrt {M^{2^{1}}+{\sqrt {M^{2^{2}}+\cdots }}}}=M{\sqrt {1+{\sqrt {1+\dotsb }}}}<2M.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e33b23ab77f604326f4e175190c225f18f13679a)
Moreover, the sequence
![{\displaystyle \left({\sqrt {a_{1}+{\sqrt {a_{2}+\dotsc {\sqrt {a_{n}}}}}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b50bf39f6a4ddd0a8900bcc59c5c4e678ba8ae96)
is monotonically increasing. Therefore it converges, by the
monotone convergence theorem.
Proof of "only if"
If the sequence
converges, then it is bounded.
However,
, hence
is also bounded.
See also
References
- ^ Scheinerman, Edward R. (2000), "When close enough is close enough", American Mathematical Monthly, 107 (6): 489–499, doi:10.2307/2589344, JSTOR 2589344, MR 1766736
- ^ Euler, Leonhard (2012). Elements of algebra. Springer Science & Business Media. Chapter VIII.
- ^ Landau, Susan (July 16, 1993). "A note on 'Zippel Denesting'". CiteSeerX 10.1.1.35.5512. Retrieved August 23, 2023.
- ^ Berndt, Bruce; Chan, Heng; Zhang, Liang-Cheng (1998). "Radicals and units in Ramanujan's work" (PDF). Acta Arithmetica. 87 (2): 145–158. doi:10.4064/aa-87-2-145-158.
- ^ Landau, Susan (1992). "Simplification of Nested Radicals". 30th Annual Symposium on Foundations of Computer Science. Vol. 21. SIAM. pp. 85–110. CiteSeerX 10.1.1.34.2003. doi:10.1109/SFCS.1989.63496. ISBN 978-0-8186-1982-3. S2CID 29982884.
- ^ Gkioulekas, Eleftherios (2017-08-18). "On the denesting of nested square roots". International Journal of Mathematical Education in Science and Technology. 48 (6): 942–953. Bibcode:2017IJMES..48..942G. doi:10.1080/0020739X.2017.1290831. ISSN 0020-739X. S2CID 9737528.
- ^ a b Servi, L. D. (April 2003). "Nested Square Roots of 2". The American Mathematical Monthly. 110 (4): 326–330. doi:10.1080/00029890.2003.11919968. ISSN 0002-9890. S2CID 38100940.
- ^ Nyblom, M. A. (November 2005). "More Nested Square Roots of 2". The American Mathematical Monthly. 112 (9): 822–825. doi:10.1080/00029890.2005.11920256. ISSN 0002-9890. S2CID 11206345.
- ^ Herschfeld, Aaron (1935). "On Infinite Radicals". The American Mathematical Monthly. 42 (7): 419–429. doi:10.2307/2301294. ISSN 0002-9890. JSTOR 2301294.
Further reading