Maths Olympiad Prep

Library / Shortlist JBMO /16 of 50

Shortlist JBMO, 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+yz≥6 \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+(xz−yt)2≥36+(xz−yt)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 xz−yt=0x z - y t = 0.
Now it is clear that
x2+z2+y2+t2=(x+z)2+(y−t)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+yz≥6x t + y z \geq 6 and problem conditions we have:
(xt+yz)2−36≥0⇔(xt+yz)2−(x2+y2)(z2+t2)≥0⇔2xyzt−x2y2−y2t2≥0⇔−(xz−yt)2≥0 \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+(y−t)2=13 x^{2} + y^{2} + z^{2} + t^{2} = (x + z)^{2} + (y - t)^{2} = 13
and it follows that
(x+z)2≤13 (x + z)^{2} \leq 13
Thus,
x+z≤13 x + z \leq \sqrt{13}
Equality x+z=13x + z = \sqrt{13} holds if we have y=ty = t and z2−x2=5z^{2} - x^{2} = 5, which leads to z−x=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,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.