While browsing at Barnes & Noble, I came across Excursions in Number Theory by Ogilvy and Anderson. “Hey! I teach number theory,” I thought. So I flipped through the book for a while and came across the following question:
Let be an integer, and consider the expression
Does this ever converge? If so, to what?
Assume the expression converges (what it means for something like that to converge is left for another post), and let be the limit. Then
and . In particular, the expression converges. What’s more, if
for some integer
, then
an integer! For example, with , so that
, we have
Neat! Mathworld has a lot more on nested radicals. Especially cool are the expressions for :
and the golden ration :
Tags: Barnes and Noble, Cool, number theory
November 19, 2007 at 6:49 am |
Cool! I was able to see that it would be the Golden ratio and then an integer in some cases.
Nested roots and nested (continued) fractions have always seemed stranger to me than infinite series, which are pretty odd themselves.
November 23, 2007 at 6:41 pm |
I have a nice proof that the nested radicals converge for positive n.
My proof does not generalize for negative n, although numerical experimentation has me convinced that the nested radicals still converge for that case as well, (of course) to the same expression (1/2 (1+sqrt(1+4n)).
November 23, 2007 at 9:08 pm |
In the complex case, wouldn’t this mean that any number 0.5 + i*(b) can be written as that nested root, for any b? And for real numbers, would it be the case that any real number x would be the root of nested ns for some real n (not necessarily an integer)? That’s kind of a weird distinction between real and complex numbers, if I’m envisioning this correctly.
November 23, 2007 at 10:46 pm |
Yes I agree with your conclusions, provided we restrict ourselves to real values for n. (And I’m reasonably sure the expression actually converges for all real n as well.)
If we take convergence for granted, you can get any complex value as the limit of nested radicals if you allow n to be complex. But I’m not certain about convergence in this generalization.