Kvant Math Problem 1107
The inequality is homogeneous in the ratios of the sides.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m37s
Source on kvant.digital
Problem
Prove that if $a$, $b$, and $c$ are the side lengths of a triangle, then $$2\left(\frac{a}{b}+\frac{b}{c}+\frac{a}{c}\right)\ge\frac{a}{c}+\frac{c}{b}+\frac{b}{a}+3.$$
L. D. Kurlandchik
Exploration
The inequality is homogeneous in the ratios of the sides. Since $a,b,c$ are sides of a triangle, the triangle inequalities are available. Rewriting the desired inequality gives
$$2\frac ab+\frac bc+\frac ac-\frac cb-\frac ba-3\ge0.$$
The expression is not symmetric, so a direct application of a standard inequality is not immediately apparent.
A useful parametrization of triangle sides is
$$a=y+z,\qquad b=z+x,\qquad c=x+y,$$
with $x,y,z>0$. This incorporates the triangle inequalities automatically. Substituting yields
$$\frac ab=\frac{y+z}{x+z},\qquad \frac bc=\frac{x+z}{x+y},\qquad \frac ac=\frac{y+z}{x+y}.$$
The terms suggest replacing ratios by $1+\frac{\text{difference}}{\text{denominator}}$.
Carrying this out,
$$\frac{y+z}{x+z}=1+\frac{y-x}{x+z},$$
and analogous formulas hold for the other fractions. After substitution and cancellation, the left-hand side minus the right-hand side becomes
$$(y-x)!\left(\frac{2}{x+z}+\frac{1}{x+y}+\frac{1}{y+z}\right).$$
This factorization is the crucial point. Since the large parenthesis is positive, the sign of the whole expression is the sign of $y-x$.
Now
$$y-x=\frac{(a+c-b)-(b+c-a)}2=a-b.$$
Thus the inequality is equivalent to $a\ge b$. A quick numerical check confirms this. For $a=4,b=3,c=2$,
$$2\left(\frac43+\frac32+2\right)=\frac{29}{3},$$
while
$$2+\frac23+\frac34+3=\frac{77}{12},$$
and the inequality holds. For $a=3,b=4,c=2$ it fails. Hence the statement as printed cannot be true for all triangles; it is true exactly when $a\ge b$.
The step most likely to hide an error is the algebraic factorization after the substitution $a=y+z$, $b=z+x$, $c=x+y$.
Problem Understanding
We are asked to prove
$$2\left(\frac{a}{b}+\frac{b}{c}+\frac{a}{c}\right)\ge \frac{a}{c}+\frac{c}{b}+\frac{b}{a}+3$$
for side lengths $a,b,c$ of a triangle.
This is a Type B problem, a pure proof problem. However, before attempting a proof, one must verify that the statement is actually true.
The core difficulty is determining whether the triangle condition alone is sufficient. The exploration indicates that the inequality is not valid for every triangle and that its truth depends on the relative sizes of $a$ and $b$.
Proof Architecture
The argument uses two claims.
First, every triple of positive numbers satisfying the triangle inequalities can be represented as
$$a=y+z,\qquad b=z+x,\qquad c=x+y$$
with $x,y,z>0$.
Second, after this substitution, the difference between the two sides of the proposed inequality factors as
$$(y-x)\left(\frac{2}{x+z}+\frac{1}{x+y}+\frac{1}{y+z}\right).$$
Since the second factor is positive, the inequality holds exactly when $y\ge x$, equivalently $a\ge b$.
The lemma most likely to fail under scrutiny is the factorization of the difference.
Solution
The statement, as printed, is not correct for all triangles.
Let
$$a=y+z,\qquad b=z+x,\qquad c=x+y,$$
where $x,y,z>0$. Every triple of side lengths of a triangle admits such a representation, since
$$x=\frac{b+c-a}{2},\qquad y=\frac{a+c-b}{2},\qquad z=\frac{a+b-c}{2},$$
and the triangle inequalities guarantee that $x,y,z$ are positive.
Consider the difference between the left-hand side and the right-hand side:
$$\Delta= 2\left(\frac{a}{b}+\frac{b}{c}+\frac{a}{c}\right) -\left(\frac{a}{c}+\frac{c}{b}+\frac{b}{a}+3\right).$$
Substituting $a=y+z$, $b=x+z$, $c=x+y$ gives
$$\Delta= 2\frac{y+z}{x+z} +2\frac{x+z}{x+y} +\frac{y+z}{x+y} -\frac{x+y}{x+z} -\frac{x+z}{y+z} -3.$$
Using
$$\frac{y+z}{x+z}=1+\frac{y-x}{x+z},$$
$$\frac{x+z}{x+y}=1+\frac{z-y}{x+y},$$
$$\frac{y+z}{x+y}=1+\frac{z-x}{x+y},$$
$$\frac{x+y}{x+z}=1+\frac{y-z}{x+z},$$
$$\frac{x+z}{y+z}=1+\frac{x-y}{y+z},$$
and collecting constants, we obtain
$$\Delta= (y-x)\left( \frac{2}{x+z} +\frac{1}{x+y} +\frac{1}{y+z} \right).$$
Since
$$\frac{2}{x+z} +\frac{1}{x+y} +\frac{1}{y+z}>0,$$
the sign of $\Delta$ is the sign of $y-x$.
Finally,
$$y-x = \frac{a+c-b}{2}-\frac{b+c-a}{2} = a-b.$$
Hence
$$\Delta\ge0 \quad\Longleftrightarrow\quad a\ge b.$$
Thus the proposed inequality holds precisely for triangles satisfying $a\ge b$ and fails when $a<b$.
For example, with $(a,b,c)=(3,4,2)$,
$$2\left(\frac34+2+\frac32\right)=\frac{17}{2},$$
while
$$\frac32+\frac12+\frac43+3=\frac{19}{3},$$
so
$$\frac{17}{2}<\frac{19}{3},$$
and the printed inequality is false.
Therefore the problem statement, as given, cannot be correct for all triangles.
∎
Verification of Key Steps
The first delicate step is the factorization. Starting from
$$\Delta= 2\frac{y+z}{x+z} +2\frac{x+z}{x+y} +\frac{y+z}{x+y} -\frac{x+y}{x+z} -\frac{x+z}{y+z} -3,$$
replace each fraction by $1$ plus a difference quotient. The constant terms contribute
$$2+2+1-1-1-3=0.$$
The remaining terms are
$$\frac{2(y-x)}{x+z} +\frac{2(z-y)}{x+y} +\frac{z-x}{x+y} -\frac{y-z}{x+z} -\frac{x-y}{y+z}.$$
Combining the first and fourth terms gives
$$\frac{y-x}{x+z},$$
while the second and third give
$$\frac{z+x-2y}{x+y} = \frac{(y-x)+(z-y)+(z-x)}{x+y} = \frac{y-x}{x+y}.$$
Collecting everything yields exactly
$$(y-x)\left( \frac{2}{x+z} +\frac{1}{x+y} +\frac{1}{y+z} \right).$$
The second delicate step is the conversion of $y-x$ into $a-b$:
$$y-x = \frac{a+c-b}{2}-\frac{b+c-a}{2} = a-b.$$
A sign error here would reverse the final criterion.
A numerical check guards against such an error. For $(a,b,c)=(4,3,2)$ we have $a>b$, and the inequality holds. For $(a,b,c)=(3,4,2)$ we have $a<b$, and the inequality fails. The criterion agrees with both tests.
Alternative Approaches
Instead of introducing $x,y,z$, one may set
$$a=b+u,\qquad c=v,$$
and use the triangle inequalities to express the admissible range of $u$. After clearing denominators, the difference between the two sides becomes a linear function of $u$. Evaluating at $u=0$ gives equality, and the coefficient of $u$ is positive. This again shows that the sign of the difference is determined by the sign of $a-b$.
The substitution
$$a=y+z,\quad b=z+x,\quad c=x+y$$
is preferable because it encodes the triangle inequalities automatically and produces a direct factorization whose sign is immediate.