IMO 1991 Problem 1

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 10m50s

Problem

Given a triangle $,ABC,,$ let $,I,$ be the center of its inscribed circle. The internal bisectors of the angles $,A,B,C,$ meet the opposite sides in $,A^{\prime },B^{\prime },C^{\prime },$ respectively. Prove that $$ \frac {1}{4} < \frac {AI\cdot BI\cdot CI}{AA^{\prime }\cdot BB^{\prime }\cdot CC^{\prime }} \leq \frac {8}{27}. $$

Exploration

The earlier failure comes from an incorrect algebraic detour: introducing a complicated symmetric rational function that is not actually the natural simplification of the geometric ratio. Recomputing the key step directly from the midpoint/half-angle structure avoids introducing artificial denominators.

Start from the cyclic identity

$$\frac{AI}{AA'}=\frac12\cdot\frac{\cos\frac{B-C}{2}}{\cos\frac B2\cos\frac C2}.$$

A direct expansion of the numerator gives

$$\cos\frac{B-C}{2}=\cos\frac B2\cos\frac C2+\sin\frac B2\sin\frac C2,$$

so cancellation occurs immediately without introducing any extraneous coordinate system.

Testing extreme configurations confirms consistency: in an equilateral triangle all expressions are equal and finite; in a degenerate limit one angle tends to $\pi$ and the remaining terms force one factor of the product to approach $1/2$, so no term diverges or vanishes incorrectly. This indicates the correct structure is multiplicative and cyclic, not rationally entangled.

The correct reduction therefore stays entirely in half-angle tangent form, where each vertex contributes a factor depending only on the two opposite half-angles.

Problem Understanding

For triangle $ABC$ with incenter $I$, and points $A',B',C'$ where internal bisectors meet opposite sides, the goal is to bound

$$\frac{AI\cdot BI\cdot CI}{AA'\cdot BB'\cdot CC'}$$

for all nondegenerate triangles.

The expected extremal behavior is symmetric: the maximum occurs at the equilateral triangle, while the minimum arises in a degenerate limiting configuration.

The task is to express the ratio in a symmetric form and then optimize it under a single constraint derived from triangle half-angles.

Key Observations

Let

$$x=\tan\frac A2,\quad y=\tan\frac B2,\quad z=\tan\frac C2.$$

Then the standard identity holds:

$$xy+yz+zx=1.$$

From the geometric simplification

$$\frac{AI}{AA'}=\frac12\cdot\frac{\cos\frac{B-C}{2}}{\cos\frac B2\cos\frac C2},$$

rewrite the cosine difference using

$$\cos\frac{B-C}{2}=\cos\frac B2\cos\frac C2+\sin\frac B2\sin\frac C2.$$

Dividing by $\cos\frac B2\cos\frac C2$ gives

$$\frac{AI}{AA'}=\frac12\left(1+\tan\frac B2\tan\frac C2\right)=\frac12(1+yz).$$

Cyclic symmetry yields

$$\frac{BI}{BB'}=\frac12(1+zx),\quad \frac{CI}{CC'}=\frac12(1+xy).$$

Thus the full expression collapses to a purely symmetric product depending only on pairwise products.

Solution

Multiplying the three cyclic identities gives

$$\frac{AI\cdot BI\cdot CI}{AA'\cdot BB'\cdot CC'} =\frac18(1+xy)(1+yz)(1+zx).$$

Define

$$P=(1+xy)(1+yz)(1+zx), \quad \text{with } xy+yz+zx=1.$$

Expand:

$$P=1+(xy+yz+zx)+(xy\cdot yz+yz\cdot zx+zx\cdot xy)+xyz\cdot xyz.$$

Using $xy+yz+zx=1$, this becomes

$$P=2+(xyz)(x+y+z)+(xyz)^2.$$

We now bound $P$ under the constraint $xy+yz+zx=1$.

For the upper bound, apply AM-GM to $xy,yz,zx$:

$$xy\cdot yz + yz\cdot zx + zx\cdot xy \le \frac{(xy+yz+zx)^2}{3}=\frac13,$$

and

$$xyz \le \frac{(xy+yz+zx)^{3/2}}{3\sqrt{3}}=\frac1{3\sqrt3}.$$

Hence

$$P \le 2+\frac13+\frac1{27}=\frac{64}{27}.$$

Equality occurs at $x=y=z=\frac1{\sqrt3}$, corresponding to the equilateral triangle.

For the lower bound, all terms $(xy\cdot yz+yz\cdot zx+zx\cdot xy)$ and $(xyz)^2$ are nonnegative, hence

$$P \ge 2.$$

Therefore

$$\frac{AI\cdot BI\cdot CI}{AA'\cdot BB'\cdot CC'} \ge \frac18\cdot 2=\frac14.$$

Strict inequality holds for all nondegenerate triangles since $xyz>0$ forces $P>2$.

Combining both bounds,

$$\frac14 < \frac{AI\cdot BI\cdot CI}{AA'\cdot BB'\cdot CC'} \le \frac{8}{27}.$$

This completes the proof. ∎

Verification of Key Steps

The critical correction is the identity

$$\frac{AI}{AA'}=\frac12(1+yz),$$

which replaces the incorrect earlier rational expression. This follows directly from expanding $\cos\frac{B-C}{2}$ into half-angle products and eliminates all unnecessary geometric dependencies.

The constraint $xy+yz+zx=1$ is preserved throughout and is used only in symmetric AM-GM bounds on pairwise products, which are valid since all variables are positive.

The equilateral case $x=y=z$ satisfies the constraint and achieves equality in the upper bound, confirming sharpness. The lower bound arises from positivity of all correction terms in the expansion of $P$, with strictness ensured by nondegeneracy of the triangle.

Alternative Approaches

A purely geometric alternative avoids half-angle tangents by rewriting

$$\frac{AI}{AA'}=\frac{r}{\sin(A/2)}\cdot\frac{b+c}{2bc\cos(A/2)}$$

and expressing everything in terms of $a,b,c$ followed by normalization by $s$. This leads to a symmetric inequality in semiperimeter form:

$$\frac{(s-a)(s-b)(s-c)}{abc},$$

which can then be optimized using classical cyclic smoothing and AM-GM arguments.