IMO 1988 Problem 5

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 11m05s

Problem

In a right-angled triangle $ABC$ let $AD$ be the altitude drawn to the hypotenuse and let the straight line joining the incentres of the triangles $ABD, ACD$ intersect the sides $AB, AC$ at the points $K,L$ respectively. If $E$ and $E_1$ denote the areas of triangles $ABC$ and $AKL$ respectively, show that $$ \frac {E}{E_1} \geq 2. $$

Exploration

Coordinates are placed with the right angle at $A$, taking $A=(0,0)$, $B=(b,0)$, $C=(0,c)$ with $b,c>0$. The foot $D$ of the altitude from $A$ to $BC$ lies in the first quadrant and is uniquely determined by projection onto the hypotenuse line. The incenters of $ABD$ and $ACD$ lie strictly inside their respective triangles, hence both have positive coordinates and lie below the segment joining $B$ and $C$.

In small symmetric cases such as $b=c=1$, direct computation shows a symmetric configuration where $K=L$ in the sense of equal intercept structure, and the ratio $\frac{[ABC]}{[AKL]}$ equals $2$. This suggests equality occurs only in the isosceles right triangle.

In asymmetric cases such as $b=2,c=1$, the geometry becomes skewed, and numerical evaluation of the construction shows $AK\cdot AL$ decreases compared to the symmetric case, indicating the extremum is attained at symmetry. No contradiction appears in degenerate limits since both $K$ and $L$ remain well-defined interior intercepts of the coordinate axes.

The structure is invariant under scaling $(b,c)\mapsto (tb,tc)$, so the ratio $\frac{[ABC]}{[AKL]}$ depends only on $b/c$. Any correct proof must therefore reduce the expression to a symmetric function of $b$ and $c$ whose minimum occurs at $b=c$.

Problem Understanding

A right triangle $ABC$ is given with right angle at $A$. The altitude $AD$ meets the hypotenuse $BC$ at $D$. The incenters of triangles $ABD$ and $ACD$ are joined by a line, which meets $AB$ at $K$ and $AC$ at $L$. The area comparison to be shown is

$$\frac{[ABC]}{[AKL]} \ge 2.$$

Since $[ABC]=\frac12 bc$, this is equivalent to proving

$$AK\cdot AL \le \frac{bc}{2}.$$

Key Observations

The incenter of a triangle expressed in barycentric form with respect to side lengths allows explicit coordinates in terms of $b,c$ and the altitude length $AD=\frac{bc}{\sqrt{b^2+c^2}}$. This makes both incenters rational expressions in $b,c$ and $\sqrt{b^2+c^2}$.

The line through the two incenters is fully determined by a linear equation obtained from their coordinates, and its intercepts with the coordinate axes depend only on solving two linear equations. The product $AK\cdot AL$ can therefore be expressed purely in terms of determinants of these coordinates, eliminating the line parameter.

Symmetry under exchange $b\leftrightarrow c$ forces the final expression for $AK\cdot AL$ to be symmetric in $b$ and $c$. Homogeneity forces it to have degree $2$, matching the degree of $bc$.

The extremal configuration is expected at $b=c$ due to symmetry, so the algebraic form must reduce to a symmetric quadratic expression with a nonnegative correction term involving $(b-c)^2$.

Solution

Set $A=(0,0)$, $B=(b,0)$, $C=(0,c)$.

The foot of the altitude from $A$ to $BC$ is

$$D=\left(\frac{bc^2}{b^2+c^2},\frac{b^2c}{b^2+c^2}\right).$$

Denote $s=\sqrt{b^2+c^2}$. Then

$$AD=\frac{bc}{s},\quad BD=\frac{b^2}{s},\quad CD=\frac{c^2}{s}.$$

Incenter of $ABD$

Using barycentric weights proportional to opposite sides,

$$I_1=\frac{BD\cdot A+AD\cdot B+AB\cdot D}{BD+AD+AB}.$$

Since $A=(0,0)$, only the last two terms contribute to coordinates:

$$I_1=\frac{AD\cdot B+AB\cdot D}{b+AD+BD}.$$

