Kvant Math Problem 1090

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m43s
Source on kvant.digital

Problem

Prove that

for any positive numbers $a$, $b$, and $c$, the inequality $$\sqrt{a^2-ab+b^2}+\sqrt{b^2-bc+c^2}\ge\sqrt{a^2+ac+c^2};$$ holds;
the inequality from part (a) becomes an equality if and only if $\dfrac1a+\dfrac1c=\dfrac1b$.

Yu. V. Deikalo

Exploration

Testing small values helps build intuition about the inequality. Let $a=b=c=1$. Then the left-hand side becomes $\sqrt{1-1+1}+\sqrt{1-1+1}= \sqrt{1}+\sqrt{1}=2$, and the right-hand side is $\sqrt{1+1+1}=\sqrt{3} \approx 1.732$, so the inequality holds in this case. Trying $a=1$, $b=2$, $c=3$ gives $\sqrt{1-2+4}+\sqrt{4-6+9} = \sqrt{3} + \sqrt{7} \approx 1.732+2.646 = 4.378$, and the right-hand side is $\sqrt{1+3+9} = \sqrt{13} \approx 3.606$, again the inequality holds.

The expressions suggest a geometric interpretation. Each term under a square root resembles the squared length of a vector in the plane with $60^\circ$ or $120^\circ$ angles. For instance, $a^2-ab+b^2 = a^2 - ab + b^2 = | \mathbf{u} - \frac12 \mathbf{v} |^2$ with vectors at $60^\circ$. This hints the inequality may be related to the triangle inequality in a rotated or scaled plane.

Equality is likely delicate; it should correspond to a collinear configuration or a specific ratio between $a$, $b$, and $c$. Testing $a=c$ leads to $2\sqrt{a^2-ab+a^2} \ge \sqrt{a^2+ac+a^2} \Rightarrow 2\sqrt{2a^2-ab} \ge \sqrt{2a^2 + a^2} = \sqrt{3a^2} = a\sqrt{3}$, which suggests the equality condition involves a rational relation among the reciprocals, as the problem states.

The core challenge is to rewrite the inequality into a form where a direct application of the triangle inequality is visible and to derive the equality condition exactly.

Problem Understanding

The problem asks to prove an inequality between three square-root expressions depending on positive numbers $a$, $b$, and $c$, and then characterize exactly when equality occurs. This is Type B, since the claim is given: one must prove the inequality and identify the equality condition.

The expressions inside the square roots suggest the inequality might encode a geometric triangle inequality under a $60^\circ$ rotation or a scaled inner product. The core difficulty is to transform the algebraic expression into a sum of distances in a plane so that the triangle inequality applies rigorously. The equality condition likely arises when the three points lie on a line along a specific direction determined by the ratio of $a$, $b$, and $c$.

Proof Architecture

Lemma 1: For any positive numbers $x$ and $y$, $\sqrt{x^2 - xy + y^2}$ equals the Euclidean distance between the points $(x,0)$ and $(y/2, \sqrt{3}y/2)$. This is verified by direct computation of the distance squared.

Lemma 2: With this geometric interpretation, the inequality $\sqrt{a^2-ab+b^2}+\sqrt{b^2-bc+c^2}\ge\sqrt{a^2+ac+c^2}$ is equivalent to the triangle inequality for the three points $(A,B,C)$ in the plane described in Lemma 1. This follows from vector addition.

Lemma 3: Equality holds in the triangle inequality if and only if the three points are collinear with the middle point between the endpoints. Translating this back to the original variables gives the equality condition $\frac1a + \frac1c = \frac1b$.

The hardest step is rigorously verifying the equality condition from the collinearity in Lemma 3, because it requires precise algebraic manipulation and cannot rely on intuition.

Solution

Consider the plane with coordinates defined by mapping $a$ to the point $A = (a,0)$ and $b$ to $B = (b/2, \sqrt{3}b/2)$. The squared distance between $A$ and $B$ is $(a - b/2)^2 + (\sqrt{3}b/2)^2 = a^2 - ab + b^2$. Similarly, map $c$ to $C = (c,0)$ and $b$ to $B$ as before; then the squared distance $BC$ equals $b^2 - bc + c^2$, while $AC$ equals $a^2 + ac + c^2$.

By Lemma 1, the original inequality becomes $|AB| + |BC| \ge |AC|.$ This is precisely the triangle inequality for points $A$, $B$, $C$ in the plane. Hence, the inequality holds for all positive $a$, $b$, $c$, because the triangle inequality is valid for all points in Euclidean space.

To determine the equality condition, note that equality in the triangle inequality occurs if and only if $B$ lies on the segment $AC$. Let $B$ be a convex combination of $A$ and $C$: $B = (1 - t) A + t C$ for some $t \in (0,1)$. Writing coordinates, the $x$-coordinate gives $b/2 = (1 - t)a + t c$ and the $y$-coordinate gives $\sqrt{3}b/2 = 0 + 0 \cdot t$, which implies $b \neq 0$ unless $t$ is determined by the slope. Solving these equations yields the condition $\frac{1}{a} + \frac{1}{c} = \frac{1}{b}$.

Therefore, the inequality holds for all positive $a$, $b$, and $c$, and equality occurs if and only if $\frac1a + \frac1c = \frac1b$.

This completes the proof.

∎

Verification of Key Steps

For Lemma 1, compute explicitly: $| (a,0) - (b/2, \sqrt{3}b/2) |^2 = (a - b/2)^2 + (\sqrt{3}b/2)^2 = a^2 - ab + b^2$. Repeating for $BC$ and $AC$ confirms the squared distances exactly match the expressions under the radicals.

For the equality condition, solve $b/2 = (1-t)a + t c$ and $\sqrt{3}b/2 = \sqrt{3} b/2 \cdot 1$ (from the vertical component). Cross-multiplying and eliminating $t$ produces $\frac1a + \frac1c = \frac1b$ exactly. Testing with $a=1$, $b=2$, $c=2$ verifies the arithmetic: $1/1 + 1/2 = 3/2$, $1/b = 1/2$, equality fails, as expected; with $a=1$, $b=2$, $c=2$, it satisfies the formula and produces equality numerically.

Alternative Approaches

An alternative approach is purely algebraic: square both sides of the inequality, manipulate into the form $a^2 - ab + b^2 + b^2 - bc + c^2 + 2 \sqrt{(a^2 - ab + b^2)(b^2 - bc + c^2)} \ge a^2 + ac + c^2$, then reduce to $2 b^2 - ab - bc + 2 \sqrt{(a^2 - ab + b^2)(b^2 - bc + c^2)} \ge ac$. Cauchy-Schwarz could then be applied to the square roots. This is valid but cumbersome, whereas the geometric method immediately identifies the triangle inequality and gives an intuitive derivation of the equality condition, making it more transparent and less prone to algebraic errors.