Wednesday, 16 December 2009

Infinite radical sequences...revisited

Recently someone on the Calculus EDG asked about the value of . I sent a link to some work I had done a while ago exploring the same idea, and extending to finding the value of
. I have picked out some parts below, but you can see the rest at this link. This is a very old Word Document so give it some time to load. Hopefully it is worth while. Dave Renfro then sent me a copy of some papers about the topic, including this one from a 1935 American Mathematical Monthly.

When you take the iterated square root of a number, such as \(x = \sqrt{n+ \sqrt{n+ ...}} \} and then square both sides, you get \(x^2 = x + n\). This means that we can find solutions using basic quadratic solution approaches, and then find solutions that produce integer values of x. The positive solution becomes \( \frac{\sqrt{4n+1}+1}{2} \)

One of the nice things I discovered was that the iterated square roots of 2 was not the only number that gave an integer answer. In fact, 2, 6, 12, 20, 30.... all were equal to integer values... This sequence is the pronic or oblong numbers, which are twice the triangular numbers. These numbers can be expressed as (n)(n+1) or n,sup>2 + n. It took me a moment to realize why they are the ones that would work. These are numbers that, when multiplied by four and increased by 1, become perfect squares, \( 4 (n^2+n)+ 1 = 4n^2 + 4n+1 = (2n+1)^2 \). And the square root, being an odd (2n+1) number so that when 1 is added, we get a number divisible by 2.

It seems, according to the Herschfeld article, that the problem was a common topic in the Columbia classes of Dr. Edward Kasner. Kasner, of course, is known for his part in the creation of the term "googol" for 10^100. If your interested in any of these topics, check either or both the links above .


I had not yet tried to consider the roots of the cube root of (a+cube root(a+ .... etc)) and so I wanted to take a shot.. By the same process I had used before, the value would be the solution to x^3-x-n=0 .

If the iterated value was 1, the value approaches about x=~1.32472. For n=2 the value is x=~1.52138. By the time we get to n=6, we get x=2. The actual solution for any n is

OK... that really isn't very much fun to play with, but after some experimenting, I came up with the fact that the following sequence of numbers produced integer values when iterated; 6, 24, 120, 210... ; or perhaps it is more revealing to write them a different way (1*2*3) , (2*3*4), (3*4*5)... so they were sort of the three dimensional pronic numbers, the products of three consecutive integers.
I could not manipulate the above equation to make it clear that these were the only values as I had with the quadratic, but it got me thinking, what if I did fourth roots ?
Extending the solutions for square and cube roots, I tried 1*2*3*4 = 24.... but the solution of \(n^4 - n- 24=0\) was NOT 2; in fact, it was about 2.1617???
Exploring I found that n=2 was a solution to \(n^4 - n- 14=0\). And n=3 was a solution when the constant was 78. The sequence is 14, 78, 252, 620, 1290,... These values follow the form n*(n-1)*(n^2+n+1)
I realized, somewhat belatedly, that you could generate these sequences by simply using nk - n for integer values of k, and factoring the same would give you the simplified form of the expression.
After struggling with solving n^3 - n -k=0 I realized that I could just start with values of n, and find out what k came out to be. A very late "aha" moment. So for n=2, 23 - 2 = ??? and six pops out like Alg I.

There is a familiar quotation about forests and trees that seems to apply here, but it came to me somewhat late.

But sometimes, that's how my mind works... do it the hard way first.
Post a Comment