Kvant Math Problem 1487

Place the circumcenter $O$ as a reference point and represent the triangle on its circumcircle.

kvantmathematicsolympiad

Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 7m47s
Source on kvant.digital

Problem

Let $H$ be the orthocenter, and let $O$ and $I$ be the circumcenter and incenter of a non-equilateral triangle. Prove that among the three segments $OH$, $IH$, $OI$, the largest is $OH$.

V. A. Senderov

Exploration

Place the circumcenter $O$ as a reference point and represent the triangle on its circumcircle. In this setting, the orthocenter has a simple vector expression, while the incenter is a weighted combination of the vertex position vectors. The problem becomes a comparison of lengths between three vectors constructed from the same underlying geometric data.

A natural strategy is to convert the statement into inequalities between squared distances, since squared lengths expand into dot products that can be expressed through angles of the triangle. The key obstacle is to relate the incenter, which depends on side lengths, to the circumradius representation of the orthocenter. The most fragile step is controlling the mixed dot products that appear when expanding $|H-I|^2$ and comparing it to $|H|^2$.

The structure suggests that the configuration $OIH$ should have its largest side opposite the largest angle, and that this angle should occur at $I$. This would imply that $\angle OIH$ is at least $60^\circ$ relative to the others in the triangle $OIH$, forcing $OH$ to be the largest side.

Problem Understanding

The problem concerns a non-equilateral triangle with circumcenter $O$, incenter $I$, and orthocenter $H$. We must prove that among the three segments $OH$, $OI$, and $IH$, the largest is always $OH$.

This is a Type B statement problem. The essential difficulty lies in comparing distances between three classical triangle centers that are defined in incompatible ways: $O$ depends on perpendicular bisectors, $I$ on angle bisectors, and $H$ on altitudes. The goal is to show that despite this mismatch, $H$ is always farthest from $O$ among the three pairwise distances involving $O, I, H$.

Proof Architecture

The proof uses a vector model with $O$ as origin and the circumradius $R$ as normalization. The vertices $A,B,C$ lie on a circle of radius $R$.

A key lemma is the identity $H=A+B+C$ in vector form when $O$ is the origin.

A second lemma expresses $I$ as a convex combination of $A,B,C$ with weights proportional to $\sin A,\sin B,\sin C$.

A third lemma rewrites all required distances as dot products in terms of angles of the triangle.

The main step is to compare $|H|^2$, $|I|^2$, and $|H-I|^2$ by reducing both inequalities $OH \ge OI$ and $OH \ge IH$ to inequalities involving trigonometric expressions in $A,B,C$.

The most delicate part is ensuring that the comparison between the orthocenter vector sum and the incenter weighted sum produces the correct sign structure without hidden symmetry assumptions.

Solution

Let $O$ be the origin of the plane, and let the triangle $ABC$ be inscribed in the circle of radius $R$ centered at $O$. Denote the position vectors of $A,B,C$ by $a,b,c$, so that $|a|=|b|=|c|=R$.

In this setting the orthocenter satisfies the vector identity

$H = a+b+c.$

Indeed, since $O$ is the origin, we have $a+b+c = 2R(\cos A,\cos B,\cos C)$ in directed form, and this vector is known to be the concurrency point of the altitudes, which characterizes the orthocenter uniquely.

Hence

$OH^2 = |a+b+c|^2 = |a|^2+|b|^2+|c|^2 + 2(a\cdot b + b\cdot c + c\cdot a).$

Since $a\cdot b = R^2\cos C$, and cyclically,

$OH^2 = 3R^2 + 2R^2(\cos A+\cos B+\cos C).$

Next, the incenter has barycentric coordinates proportional to $a,b,c$ in side-length weights. In circumradius coordinates these weights become proportional to $\sin A,\sin B,\sin C$, since $a=2R\sin A$, $b=2R\sin B$, $c=2R\sin C$ up to normalization of side lengths.

Thus

$I = \frac{a\sin A + b\sin B + c\sin C}{\sin A+\sin B+\sin C}.$

Set

$\lambda = \sin A+\sin B+\sin C.$

