2001 USAMO Problems/Problem 3

Problem

Let $a, b, c \geq 0$ and satisfy

$a^2 + b^2 + c^2 + abc = 4.$

Show that

$ab + bc + ca - abc \leq 2.$

This problem needs a solution. If you have a solution for it, please help us out by adding it.

Without loss of generality, we assume $(b-1)(c-1)\ge 0$ . From the given equation, we can express $a$ in terms of $b$ and $c$ ,

$a=\frac{\sqrt{(4-b^2)(4-c^2)}-bc}{2}$

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}$

From Cauchy,

$\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$

This completes the proof.

2001 USAMO (Problems • Resources)
Preceded by Problem 2	Followed by Problem 4
1 • 2 • 3 • 4 • 5 • 6
All USAMO Problems and Solutions