UVW Method

The Key Result

Why It Works

1. 1
   Every symmetric polynomial in $a, b, c$ is a polynomial in the elementary symmetric sums $p = a+b+c$, $q = ab+bc+ca$, $r = abc$; the $uvw$ notation just normalizes these as $u = p/3$, $v^2 = q/3$, $w^3 = r$.
2. 2
   These satisfy the genuine chain $u \ge v \ge w \ge 0$, which is exactly Maclaurin's inequalities $p_1 \ge p_2^{1/2} \ge p_3^{1/3}$ for the normalized elementary symmetric means $p_1 = u$, $p_2 = v^2$, $p_3 = w^3$; in particular $u^2 \ge v^2$ (this is $p_1^2 \ge p_2$, the AM–QM / Newton step) and $v^2 \ge w^2$ (from $p_2 \ge p_3^{2/3}$, since $v, w \ge 0$). Equality throughout forces $a = b = c$.
3. 3
   Now fix $u$ and $v$ (equivalently $p$ and $q$); the only remaining freedom is $w^3 = r = abc$. Since $a, b, c$ are the roots of $t^3 - pt^2 + qt - r = 0$, reality of all three roots is governed by the discriminant $\Delta = -4p^3 r + p^2 q^2 + 18 p q r - 4 q^3 - 27 r^2$, and the admissible $r$ are exactly those with $\Delta \ge 0$. As $r$ varies over its interval, $\Delta$ is a downward parabola in $r$, so the two endpoints are precisely where $\Delta = 0$ — i.e. where the cubic has a repeated root, meaning two of $a, b, c$ are equal (or, on the nonnegativity boundary, one of them is $0$).
4. 4
   Consequently any symmetric expression that is monotonic in $r = w^3$ for fixed $u, v$ attains its extreme values at one of these boundary configurations, where the discriminant vanishes.
5. 5
   So to test a symmetric inequality it suffices to check the boundary cases $a = b$ (or $c = 0$) — drastically reducing three variables to one.

Worked Examples

Going Deeper

• Generalization: the key structural fact is that with $u = \frac{a+b+c}{3}$ and $v^2 = \frac{ab+bc+ca}{3}$ fixed, $w^3 = abc$ ranges over a closed interval whose endpoints force the cubic $t^3 - pt^2 + qt - r$ to have a repeated root — hence two of $a, b, c$ equal (or one zero on the nonnegativity boundary). This is why 'WLOG check $a = b$' is valid.
• Where it appears: hard symmetric three-variable inequalities on the USAMO/IMO shortlist, where it reduces a two-degree-of-freedom problem to a single-variable check; it is the workhorse alternative to SOS and Schur.
• Pitfall: $uvw$ in its boundary form applies only to expressions that are MONOTONIC (often linear) in $w^3 = abc$ for fixed $u, v$ — then the extreme is at an endpoint. For expressions non-monotonic in $r$ the interior can win, and the method is also restricted to SYMMETRIC expressions: it fails outright on cyclic-but-not-symmetric ones like $a^2 b + b^2 c + c^2 a$.

Spot the Signal

• Look for problems where the key step is reducing symmetric polynomial inequalities in three variables through elementary symmetric sums.
• You can describe the hard part as reducing symmetric polynomial inequalities in three variables through elementary symmetric sums, but a direct attack starts producing clutter.
• The problem rewards preserving structure instead of expanding, listing, or guessing too early.

Learn the Move

• Start by identify the expression or equation that calls for uvw method, then rewrite the givens around it.
• Name the relation that makes UVW Method legal before doing computation.
• Use the new relation to replace the messiest part of the problem with a cleaner one.
• Translate the result back to the quantity the problem actually asks for.

Avoid These Traps

• Do not use UVW Method just because the surface looks familiar; verify the required condition first.
• Applying UVW Method because it sounds relevant, without checking the trigger first.
• Stopping after spotting the technique instead of finishing the calculation or proof.

MathGrit Coach Note