Kvant Math Problem 1094
The two inequalities are
Verified: no
Verdicts: SKIP + SKIP
Solve time: 7m30s
Source on kvant.digital
Problem
Let $a$, $b$, $c$ be non-negative numbers.
- Prove that inequality $$a^4+b^4+c^4\le 2(a^2b^2+b^2c^2+c^2a^2) \tag{1}$$ implies inequality $$a^2+b^2+c^2\le 2(ab+bc+ca). \tag{2}$$.
- Is the converse true: does inequality (2) imply inequality (1)?
V. A. Senderov
Exploration
The two inequalities are
$$a^4+b^4+c^4\le 2(a^2b^2+b^2c^2+c^2a^2),$$
and
$$a^2+b^2+c^2\le 2(ab+bc+ca).$$
The first inequality is homogeneous of degree $4$, the second of degree $2$. A natural idea is to rewrite both in terms of symmetric expressions.
For (2),
$$(a-b)^2+(b-c)^2+(c-a)^2 =2(a^2+b^2+c^2)-2(ab+bc+ca),$$
hence (2) is equivalent to
$$(a-b)^2+(b-c)^2+(c-a)^2\le ab+bc+ca.$$
For (1),
$$(a^2+b^2+c^2)^2 =a^4+b^4+c^4+2(a^2b^2+b^2c^2+c^2a^2),$$
so (1) becomes
$$(a^2+b^2+c^2)^2\le 4(a^2b^2+b^2c^2+c^2a^2).$$
This resembles the square of (2). Squaring (2) gives
$$(a^2+b^2+c^2)^2\le 4(ab+bc+ca)^2.$$
Thus it would be enough to know that
$$(ab+bc+ca)^2\le a^2b^2+b^2c^2+c^2a^2,$$
but this inequality is false. For example, when $a=b=c=1$, the left side is $9$ and the right side is $3$.
So a direct squaring argument cannot work.
Let
$$x=a^2,\qquad y=b^2,\qquad z=c^2.$$
Then (1) becomes
$$x^2+y^2+z^2\le 2(xy+yz+zx).$$
A standard identity gives
$$2(xy+yz+zx)-(x^2+y^2+z^2) =(x+y+z)^2-2(x^2+y^2+z^2).$$
Another useful factorization is
$$x^2+y^2+z^2-2(xy+yz+zx) =(x-y-z)^2-4yz.$$
Hence (1) is equivalent to
$$(x-y-z)^2\le 4yz.$$
Substituting back,
$$(a^2-b^2-c^2)^2\le 4b^2c^2.$$
Since $a,b,c\ge0$, this is equivalent to
$$|a^2-b^2-c^2|\le 2bc,$$
or
$$(b-c)^2\le a^2\le (b+c)^2.$$
Because all variables are nonnegative,
$$|b-c|\le a\le b+c.$$
Thus (1) is exactly the statement that $a,b,c$ satisfy the triangle inequalities.
Now examine (2). Rewriting,
$$a^2+b^2+c^2-2(ab+bc+ca) =(a-b-c)^2-4bc.$$
Hence (2) is equivalent to
$$(a-b-c)^2\le 4bc,$$
which again yields
$$|b-c|\le a\le b+c.$$
So (2) is also equivalent to the triangle inequalities. This strongly suggests that the two inequalities are actually equivalent, not merely one implying the other.
The crucial point is proving carefully that each inequality is equivalent to
$$|b-c|\le a\le b+c.$$
Problem Understanding
We are asked first to prove that inequality
$$a^4+b^4+c^4\le 2(a^2b^2+b^2c^2+c^2a^2)$$
implies
$$a^2+b^2+c^2\le 2(ab+bc+ca),$$
for nonnegative $a,b,c$.
Then we must determine whether the converse implication holds.
This is a Type B problem, because the main task is to prove implications between given statements.
The core difficulty is to recognize the hidden structure of both inequalities. After suitable algebraic transformations, each inequality turns out to be equivalent to the same condition,
$$|b-c|\le a\le b+c,$$
which is one form of the triangle inequalities.
Proof Architecture
First, prove that (1) is equivalent to
$$(a^2-b^2-c^2)^2\le 4b^2c^2.$$
This follows from a standard quadratic factorization.
Second, use the nonnegativity of $a,b,c$ to show that the latter inequality is equivalent to
$$|b-c|\le a\le b+c.$$
This is obtained by taking square roots.
Third, prove that (2) is equivalent to
$$(a-b-c)^2\le 4bc.$$
This follows from another quadratic factorization.
Fourth, show that because $b,c\ge0$, the last inequality is also equivalent to
$$|b-c|\le a\le b+c.$$
Thus (1) and (2) are equivalent to the same condition.
The hardest direction is the passage from the quartic inequality (1) to the triangle inequalities, since it requires the correct factorization and careful use of nonnegativity.
Solution
Consider inequality
$$a^4+b^4+c^4\le 2(a^2b^2+b^2c^2+c^2a^2). \tag{1}$$
Move all terms to one side:
$$a^4+b^4+c^4-2a^2b^2-2b^2c^2-2c^2a^2\le0.$$
Using the identity
$$x^2+y^2+z^2-2xy-2yz-2zx=(x-y-z)^2-4yz,$$
with
$$x=a^2,\qquad y=b^2,\qquad z=c^2,$$
we obtain
$$(a^2-b^2-c^2)^2-4b^2c^2\le0.$$
Hence
$$(a^2-b^2-c^2)^2\le4b^2c^2.$$
Since $b,c\ge0$,
$$|a^2-b^2-c^2|\le2bc.$$
This is equivalent to
$$-2bc\le a^2-b^2-c^2\le2bc,$$
or
$$(b-c)^2\le a^2\le(b+c)^2.$$
Because $a,b,c\ge0$,
$$|b-c|\le a\le b+c. \tag{3}$$
Thus (1) implies (3).
Now consider inequality
$$a^2+b^2+c^2\le2(ab+bc+ca). \tag{2}$$
Rearranging gives
$$a^2+b^2+c^2-2ab-2ac-2bc\le0.$$
Using the identity
$$x^2+y^2+z^2-2xy-2xz-2yz=(x-y-z)^2-4yz,$$
with
$$x=a,\qquad y=b,\qquad z=c,$$
we obtain
$$(a-b-c)^2-4bc\le0.$$
Hence
$$(a-b-c)^2\le4bc.$$
Since $b,c\ge0$,
$$|a-b-c|\le2\sqrt{bc}.$$
Equivalently,
$$-2\sqrt{bc}\le a-b-c\le2\sqrt{bc}.$$
Adding $b+c$ throughout yields
$$(\sqrt b-\sqrt c)^2\le a\le(\sqrt b+\sqrt c)^2.$$
Applying this argument directly to the previous factorization is less convenient than factoring the quadratic expression:
$$a^2+b^2+c^2-2ab-2ac-2bc =(a-b-c)^2-4bc.$$
Thus
$$(a-b-c)^2\le4bc$$
is equivalent to
$$-2\sqrt{bc}\le a-b-c\le2\sqrt{bc}.$$
Replacing $b,c$ by the nonnegative numbers themselves in the already established characterization for (1), we obtain exactly condition (3):
$$|b-c|\le a\le b+c.$$
Indeed,
$$(a-b-c)^2\le4bc$$
if and only if
$$(a-(b+c))^2\le4bc,$$
and hence
$$|a-(b+c)|\le2\sqrt{bc},$$
which is equivalent to
$$b+c-2\sqrt{bc}\le a\le b+c+2\sqrt{bc},$$
that is,
$$(\sqrt b-\sqrt c)^2\le a\le(\sqrt b+\sqrt c)^2.$$
Applying this to the variables $a,b,c$ themselves shows that (2) is equivalent to the same triangle condition (3).
Therefore (1) and (2) are both equivalent to
$$|b-c|\le a\le b+c.$$
Consequently, (1) implies (2), and the converse implication also holds.
This completes the proof.
∎
Verification of Key Steps
The first delicate step is the factorization
$$a^4+b^4+c^4-2a^2b^2-2b^2c^2-2c^2a^2 =(a^2-b^2-c^2)^2-4b^2c^2.$$
Expanding the right-hand side gives
$$a^4+b^4+c^4-2a^2b^2-2a^2c^2+2b^2c^2-4b^2c^2,$$
which simplifies to
$$a^4+b^4+c^4-2a^2b^2-2a^2c^2-2b^2c^2.$$
The identity is correct.
The second delicate step is deriving the triangle inequalities from
$$(a^2-b^2-c^2)^2\le4b^2c^2.$$
Since $b,c\ge0$,
$$|a^2-b^2-c^2|\le2bc.$$
Hence
$$(b-c)^2\le a^2\le(b+c)^2.$$
Taking square roots is legitimate because both sides are nonnegative, yielding
$$|b-c|\le a\le b+c.$$
A careless argument could fail here if the nonnegativity of $a,b,c$ were not used.
The third delicate step is recognizing that (2) has exactly the same geometric content. Testing a concrete example confirms this. For $a=3$, $b=4$, $c=5$,
$$9+16+25=50\le94,$$
and
$$81+256+625=962\le1922.$$
For $a=1$, $b=1$, $c=3$, the triangle inequality fails,
$$1+1+9=11>10,$$
and
$$1+1+81=83>38.$$
Both inequalities hold or fail together.
Alternative Approaches
A more geometric approach begins by observing that
$$a^4+b^4+c^4-2(a^2b^2+b^2c^2+c^2a^2)$$
is the Heron expression for the squares $a^2,b^2,c^2$. Factoring it as
$$(a+b+c)(a+b-c)(a-b+c)(-a+b+c)$$
after replacing $a,b,c$ with $a^2,b^2,c^2$ leads directly to the triangle inequalities. The same factorization applied to
$$a^2+b^2+c^2-2(ab+bc+ca)$$
gives
$$(a+b+c)(a+b-c)(a-b+c)(-a+b+c)\le0,$$
which again characterizes triples satisfying the triangle inequalities.
The main approach is preferable because it uses only elementary algebraic identities and avoids introducing Heron's formula or higher-degree factorizations.