Difference between revisions of "2001 USAMO Problems/Problem 3"
5849206328x (talk | contribs) (→Solution: official solutions) |
|||
Line 6: | Line 6: | ||
== Solution == | == Solution == | ||
+ | === Solution 1 === | ||
First we prove the lower bound. | First we prove the lower bound. | ||
Line 22: | Line 23: | ||
This completes the proof. | This completes the proof. | ||
+ | |||
+ | === Solution 2 === | ||
+ | The proof for the lower bound is the same as in the first solution. | ||
+ | |||
+ | Now we prove the upper bound. Let us note that at least two of the three numbers <math>a</math>, <math>b</math>, and <math>c</math> are both greater than or equal to 1 or less than or equal to 1. Without loss of generality, we assume that the numbers with this property are <math>b</math> and <math>c</math>. Then we have | ||
+ | <cmath>(1 - b)(1 - c)\geq 0.</cmath> | ||
+ | The given equality <math>a^2 + b^2 + c^2 + abc = 4</math> and the inequality <math>b^2 + c^2\geq 2bc</math> imply that | ||
+ | <cmath>a^2 + 2bc + abc\leq 4,</cmath> | ||
+ | or | ||
+ | <cmath>bc(2 + a)\leq 4 - a^2.</cmath> | ||
+ | Dividing both sides of the last inequality by <math>2 + a</math> yields | ||
+ | <cmath>bc\leq 2 - a.</cmath> | ||
+ | Thus, | ||
+ | <cmath>ab + bc + ca - abc\leq ab + 2 - a + ac(1 - b) = 2 - a(1 + bc - b - c) = 2 - a(1 - b)(1 - c)\leq 2,</cmath> | ||
+ | as desired. | ||
+ | |||
+ | The last equality holds if and only if <math>b = c</math> and <math>a(1 - b)(1 - c) = 0</math>. Hence equality for the upper bound holds if and only if <math>(a,b,c)</math> is one of the triples <math>(1,1,1)</math>, <math>(0,\sqrt{2},\sqrt{2})</math>, <math>(\sqrt{2},0,\sqrt{2})</math>, and <math>(\sqrt{2},\sqrt{2},0)</math>. Equality for the lower bound holds if and only if <math>(a,b,c)</math> is one of the triples <math>(2,0,0)</math>, <math>(0,2,0)</math> and <math>(0,0,2)</math>. | ||
+ | |||
+ | === Solution 3 === | ||
+ | The proof for the lower bound is the same as in the first solution. | ||
+ | |||
+ | Now we prove the upper bound. It is clear that <math>a,b,c\leq 2</math>. If <math>abc = 0</math>, then the result is trivial. Suppose that <math>a,b,c > 0</math>. Solving for <math>a</math> yields | ||
+ | <cmath>a = \frac{-bc + \sqrt{b^2c^2 - 4(b^2 + c^2 - 4)}}{2} = \frac{-bc + \sqrt{(4 - b^2)(4 - c^2)}}{2}.</cmath> | ||
+ | This asks for the trigonometric substitution <math>b = 2\sin u</math> and <math>c = 2\sin v</math>, where <math>0^\circ < u,v < 90^\circ</math>. Then | ||
+ | <cmath>a = 2(-\sin u\sin v + \cos u\cos v) = 2\cos (u + v),</cmath> | ||
+ | and if we set <math>u = B/2</math> and <math>v = C/2</math>, then <math>a = 2\sin (A/2)</math>, <math>b = 2\sin (B/2)</math>, and <math>c = \sin (C/2)</math>, where <math>A</math>, <math>B</math>, and <math>C</math> are the angles of a triangle. We have | ||
+ | <cmath>\begin{align*} | ||
+ | ab &= 4\sin\frac{A}{2}\sin\frac{B}{2} \\ | ||
+ | &= 2\sqrt{\sin A\tan\frac{A}{2}\sin B\tan\frac{B}{2}} = 2\sqrt{\sin A\tan\frac{B}{2}\sin B\tan\frac{A}{2}} \\ | ||
+ | &\leq \sin A\tan\frac{B}{2} + \sin B\tan\frac{A}{2} \\ | ||
+ | &= \sin A\cot\frac{A + C}{2} + \sin B\cot\frac{B + C}{2}, | ||
+ | \end{align*}</cmath> | ||
+ | where the inequality step follows from AM-GM. Likewise, | ||
+ | <cmath>\begin{align*} | ||
+ | bc &\leq \sin B\cot\frac{B + A}{2} + \sin C\cot\frac{C + A}{2}, \\ | ||
+ | ca &\leq \sin A\cot\frac{A + B}{2} + \sin C\cot\frac{C + B}{2}. | ||
+ | \end{align*}</cmath> | ||
+ | Therefore | ||
+ | <cmath>\begin{align*} | ||
+ | ab + bc + ca &\leq (\sin A + \sin B)\cot\frac{A + B}{2} + (\sin B + \sin C)\cot\frac{B + C}{2} + (\sin C + \sin A)\cot\frac{C + A}{2} \\ | ||
+ | &= 2\left(\cos\frac{A - B}{2}\cos\frac{A + B}{2} + \cos\frac{B - C}{2}\cos\frac{B + C}{2} + \cos\frac{C - A}{2}\cos\frac{C + A}{2} \\ | ||
+ | &= 2(\cos A + \cos B + \cos C) \\ | ||
+ | &= 6 - 4\left(\sin^2\frac{A}{2} + \sin^2\frac{B}{2} + \sin^2\frac{C}{2}\right) \\ | ||
+ | &= 6 - (a^2 + b^2 + c^2) = 2 + abc, | ||
+ | \end{align*}</cmath> | ||
+ | as desired. | ||
== See also == | == See also == |
Revision as of 17:02, 7 July 2014
Problem
Let and satisfy
![$a^2 + b^2 + c^2 + abc = 4.$](http://latex.artofproblemsolving.com/1/6/e/16e70ab813b2e9287a1015d7b890d16f94a7073e.png)
Show that
![$0 \le ab + bc + ca - abc \leq 2.$](http://latex.artofproblemsolving.com/b/f/7/bf76c4b7c8d7148354b55dc865be48fdeb231c1a.png)
Solution
Solution 1
First we prove the lower bound.
Note that we cannot have all greater than 1.
Therefore, suppose
.
Then
Now, without loss of generality, we assume that and
are either both greater than 1 or both less than one, so
. From the given equation, we can express
in terms of
and
as
![$a=\frac{\sqrt{(4-b^2)(4-c^2)}-bc}{2}$](http://latex.artofproblemsolving.com/4/3/4/4344f8b39fdd47d62fae63057b6575aef0c9e7a6.png)
Thus,
![$ab + bc + ca - abc = -a (b-1)(c-1)+a+bc \le a+bc = \frac{\sqrt{(4-b^2)(4-c^2)} + bc}{2}$](http://latex.artofproblemsolving.com/c/8/d/c8d8a39e9208c03f8abfe37a83ee86e4029c3c23.png)
From the Cauchy-Schwarz Inequality,
![$\frac{\sqrt{(4-b^2)(4-c^2)} + bc}{2} \le \frac{\sqrt{(4-b^2+b^2)(4-c^2+c^2)} }{2} = 2.$](http://latex.artofproblemsolving.com/e/e/f/eef96e833f5a252398b9e3e18baf0fe4d65c710a.png)
This completes the proof.
Solution 2
The proof for the lower bound is the same as in the first solution.
Now we prove the upper bound. Let us note that at least two of the three numbers ,
, and
are both greater than or equal to 1 or less than or equal to 1. Without loss of generality, we assume that the numbers with this property are
and
. Then we have
The given equality
and the inequality
imply that
or
Dividing both sides of the last inequality by
yields
Thus,
as desired.
The last equality holds if and only if and
. Hence equality for the upper bound holds if and only if
is one of the triples
,
,
, and
. Equality for the lower bound holds if and only if
is one of the triples
,
and
.
Solution 3
The proof for the lower bound is the same as in the first solution.
Now we prove the upper bound. It is clear that . If
, then the result is trivial. Suppose that
. Solving for
yields
This asks for the trigonometric substitution
and
, where
. Then
and if we set
and
, then
,
, and
, where
,
, and
are the angles of a triangle. We have
where the inequality step follows from AM-GM. Likewise,
Therefore
\begin{align*} ab + bc + ca &\leq (\sin A + \sin B)\cot\frac{A + B}{2} + (\sin B + \sin C)\cot\frac{B + C}{2} + (\sin C + \sin A)\cot\frac{C + A}{2} \\ &= 2\left(\cos\frac{A - B}{2}\cos\frac{A + B}{2} + \cos\frac{B - C}{2}\cos\frac{B + C}{2} + \cos\frac{C - A}{2}\cos\frac{C + A}{2} \\ &= 2(\cos A + \cos B + \cos C) \\ &= 6 - 4\left(\sin^2\frac{A}{2} + \sin^2\frac{B}{2} + \sin^2\frac{C}{2}\right) \\ &= 6 - (a^2 + b^2 + c^2) = 2 + abc, \end{align*} (Error compiling LaTeX. Unknown error_msg)
as desired.
See also
2001 USAMO (Problems • Resources) | ||
Preceded by Problem 2 |
Followed by Problem 4 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.