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 :

### Like this:

Like Loading...

*Related*

Tags: Barnes and Noble, Cool, number theory

This entry was posted on November 19, 2007 at 2:00 am and is filed under Teaching. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

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

xwould be the root of nestedns for some realn(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.