Maths Olympiad Prep

Library / /404 of 520

Algebra Difficulty 4.0 AIME Prove it

Given that x1x_1, x2x_2, x3x_3 are positive real numbers, and x1+x2+x3=1x_1+x_2+x_3=1, prove that: x22x1+x32x2+x12x31\frac { x_{ 2 }^{ 2 }}{x_{1}}+ \frac { x_{ 3 }^{ 2 }}{x_{2}}+ \frac { x_{ 1 }^{ 2 }}{x_{3}}\geq1.

Solution

Proof: Since x1x_1, x2x_2, x3x_3 are positive real numbers,

we have x22x1+x12x2\frac {x_{2}^{2}}{x_{1}}+x_{1}\geq2x_{2}, x32x2+x22x3\frac {x_{3}^{2}}{x_{2}}+x_{2}\geq2x_{3}, x12x3+x32x1\frac {x_{1}^{2}}{x_{3}}+x_{3}\geq2x_{1},

Adding the three inequalities, we get x22x1+x1+x32x2+x2+x12x3+x32(x1+x2+x3)\frac {x_{2}^{2}}{x_{1}}+x_{1}+ \frac {x_{3}^{2}}{x_{2}}+x_{2}+ \frac {x_{1}^{2}}{x_{3}}+x_{3}\geq2(x_{1}+x_{2}+x_{3}),

Since x1+x2+x3=1x_1+x_2+x_3=1, we have x22x1+x32x2+x12x31\frac { x_{ 2 }^{ 2 }}{x_{1}}+ \frac { x_{ 3 }^{ 2 }}{x_{2}}+ \frac { x_{ 1 }^{ 2 }}{x_{3}}\geq1.

Thus, the proof is complete, and the final answer is 1\boxed{\geq1}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.