Finding the correct solution in nested iterations problems

This note concerns the logic of why some possible solutions to nested radical problems are incorrect. I would like to warn you it is a somewhat lengthy monologue. Please read on if you are uncertain about the topic. Also, please solve this problem before reading on.

First I would like to thank Pranay Singh for the set Nested Radicals which contains a sizable number of problems relating to infinite nested fractions or radicals. My first math competition was a state geometry competition. In between rounds, there were "just for fun" problems; that is where I saw my first nested radical problem, and it fascinated me. An example of an infinite nested radical problem is Find the value of: x=100+100+100+...\text{Find the value of: } \\ x = \sqrt{100 + \sqrt{100 + \sqrt{100 + ...}}}

There are a few methods to go about this, but seemingly the most popular is substitution. x=100+xx2=100+x...x=12(1±401)x = \sqrt{100 + x} \\ x^2 = 100 + x \\ ... \\ x = \frac{1}{2}(1 \pm \sqrt{401})

This seems like xx could be two different values, but the correct answer is x=12(1+401).x = \frac{1}{2}(1 + \sqrt{401}). How does one conclude it must be the positive value? In this case, it's simple. There are three easy ways to prove it:

  1. Substitute the negative solution into the original equation; it will be incorrect.
  2. Reason that xx will be positive, since square root returns positive values.
  3. Reason that xx will be positive, since the result must be positive.

Now I will show a different problem: Find the value of:x=222...\text{Find the value of:} \\ x = \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{...}}} If you are having trouble seeing it, it is the infinite tetration of 2,\sqrt{2}, meaning 2\sqrt{2} to the power of 2\sqrt{2} to the power of 2\sqrt{2} and so on. If you use the popular substitution method, you will see that x=2x = 2 or x=4.x = 4. One of these is incorrect, so how do you choose the correct one? This problem is interesting in that both possible solutions are positive, so we can't use the "xx is positive" reasoning above. In fact, none of the 33 methods above will work.

General solution

Let's define "nested iterations problem" as a problem in which you must find the value of some iteration repeated many times. For example, in the first problem, the iteration is to add 100\sqrt{100} to the deepest radical. In the second, the iteration is to raise the expression to the power of 2.\sqrt{2}. With most nested iterations problems, you can define a function f(n)f(n) to equal the value of the expression after nn iterations. For example, f(1) = \sqrt{2} \\ f(2) = \sqrt{2}^\sqrt{2} \\ f(3) = \sqrt{2}^{\sqrt{2}^\sqrt{2}} Sometimes, you will be able to find a closed form expression for f(n).f(n). Other times, it may not be possible, or it may be too complicated. Either way, the process of finding the correct solution in an infinite iteration problem is easy: x=limnf(n)x = \lim_{n\to\infty}f(n) If you have the closed form, you can usually compute this limit. If you do not have the closed form (or if you do not know about limits), you can basically do the same exact thing numerically, by computing f(1),f(1), f(2),f(2), f(3),f(3), f(4),f(4), and so on, until it stably approaches some value. If you apply this method to the second problem, f(1)1.41f(2)1.63f(3)1.76f(4)1.84f(1) \approx 1.41 \\ f(2) \approx 1.63 \\ f(3) \approx 1.76 \\ f(4) \approx 1.84 You can continue this process for a while (perhaps with the assistance of Wolfram Alpha) until you are satisfied it is approaching your predicted value. In this case, we proved it must either be x=2x = 2 or x=4,x = 4, and if you repeat this process, it is more clearly approaching 2,2, so that must be the correct answer.

This method can also show that a real solution doesn't exist, if applicable. If we try the second problem again, but replace 2\sqrt{2} with 3,\sqrt{3}, the numerical value just keeps getting uncontrollably larger and larger, to infinity; thus, no solution exists.

As far as I know, this method can solve any infinite nested iterations problem, but I am hoping that someone can provide a problem that cannot be solved this way.

#Algebra #Iteration #ContinuedFractions #NestedRadicals #FalseProofs

Note by Caleb Townsend
6 years, 3 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Sir ,
Thanks for this note as this is helpful to all of us .
But I still have a query that why 3\sqrt{3} would not converge ?
Are there some other values other than 2\sqrt{2} on which the expression would converge ?

A Former Brilliant Member - 6 years, 3 months ago

Log in to reply

The empirical reason why the 3\sqrt{3} case does not converge, is that it keeps getting bigger, and bigger, and bigger, all the way to infinity. Theoretically, though, the infinite tetration of a number makes use of the product log function, or the Lambert W-function. The general formula for an infinite tetration on aa is, to my knowledge, f(a)=W(ln(a))ln(a)f(a) = \frac{W(-\ln(a))}{-\ln(a)} As an example, we already solved the a=2a = \sqrt{2} case to be 2.2. Here's the Wolfram Alpha link verifying that. Then here's the 3\sqrt{3} case, which has an imaginary part, showing the tetration doesn't converge; in fact, this is actually only 11 of several possible complex results, but if you wanted to find the "correct" complex solution, I think you should choose the one in the link.

Now as for the domain of convergence: other values than a=2a = \sqrt{2} work as well; (5/2),(\sqrt{5}/2), (11/10),(11/10), and (e/2),(e/2), to name a few. Im(f(a))=0  when  0<ae1/e\text{Im}(f(a)) = 0\ \text{ when }\ 0 < a \leq e^{1/e}

Note that f(1)f(1) is indeterminate, but we can still assign f(1)=1f(1) = 1 since 111...=1.1^{1^{1^{...}}} = 1. So the domain of convergence is

a(0,e1/e]a\in(0, e^{1/e}]

Lastly, here's the graph illustrating that. The maximum convergent value is f(e1/e)=e,f(e^{1/e}) = e, interestingly enough. And here's a graph showing only the convergent values (no, that's not a vertical asymptote on the right! it maxes out at ee then goes back down.)

Caleb Townsend - 6 years, 3 months ago

Log in to reply

Thanks sir ,

can you help solving me this query ?
Is this Proof correct ?

A Former Brilliant Member - 6 years, 3 months ago
×

Problem Loading...

Note Loading...

Set Loading...