Maths WorkshopMaths problems with full solutions
Exercise 2167Algebra › InequalitiesOlympiadAdded 3 Nov 2026

The uvw method

#uvw#symmetric inequalities#pqr

Statement

Prove that for a,b,c≥0a,b,c\ge0 with a+b+c=3a+b+c=3 and abc=1abc=1, we have
ab+bc+ca≤3.ab+bc+ca\le3.

Hint

Use the uvwuvw method: ab+bc+ca=qab+bc+ca=q and abc=r=1abc=r=1, p=a+b+c=3p=a+b+c=3. By Schur, p3+9r≥4pqp^3+9r\ge4pq.

Show solutionHide solution

Solution

Schur's inequality. For r=1r=1:
p3+9r≥4pq,p^3+9r\ge4pq,
i.e. 27+9≥12q27+9\ge12q, so q≤3q\le3.

Conclusion. ab+bc+ca≤3ab+bc+ca\le3, with equality iff a=b=c=1a=b=c=1.

Alternative proof. Since a,b,ca,b,c are roots of X3−pX2+qX−r=0X^3-pX^2+qX-r=0, the condition abc=1abc=1 and a+b+c=3a+b+c=3 constrains the discriminant. The discriminant p2q2−4q3−4p3r−27r2+18pqr≥0p^2q^2-4q^3-4p^3r-27r^2+18pqr\ge0 becomes 81q2−4q3−108−27+54q≥081q^2-4q^3-108-27+54q\ge0. Combined with q≤3q\le3, this is consistent.

Conclusion. The result follows from Schur's inequality or discriminant analysis.