How to solve this equation:$\sqrt{x-\sqrt{x-\sqrt{x-\sqrt{x-5}}}}=5$

Repeated squaring and simplifying leads to the polynomial equation $$ x^8-204 x^7+18106 x^6-913106 x^5+28616655 x^4-570697702 x^3+7072783751 x^2-49805468751x+152587890630=0. $$ This has eight real roots, including $30$ (and $21$), but none of the other seven roots satisfies the original equation (they satisfy analogues where some of the internal square roots are added rather than subtracted). That's not super satisfying though.

It seems that the function $\sqrt{x-\sqrt{x-\sqrt{x-\sqrt{x-5}}}}$ is increasing for $x\ge5$; establishing this would prove that $30$ is the only solution. I don't see an easy way to establish it though.


You may be able to apply the logic of Nested Radicals, where:

enter image description here

You may be able to prove that expression:

$$N(x)=.5(-1+\sqrt{1+4x})-5$$

is a close approximation of:

$$ \sqrt{x-\sqrt{x-\sqrt{x-\sqrt{x-5}}}}-5$$

you can show this graphically at least.

you could find the root of $N(x)$ to be $$x=30.$$

Which is also a root for your expression.


Applying the ideas of Souvik Dey(+1) and Emmad Kareem(+1) here is a (hopefully) complete solution.

Assume that $x_0\geq 5$ is a solution of the original equation, that is $$ \sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}=5. $$ Then from this we obtain $$ x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}=x_0-5. $$ Taking the squre root we obtain $$ \sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}}=\sqrt{x_0-5}. $$ Following this we obtain $$ \sqrt{x_0-\sqrt{x_0- \sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}}} }} $$ $$ =\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}. $$ Here the right-hand-size is $5$. The left-hand-size is a $(4k)$-th subsequence on the (infinite) nested radicals.

So we have to show that $$ \sqrt{x_0-\ldots \sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}-\sqrt{x_0-\ldots \sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}} $$ tends to $0$ as the number ($4k$) of square root tends to infinity and applying Emmad Kareem's answer we arrive at the equation $$ N(x)=0. $$ We use the identity $$ \sqrt{a}-\sqrt{b}=\frac{a-b}{\sqrt{a}+\sqrt{b}} $$ many times. $$ \sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}} $$ $$ =\frac{\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}{\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}+\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}}} $$ $$ =\frac{\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}{5+\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}}} $$ (in the last step we used that $x_0$ is a solution of the original equation) $$ =\frac{\sqrt{x_0-\sqrt{x_0-5}}-\sqrt{x_0-\sqrt{x_0}}}{5+\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}}} $$ $$ \times\,\frac{1}{\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}+\sqrt{x_0-\sqrt{x_0-\sqrt{x_0-5}}}}. $$ Here the second fraction can be estimated by $$ \frac{1}{\sqrt{x_0-\sqrt{x_0-\sqrt{x_0}}}}. $$ Since $$ \sqrt{x_0-\ldots \sqrt{x_0-\sqrt{x_0}}}=\frac{1}{2}(-1+\sqrt{1+4x_0})>1 $$ therefore there exists $k_0$ such that this fraction can be estimated by $1$. Using these estimations we obtain the estimation for the $(4k)$-th difference $$ C^{k_0}\frac{5}{5^{k}} $$ which tends to $0$ as $k\to\infty$. (In fact, in our case $\sqrt{x_0-\ldots \sqrt{x_0-\sqrt{x_0}}}\geq\sqrt{x_0-\sqrt{x_0} }\geq 1.$)