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

Solution

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.\]

Now, without loss of generality, we assume that $b$ and $c$ are either both greater than 1 or both less than one, so $(b-1)(c-1)\ge 0$. From the given equation, we can express $a$ in terms of $b$ and $c$ as

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

This completes the proof.

See also

2001 USAMO (ProblemsResources)
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. AMC logo.png