Maths Olympiad Prep

Library / /32 of 57

, 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+z12 \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+yx4,zx+9xz6,4zy+9yz12 \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=22=4y=2\cdot 2=4 and z=32=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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