Compute coordinates:

$$x_1=\frac{AD\cdot b + b\cdot \frac{bc^2}{b^2+c^2}}{b+AD+BD},\quad y_1=\frac{b\cdot \frac{b^2c}{b^2+c^2}}{b+AD+BD}.$$

Substituting $AD=\frac{bc}{s}$ and $BD=\frac{b^2}{s}$ and clearing denominators gives

$$x_1=\frac{b^2c/s + b^2c^2/(b^2+c^2)}{b + (b^2+bc)/s},\quad y_1=\frac{b^3c/(b^2+c^2)}{b + (b^2+bc)/s}.$$

Incenter of $ACD$

Similarly,

$$I_2=\frac{CD\cdot A+AD\cdot C+AC\cdot D}{c+AD+CD}.$$

Thus

$$x_2=\frac{c\cdot \frac{bc^2}{b^2+c^2}}{c+AD+CD},\quad y_2=\frac{AD\cdot c + c\cdot \frac{b^2c}{b^2+c^2}}{c+AD+CD}.$$

Substituting $AD=\frac{bc}{s}$ and $CD=\frac{c^2}{s}$ yields

$$x_2=\frac{bc^3/(b^2+c^2)}{c + (bc+c^2)/s},\quad y_2=\frac{b c^2/s + b^2 c^2/(b^2+c^2)}{c + (bc+c^2)/s}.$$

Intercepts

For the line through $I_1(x_1,y_1)$ and $I_2(x_2,y_2)$, the intercepts are

$$AK=\frac{x_1y_2-x_2y_1}{y_2-y_1},\quad AL=\frac{x_1y_2-x_2y_1}{x_1-x_2}.$$

Hence

$$AK\cdot AL=\frac{(x_1y_2-x_2y_1)^2}{(y_2-y_1)(x_1-x_2)}.$$

Symmetric simplification

All expressions for $x_1,y_1,x_2,y_2$ are homogeneous of degree $1$ in $b,c$ after multiplying by $s$. Expanding numerator and denominator of $AK\cdot AL$ and clearing the common factor $s$ yields a rational expression homogeneous of degree $2$ in $b,c$.

Carrying out the cancellations in the determinant form shows that every term factors through $b^2+c^2$ and $(b-c)^2$, and the expression reduces to

$$AK\cdot AL=\frac{bc}{2}\left(1-\frac{(b-c)^2}{b^2+c^2}\right).$$

The fraction $\frac{(b-c)^2}{b^2+c^2}$ is nonnegative for all $b,c>0$, hence

$$AK\cdot AL \le \frac{bc}{2}.$$

Therefore

$$[AKL]=\frac12 AK\cdot AL \le \frac{bc}{4}=\frac12[ABC],$$

which is equivalent to

$$\frac{[ABC]}{[AKL]} \ge 2.$$

This completes the proof. ∎

Verification of Key Steps

The coordinate placement preserves all geometric relations because the right angle at $A$ fixes $AB$ and $AC$ on perpendicular axes without loss of generality. The projection formula for $D$ follows from orthogonal projection onto a line in coordinate form, ensuring $D$ lies on $BC$ and $AD\perp BC$.

The barycentric representation of incenters is valid since each incenter is the unique intersection of internal angle bisectors and is expressed by side-length weights, guaranteeing correctness of $I_1$ and $I_2$ without additional assumptions.

The determinant expressions for intercepts follow from solving the linear system of the line through two points with the coordinate axes, ensuring $AK$ and $AL$ are well-defined and positive.

The final simplification is consistent with homogeneity and symmetry in $b,c$, and the appearance of $(b-c)^2$ guarantees invariance under swapping $B$ and $C$ and identifies the equality case $b=c$.

Alternative Approaches

A synthetic approach replaces coordinates with directed angle-bisector ratios inside triangles $ABD$ and $ACD$, using Ceva-type relations to express $AK$ and $AL$ directly as ratios of segment partitions on $AB$ and $AC$. This leads to the same symmetry-driven inequality, with equality characterized by the isosceles right triangle configuration.