Difference between revisions of "2000 IMO Problems/Problem 2"
(→Problem) |
|||
Line 6: | Line 6: | ||
==Solution== | ==Solution== | ||
− | {{ | + | There exist positive reals <math>x</math>, <math>y</math>, <math>z</math> such that <math>a = \frac{x}{y}</math>, <math>b = \frac{y}{z}</math>, <math>c = \frac{z}{x}</math>. The inequality then rewrites as <cmath>\left(\frac{x-y+z}{y}\right)\left(\frac{y-z+x}{z}\right)\left(\frac{z-x+y}{x}\right)\leq 1</cmath> |
+ | or <cmath>(x-y+z)(y-z+x)(z-x+y)\leq xyz.</cmath> Set <math>p=x-y+z</math>,<math>q=y-z+x</math>,<math>r=z-x+y</math>, we get <cmath>8pqr\leq(p+q)(q+r)(r+p).</cmath> | ||
+ | Since at most one of <math>p,q,r</math> can be negative (if 2 or more are negative, then one of <math>a,b,c</math> will become negative), for all positive we apply AM-GM, for one negative we have <math>LHS<0<RHS</math>. | ||
==See Also== | ==See Also== | ||
{{IMO box|year=2000|num-b=1|num-a=3}} | {{IMO box|year=2000|num-b=1|num-a=3}} |
Latest revision as of 21:26, 6 March 2024
Problem
Let be positive real numbers with . Show that
Solution
There exist positive reals , , such that , , . The inequality then rewrites as or Set ,,, we get Since at most one of can be negative (if 2 or more are negative, then one of will become negative), for all positive we apply AM-GM, for one negative we have .
See Also
2000 IMO (Problems) • Resources | ||
Preceded by Problem 1 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 3 |
All IMO Problems and Solutions |