Maths Olympiad Prep

Library / /16 of 57

, 2009

Algebra Difficulty 5.3 AIME, harder Prove it JBMO

Problem:
Find the maximum value of z+xz + x, if (x,y,z,t)(x, y, z, t) satisfies the conditions:
{x2+y2=4z2+t2=9xt+yz6 \left\{\begin{array}{l} x^{2} + y^{2} = 4 \\ z^{2} + t^{2} = 9 \\ x t + y z \geq 6 \end{array}\right.

Solutions — 2

Solution 1

Solution:
From the conditions we have
36=(x2+y2)(z2+t2)=(xt+yz)2+(xzyt)236+(xzyt)2 36 = (x^{2} + y^{2})(z^{2} + t^{2}) = (x t + y z)^{2} + (x z - y t)^{2} \geq 36 + (x z - y t)^{2}
and this implies xzyt=0x z - y t = 0.
Now it is clear that
x2+z2+y2+t2=(x+z)2+(yt)2=13 x^{2} + z^{2} + y^{2} + t^{2} = (x + z)^{2} + (y - t)^{2} = 13
and the maximum value of z+xz + x is 13\sqrt{13}. It is achieved for x=413,y=t=613x = \frac{4}{\sqrt{13}}, y = t = \frac{6}{\sqrt{13}} and z=913z = \frac{9}{\sqrt{13}}.

Solution 2

Solution:
From inequality xt+yz6x t + y z \geq 6 and problem conditions we have:
(xt+yz)2360(xt+yz)2(x2+y2)(z2+t2)02xyztx2y2y2t20(xzyt)20 \begin{gathered} (x t + y z)^{2} - 36 \geq 0 \Leftrightarrow \\ (x t + y z)^{2} - (x^{2} + y^{2})(z^{2} + t^{2}) \geq 0 \Leftrightarrow \\ 2 x y z t - x^{2} y^{2} - y^{2} t^{2} \geq 0 \Leftrightarrow \\ -(x z - y t)^{2} \geq 0 \end{gathered}
From here we have xz=ytx z = y t.
Furthermore,
x2+y2+z2+t2=(x+z)2+(yt)2=13 x^{2} + y^{2} + z^{2} + t^{2} = (x + z)^{2} + (y - t)^{2} = 13
and it follows that
(x+z)213 (x + z)^{2} \leq 13
Thus,
x+z13 x + z \leq \sqrt{13}
Equality x+z=13x + z = \sqrt{13} holds if we have y=ty = t and z2x2=5z^{2} - x^{2} = 5, which leads to zx=513z - x = \frac{5}{\sqrt{13}}. Therefore, x=413,y=t=613,z=913x = \frac{4}{\sqrt{13}}, y = t = \frac{6}{\sqrt{13}}, z = \frac{9}{\sqrt{13}}.

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.