Difference between revisions of "1980 USAMO Problems/Problem 5"
(Created page with "== Problem == If <math>x, y, z</math> are reals such that <math>0\le x, y, z \le 1</math>, show that <math>\frac{x}{y + z + 1} + \frac{y}{z + x + 1} + \frac{z}{x + y + 1} \le 1 ...") |
Mapletree14 (talk | contribs) |
||
| Line 4: | Line 4: | ||
== Solution == | == Solution == | ||
| − | {{ | + | Rewrite the given inequality so that <math>1</math> is isolated on the right side. Set the left side to be <math>f(x, y, z)</math>. Now a routine computation shows |
| + | |||
| + | |||
| + | <math>\frac{\partial^2 f}{\partial x^2} = \frac{2y}{(x + z + 1)^3} + \frac{2z}{(x + y + 1)^3}\geq 0 </math> | ||
| + | |||
| + | |||
| + | which shows that <math>f</math> is convex (concave up) in all three variables. Thus the maxima can only occur at the endpoints, i.e. if and only if <math>x, y, z \in \{0,1\}</math>. Checking all eight cases shows that the value of the expression cannot exceed 1. | ||
== See Also == | == See Also == | ||
Revision as of 17:39, 26 June 2013
Problem
If 
are reals such that 
, show that 
Solution
Rewrite the given inequality so that 
is isolated on the right side. Set the left side to be 
. Now a routine computation shows
which shows that 
is convex (concave up) in all three variables. Thus the maxima can only occur at the endpoints, i.e. if and only if 
. Checking all eight cases shows that the value of the expression cannot exceed 1.
See Also
| 1980 USAMO (Problems • Resources) | ||
| Preceded by Problem 4 |
Followed by Last Question | |
| 1 • 2 • 3 • 4 • 5 | ||
| All USAMO Problems and Solutions | ||
