Maths Olympiad Prep

Library / /5 of 12

Algebra Difficulty 6.1 National olympiad Prove it Czech Republic

In the real numbers, solve the system of equations
x+2=y2, \sqrt{\sqrt{x} + 2} = y - 2,
y+2=x2. \sqrt{\sqrt{y} + 2} = x - 2.

Solutions — 2

Solution 1

Let (x,y)(x, y) be any solution of the given system. Since x+2\sqrt{\sqrt{x} + 2} is obviously positive, we have y>2y > 2 by the first equation. Similarly, the second equation implies x>2x > 2.

Now we prove that the numbers xx and yy must be equal. We will use the observation that the function square root is increasing. If x>yx > y, then
x+2>y+2, \sqrt{\sqrt{x} + 2} > \sqrt{\sqrt{y} + 2},
i.e. y2>x2y - 2 > x - 2, y>xy > x, and that is a contradiction. The case x<yx < y is eliminated similarly. The equality of x=yx = y is thus proved.

Let us therefore deal with the (only possible) case x=yx = y next. The original system of two equations is then obviously reduced to a single equation
x+2=x2.(1) \sqrt{\sqrt{x} + 2} = x - 2. \qquad (1)
After substituting s=xs = \sqrt{x}, when x=s2x = s^2, the equation (1) becomes s+2=s22\sqrt{s+2} = s^2-2, while obviously s>2s > \sqrt{2}. For each such ss, we square the equality to obtain s+2=(s22)2s+2 = (s^2-2)^2, which we rewrite in the form s44s2s+2=0s^4 - 4s^2 - s + 2 = 0. Note that this equation has a root s=2s = 2. This is confirmed by the decomposition
s44s2s+2=s2(s24)(s2)=s2(s2)(s+2)(s2)=(s2)(s3+2s21), s^4 - 4s^2 - s + 2 = s^2(s^2 - 4) - (s - 2) = s^2(s - 2)(s + 2) - (s - 2) = (s - 2)(s^3 + 2s^2 - 1),
by which we now show that s=2s = 2 is the only root of the derived equation, that satisfies our condition s>2s > \sqrt{2}. Indeed, for every s>2s > \sqrt{2}, s3+2s21>0s^3 + 2s^2 - 1 > 0 (this is even true for s1s \ge 1). The only satisfactory value of s=2s = 2 corresponds to the only solution x=s2=4x = s^2 = 4 of the equation (1), and therefore to the only solution x=y=4x = y = 4 of the given problem.

Conclusion. The given system of equations has a unique solution (x,y)=(4,4)(x, y) = (4, 4).

Solution 2

We again use the observation that both numbers xx and yy are greater than 2, and introduce the function f:(2,)(2,)f: (2, \infty) \to (2, \infty), f(t)=t+2f(t) = \sqrt{t} + 2 for every t>2t > 2. The equations from the problem, rewritten in the form
x+2+2=y,y+2+2=x \begin{aligned} \sqrt{\sqrt{x} + 2} + 2 &= y, \\ \sqrt{\sqrt{y} + 2} + 2 &= x \end{aligned}
can then be written as a system of equations using the function ff
f(f(x))=y,f(f(y))=x. \begin{aligned} f(f(x)) &= y, \\ f(f(y)) &= x. \end{aligned}
We see that its solutions are just pairs of the form (x,y)=(x,f(f(x)))(x, y) = (x, f(f(x))), where the number xx satisfies the relation f(f(f(x)))=xf(f(f(x))) = x. This is certainly satisfied in the case where f(x)=xf(x) = x. We show that the equality holds only in this case.

If f(x)<xf(x) < x we have a quadruple of inequalities
f(f(f(f(x))))<f(f(f(x)))<f(f(x))<f(x)<x f\left(f\left(f\left(f(x)\right)\right)\right) < f\left(f\left(f(x)\right)\right) < f(f(x)) < f(x) < x
where the last inequality is obvious and every previous inequality is the consequence of the immediately following inequality and the fact that ff is increasing. Similarly in the case of f(x)>xf(x) > x we have
f(f(f(f(x))))>f(f(f(x)))>f(f(x))>f(x)>x. f\left(f\left(f(f(x))\right)\right) > f\left(f(f(x))\right) > f(f(x)) > f(x) > x.
Thus, we have proved equivalence of f(f(f(f(x))))=xf\left(f\left(f(f(x))\right)\right) = x and f(x)=xf(x) = x.

It remains to solve the equation f(x)=xf(x) = x with unknown x>2x > 2, which is easy:
f(x)=xx+2=x0=(x2)(x+1)x=2x=4. f(x) = x \Leftrightarrow \sqrt{x} + 2 = x \Leftrightarrow 0 = (\sqrt{x} - 2)(\sqrt{x} + 1) \Leftrightarrow \sqrt{x} = 2 \Leftrightarrow x = 4.
We arrive at the same conclusion as in the first solution.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.