0
$\begingroup$

ETA: since commenters noted I missed a sign I am correcting that.

This is one of those Mathsolutionzz instagram problems. I was curious if I did this correctly, because I looked at the comments, and the solutions others came up with are rather different (and not integers).

The problem:

$$\sqrt{2+\sqrt{2-\sqrt{2+x}}} = x$$

So my first step was simple: square both sides and get rid of one of the radicals. We then get

$$2+\sqrt{2-\sqrt{2+x}} = x^2 \tag{1}$$ which I can rearrange to: $$\sqrt{2-\sqrt{2+x}} = x^2-2 \tag{2}$$

Then we repeat the process, square both sides again: $${2-\sqrt{2+x}} = (x^2-2)^2 \tag{3}$$

rearrange: $$-\sqrt{2+x} = (x^2-2)^2-2 \tag{4}$$

rinse, repeat: $$2+x = ((x^2-2)^2-2)^2 \tag{5}$$

and where I originally had a solution at $x=2$, because I messed up a sign, this time we get a polynomial: $$x^8-8x^6+20x^4-16x^2-x+2 \tag{6}$$

Which is the really ugly polynomial that @Lubin noted (thanks!) and has several roots.

All that said, were I trying to find the roots by hand, I know the roots can't be negative (since this problem doesn't seem to allow for imaginary solutions and we are sticking to real numbers).

So my next go-to would be factoring out the polynomial. When I originally did this I would try factoring one side of the equation with the opposite-sign binomial, like this:

$$2+x = ((x^2-2)^2-2)^2$$ $$2+x = (x^2-2)^4-4(x^2-2)^2+4$$ $$x-2 = (x^2-2)^4-4(x^2-2)^2$$ $$x-2 = [(x^2-2)^2-2(x^2-2)][(x^2-2)^2+2(x^2-2)]$$ $$x-2 = (x^2-2)[(x^2-2)-2][(x^2-2)+2]$$ $$x-2 = (x^2-2)(x^2-4)(x^2)$$ $$x-2 = (x^2-2)(x-2)(x+2)(x^2)$$

Which at least tells me that +1, +2, -1, -2 don't work, really except insofar as x=2 makes the whole thing zero. But I am curious if this is a bad method, or simply erroneous. (I do realize that ultimately I'd probably want to move the x-2 to the RHS and expand it leaving me with the degree 8 polynomial anyway, but I thought this worth a shot).

$\endgroup$
5
  • 1
    $\begingroup$ I am not sure you handled the signs correctly. $\endgroup$
    – lulu
    Commented Nov 28, 2020 at 18:44
  • 1
    $\begingroup$ When I substitute $x=2$, I get $\sqrt2=2$ $\endgroup$
    – saulspatz
    Commented Nov 28, 2020 at 18:47
  • $\begingroup$ I believe you (correctly) solved a different problem. Specifically, you solved $\sqrt{2+\sqrt {2+\sqrt {2+x}}}=x$, which is not what you asked. $\endgroup$
    – lulu
    Commented Nov 28, 2020 at 18:51
  • $\begingroup$ I would have expanded the right-hand side of (5) to get an e eighth-degree polynomial. Then with the linear terms brought to the right side, too, you’d have an octic that might or might not have a root: checking is your job. $\endgroup$
    – Lubin
    Commented Nov 28, 2020 at 18:54
  • $\begingroup$ Argh! I missed a sign! $\endgroup$
    – Jesse
    Commented Nov 28, 2020 at 19:10

3 Answers 3

10
$\begingroup$

Substituting $x$ with $2\cos\theta$ will suffice to get the result to your question $$\sqrt{2+\sqrt{2-\sqrt{2+x}}} = x$$ will be $\sqrt{2+\sqrt{2-\sqrt{2+2\cos\theta}}} = 2\cos\theta$

On LHS by Half angle cosine formula

$\sqrt{2+\sqrt{2-2\cos\frac{\theta}{2}}}$ = $\sqrt{2+2\sin\frac{\theta}{4}}$ = $\sqrt{2+2\cos(\frac{\pi}{2}-\frac{\theta}{4}})$ = $2\cos(\frac{\pi}{4}-\frac{\theta}{8})$

Now $\theta = \frac{\pi}{4}-\frac{\theta}{8}$ on further simplification we can get $\theta$ = $\frac{2\pi}{9}$ which is $40°$

Therefore $$x = 2\cos\frac{2\pi}{9} \qquad \text{or}\qquad 2\cos40°.$$

$\endgroup$
4
  • $\begingroup$ And this checks out numerically, too. Congratulations. $\endgroup$
    – Lubin
    Commented Nov 28, 2020 at 19:24
  • $\begingroup$ I hadn't thought of using trig functions at all! Thanks very much. $\endgroup$
    – Jesse
    Commented Nov 28, 2020 at 20:06
  • $\begingroup$ Thank you. All finite and (cyclic) infinite nested square roots of 2 can be solved by substituting $2\cos\theta$. Refer here (math.stackexchange.com/questions/3841604/…) $\endgroup$ Commented Nov 29, 2020 at 1:32
  • 1
    $\begingroup$ More amazing in this question is it is simple representation of cyclic infinite nested square roots of 2. We used to represent $\sqrt{2+\sqrt{2+\sqrt{2+...}}}$ as $\sqrt{2+x} = x$. Your question is short form for cyclic infinite nested square roots of 2 with pattern $(+ - +)(+ - +)...$. This translates into $(+)[- + +]...$. (The part within square brackets is repeating infinitely). Within square brackets is $2\cos(\frac{4\pi}{9})$ which is $\cos80°$. Then applying half angle formula gives rise to $2\cos(\frac{2\pi}{9})$ or $\cos40°$. $\endgroup$ Commented Nov 29, 2020 at 10:18
3
$\begingroup$

By squaring$$\sqrt{2+\sqrt{2-\sqrt{2+x}}} = x,$$ you arrive at $${2+\sqrt{2\color{red}-\sqrt{2+x}}} = x^2,$$ then $$ 2\color{red}-\sqrt{2+x}=(x^2-2)^2$$ and $$ 2+x=((x^2-2)^2-2)^2.$$ While $x=2$ and $x=-1$ are guessable solutions to this, they are not solutions to the original equation. The problem is that each squaring could introduce spurious solutions, i.e., $a=b$ implies $a^2=b^2$, but not vice versa. In fact, using the correct minus sign (you somehow replaced it with a $+$) leads to the same final polynomial even though the solutions cannot be the same.

$\endgroup$
1
  • $\begingroup$ And of course, I messed up a sign. D'OH! $\endgroup$
    – Jesse
    Commented Nov 28, 2020 at 19:11
2
$\begingroup$

Well, thanks to Hagen and to you, the polynomial that would have the solution(s) among its roots is the octic $$ x^8-8x^6+20x^4-16x^2-x-2\,. $$ Rational Root Theorem tells you where to look, $\pm1$ and $\pm2$, if you want rational numbers. Of these, only $+2$ and $-1$ are roots, but neither of these is a solution to your problem. Looking at the Desmos graph, I see that there are eight, count’em eight, real roots: four positive, four negative. The four negative ones are excluded by the statement of the problem, and $2$ doesn’t work. I guess it remains to check the other three.

$\endgroup$
1
  • $\begingroup$ thanks for this, it helps me clarify my own thinking and even if I am not using right methods I feel like it was a good exercise. $\endgroup$
    – Jesse
    Commented Nov 28, 2020 at 20:08

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .