Maths Olympiad Prep

Library / Vijetnam /3 of 20

Vijetnam, 2006

Algebra Difficulty 5.6 AIME, harder Prove it Vietnam

Solve the following system of equations
{x2−2x+6log⁡3(6−y)=xy2−2y+6log⁡3(6−z)=yz2−2z+6log⁡3(6−x)=z. \begin{cases} \sqrt{x^2 - 2x + 6} \log_3 (6-y) = x \\ \sqrt{y^2 - 2y + 6} \log_3 (6-z) = y \\ \sqrt{z^2 - 2z + 6} \log_3 (6-x) = z. \end{cases}

Solution

Conditions for xx, yy, zz of the definition of the expressions in the equation are: x,y,z<6x, y, z < 6.
The given system of equations is equivalent to the system:
{log⁡3(6−y)=xx2−2x+6(1)log⁡3(6−z)=yy2−2y+6(2)log⁡3(6−x)=zz2−2z+6(3) \left\{ \begin{aligned} \log_3(6-y) &= \frac{x}{\sqrt{x^2-2x+6}} && (1) \\ \log_3(6-z) &= \frac{y}{\sqrt{y^2-2y+6}} && (2) \\ \log_3(6-x) &= \frac{z}{\sqrt{z^2-2z+6}} && (3) \end{aligned} \right.
The function f(x)=xx2−2x+6f(x) = \frac{x}{\sqrt{x^2-2x+6}} is increasing since
f′(x)=6−x(x2−2x+6)x2−2x+6>0 f'(x) = \frac{6-x}{(x^2 - 2x + 6)\sqrt{x^2 - 2x + 6}} > 0
for x<6x < 6.
The function g(x)=log⁡3(6−x)g(x) = \log_3(6-x) is decreasing for x<6x < 6.
We now prove that if (x,y,z)(x, y, z) is a solution to the given system of equations then x=y=z=3x = y = z = 3.
Without loss of generality, suppose that max⁡(x,y,z)=x\max(x, y, z) = x. We must consider two cases:

i) x≥y≥zx \geq y \geq z

As f(x)=xx2−2x+6f(x) = \frac{x}{\sqrt{x^2-2x+6}} is increasing, (1), (2), (3) show that
log⁡3(6−y)≥log⁡3(6−z)≥log⁡3(6−x), \log_3(6-y) \geq \log_3(6-z) \geq \log_3(6-x),
so x≥z≥yx \ge z \ge y. But y≥zy \ge z, so z=yz = y. Then (1) and (2) imply that x=y=zx = y = z.

ii) x≥z≥yx \geq z \geq y

Analogously, we have log⁡3(6−y)≥log⁡3(6−x)≥log⁡3(6−z)\log_3(6-y) \ge \log_3(6-x) \ge \log_3(6-z) and so z≥x≥yz \ge x \ge y. But x≥zx \ge z, so x=zx = z. Then (1) and (3) imply that x=y=zx = y = z.

The equation f(x)=g(x)f(x) = g(x) has a unique root x=3x = 3. Consequently, the given system of equations has a unique solution x=y=z=3x = y = z = 3.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.