2001 USAMO Problems/Problem 3

Problem

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

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

Show that

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

First we prove the lower bound.

Note that we cannot have $a, b, c$ all greater than 1. Therefore, suppose $a \le 1$ . Then $ab + bc + ca - abc = a(b + c) + bc(1-a) \ge 0.$

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