Maths Olympiad Prep

Library / Shortlist JBMO /28 of 50

Shortlist JBMO, 2008

Algebra Difficulty 5.8 AIME, harder Prove it JBMO

Problem:
Find all triples (x,y,z)(x, y, z) of real positive numbers, which satisfy the system
{1x+4y+9z=3x+y+z≤12 \left\{\begin{array}{l} \frac{1}{x}+\frac{4}{y}+\frac{9}{z}=3 \\ x+y+z \leq 12 \end{array}\right.

Solution

Solution:
If we multiply the given equation and inequality (x>0,y>0,z>0)(x>0, y>0, z>0), we have
(4xy+yx)+(zx+9xz)+(4zy+9yz)≤22 \left(\frac{4x}{y}+\frac{y}{x}\right)+\left(\frac{z}{x}+\frac{9x}{z}\right)+\left(\frac{4z}{y}+\frac{9y}{z}\right) \leq 22
From AM-GM we have
4xy+yx≥4,zx+9xz≥6,4zy+9yz≥12 \frac{4x}{y}+\frac{y}{x} \geq 4, \quad \frac{z}{x}+\frac{9x}{z} \geq 6, \quad \frac{4z}{y}+\frac{9y}{z} \geq 12
Therefore
22≤(4xy+yx)+(zx+9xz)+(4zy+9yz) 22 \leq \left(\frac{4x}{y}+\frac{y}{x}\right)+\left(\frac{z}{x}+\frac{9x}{z}\right)+\left(\frac{4z}{y}+\frac{9y}{z}\right)
Now from (1) and (3) we get
(4xy+yx)+(zx+9xz)+(4zy+9yz)=22 \left(\frac{4x}{y}+\frac{y}{x}\right)+\left(\frac{z}{x}+\frac{9x}{z}\right)+\left(\frac{4z}{y}+\frac{9y}{z}\right)=22
which means that in (2), everywhere equality holds i.e. we have equality between means, also x+y+z=12x+y+z=12.
Therefore 4xy=yx\frac{4x}{y}=\frac{y}{x}, zx=9xz\frac{z}{x}=\frac{9x}{z} and, as x>0,y>0,z>0x>0, y>0, z>0, we get y=2xy=2x, z=3xz=3x. Finally if we substitute for yy and zz, in x+y+z=12x+y+z=12, we get x=2x=2, therefore y=2⋅2=4y=2\cdot 2=4 and z=3⋅2=6z=3\cdot 2=6.
Thus the unique solution is (x,y,z)=(2,4,6)(x, y, z)=(2,4,6).

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.