Graphic proof of the limit = $\sqrt{2 + \sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2 + ...}}}}}} $ I am trying to prove that:
$\sqrt{2 + \sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2 + \cdots}}}}}} = 2$ with the following figure:
Figure
The approach I'm trying to follow is to show that you can evaluate the sum and it will be between, for example, $2+\sqrt{2}$ and $4$. Also, I see a pattern with the triangles that are formed by the evaluation of the functions and how they decrease in size and are similar.
Any suggestion?
 A: Very cute figure! I'm definitely going to consider applying this type of visualization to all kinds of nested functions in the future!
Visualizations like these often times are not rigorous proofs to the statements they represent, but will offer really significant and powerfully clear insights into the problems. Rather than rigorously prove the nested radical's value, I will simply lay out the intuition.
As you follow the legs of the right triangle upwards and to the right, they will eventually approach the intersection point of the two functions $y = \sqrt{x}$ and $y = x-2$. The limit must be there because the lines are always getting closer to the point at every step, but it is impossible to go beyond that point. To find the intersection point we simply set the functions equal to each other and solve algebraically.
$$
\begin{align}
x-2 &= \sqrt{x} \\\\
(x-2)^2 &= x \\\\
x^2 - 4x + 4 &= x \\\\
x^2 - 5x + 4 &= 0 \\\\
(x-4)(x-1) &= 0 \\\\
x =4 \quad &\text{or} \quad x=1 \\\\
\end{align}
$$
Eliminating the extraneous solution we have that $x=4$, which means our infinite nested radical has a value of $y = 2$.
