Maths Olympiad Prep

Library / /21 of 36

Algebra Difficulty 5.9 AIME, harder Prove it Saudi Arabia

Find the smallest positive integer k2k \ge 2 such that for all x,y,z1x, y, z \ne 1 satisfying x+y+z=3x + y + z = 3 and xyz=1xyz = 1 then the kk-th root of numbers x,y|x|, |y| and z|z| are the side lengths of some triangle.

Solution

Suppose that x=max{x,y,z}x = \max\{x, y, z\}. We see that if x,y,z>0x, y, z > 0 then based on the AM-GM inequality, we have x+y+z3xyz3=3x + y + z \ge 3\sqrt[3]{xyz} = 3 and the equality must occur, which means that x=y=z=1x = y = z = 1, is not satisfied.

Next, consider y,z<0y, z < 0 and put u=y>0u = -y > 0, v=z>0v = -z > 0. One can rewrite the given conditions as x=3+u+vx = 3 + u + v and xuv=1xuv = 1. Thus xx is always greater than the sum of the remaining two numbers, we need to find kk such that
xk<uk+vk. \sqrt[k]{x} < \sqrt[k]{u} + \sqrt[k]{v}.
Checking with u=vu = v, one can solve the given condition to get (x,u,v)=(4,12,12)(x, u, v) = (4, \frac{1}{2}, \frac{1}{2}). Then, by substituting this tuple into the above inequality, one can get
46<226    86<2. \sqrt[6]{4} < \frac{2}{\sqrt[6]{2}} \implies \sqrt[6]{8} < 2.
From this we have k>3k > 3 or k4k \ge 4. Now we will prove that k=4k = 4 satisfies the given condition, that is,
x4<u4+v4    x<u+v+2uv4=u+v+2x4 \sqrt[4]{x} < \sqrt[4]{u} + \sqrt[4]{v} \iff \sqrt{x} < \sqrt{u} + \sqrt{v} + 2\sqrt[4]{uv} = \sqrt{u} + \sqrt{v} + \frac{2}{\sqrt[4]{x}}
We will prove the stronger inequality
x<u+v+2x    x2x<u+v. \sqrt{x} < \sqrt{u} + \sqrt{v} + \frac{2}{\sqrt{x}} \iff \sqrt{x} - \frac{2}{\sqrt{x}} < \sqrt{u} + \sqrt{v}.
Since x4x \ge 4 then x2x>0\sqrt{x} - \frac{2}{\sqrt{x}} > 0 and squaring both sides gives
x+4x4<u+v+2uv    4x<1+2x. x + \frac{4}{x} - 4 < u + v + 2\sqrt{uv} \iff \frac{4}{x} < 1 + \frac{2}{\sqrt{x}}.
The final inequality is true because x>3x > 3. Therefore kmin=4k_{\min} = 4. \square

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.