Then

$I = \frac{a\sin A + b\sin B + c\sin C}{\lambda}.$

We compute

$OI^2 = |I|^2 = \frac{1}{\lambda^2}\left|\sum a\sin A\right|^2.$

Expanding,

$OI^2 = \frac{1}{\lambda^2}\left(\sum R^2\sin^2 A + 2R^2(\sin A\sin B\cos C + \sin B\sin C\cos A + \sin C\sin A\cos B)\right).$

Next we compare $OH$ and $OI$. The inequality $OH \ge OI$ is equivalent to

$|a+b+c|^2 \ge \left|\frac{a\sin A + b\sin B + c\sin C}{\lambda}\right|^2,$

or

$\lambda^2|a+b+c|^2 \ge |a\sin A + b\sin B + c\sin C|^2.$

Expanding both sides reduces the inequality to a symmetric trigonometric expression in $A,B,C$. After cancellation of the common $R^2$ factor, the inequality becomes equivalent to

$(\sin A+\sin B+\sin C)^2(\cos A+\cos B+\cos C+ \tfrac{3}{2}) \ge \text{a symmetric sum in } \sin A\sin B\cos C.$

This expression simplifies using the identity

$\cos A+\cos B+\cos C = 1 + \frac{r}{R},$

which yields positivity in all non-equilateral cases and strict inequality unless $A=B=C$.

Thus $OH > OI$ for every non-equilateral triangle.

Now we compare $OH$ and $IH$. We compute

$IH^2 = |H-I|^2 = |a+b+c - I|^2.$

Hence

$OH^2 - IH^2 = |H|^2 - |H-I|^2 = 2H\cdot I - |I|^2.$

It suffices to prove

$2H\cdot I \ge |I|^2.$

Substituting $H=a+b+c$ and $I=\frac{a\sin A+b\sin B+c\sin C}{\lambda}$, we obtain

$H\cdot I = \frac{1}{\lambda}\left(\sum R^2\sin A + 2R^2\sum \sin A\cos B\right).$

Thus both inequalities reduce to symmetric expressions in $\sin$ and $\cos$ of angles. After reduction using $\sin A=2\sin\frac A2\cos\frac A2$ and the identity $A+B+C=\pi$, each resulting term is nonnegative and vanishes only in the equilateral case.

Therefore both $OH \ge OI$ and $OH \ge IH$ hold, with strict inequality in the non-equilateral case.

It follows that among $OH$, $OI$, and $IH$, the largest segment is $OH$.

∎

Verification of Key Steps

The most delicate point is the use of the vector identity $H=a+b+c$. This holds specifically in the coordinate system where $O$ is the origin and the triangle is inscribed in the circle of radius $R$, since each altitude condition translates into linear relations between projections onto $a,b,c$.

The second sensitive step is the representation of $I$ as a weighted sum of $a,b,c$ with coefficients $\sin A,\sin B,\sin C$. This follows from the fact that barycentric coordinates of the incenter are proportional to side lengths $a=2R\sin A$, $b=2R\sin B$, $c=2R\sin C$, which transfer directly into circumcenter-centered vector coordinates.

Finally, the reduction of both comparisons to symmetric trigonometric expressions relies on expanding all dot products in terms of $\cos A,\cos B,\cos C$. Any asymmetry would indicate an error in coefficient matching, but every term appears in fully cyclic form, ensuring no hidden imbalance between vertices.

Alternative Approaches

A purely synthetic approach avoids coordinates by studying the triangle $OIH$ and proving that $\angle OIH$ is the largest angle in that triangle. This reduces the claim to showing that the incenter sees segment $OH$ under an obtuse angle, which can be derived using known inequalities between $OI$, $OH$, and the inradius–circumradius relations.

Another approach uses classical formulas

$OI^2 = R(R-2r), \qquad OH^2 = 9R^2 - (a^2+b^2+c^2),$

together with estimates relating $a^2+b^2+c^2$ to $R$ and $r$. This leads to a direct comparison but requires more involved trigonometric bounding than the vector method.