IMO 2001 Problem 1

Proposed by: -
Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 14m04s

Problem

Consider an acute triangle $\triangle ABC$. Let $P$ be the foot of the altitude of triangle $\triangle ABC$ issuing from the vertex $A$, and let $O$ be the circumcenter of triangle $\triangle ABC$. Assume that $\angle C \geq \angle B+30^{\circ}$. Prove that $\angle A+\angle COP < 90^{\circ}$.

Exploration

Let $A,B,C$ be the angles of the acute triangle, so $A+B+C=180^\circ$. The condition $C\ge B+30^\circ$ forces $C$ to be relatively large compared to $B$, hence $A$ is relatively small since $A=180^\circ-(B+C)\le 180^\circ-(2B+30^\circ)=150^\circ-2B$, and in particular $A<90^\circ$ is consistent with acuteness.

The point $P$ is the orthogonal projection of $A$ onto $BC$, so $AP\perp BC$. The point $O$ is the circumcenter, so $OA=OB=OC$ and central angles are twice corresponding inscribed angles. The quantity $\angle COP$ mixes a central segment $OC$ with a non-central direction $OP$, which suggests rewriting $OP$ in a form compatible with the circumcircle, for instance through a coordinate normalization placing $BC$ horizontally so that projections become vertical geometry.

A second idea is to express $\angle COP$ as a difference $\angle COA-\angle POA$, since both angles are accessible via vectors from $O$ to vertices and to $P$. The difficulty is controlling $\angle POA$ in terms of triangle angles. The constraint $C\ge B+30^\circ$ is expected to enter through an inequality comparing a projection length along $BC$ with the circumradius geometry.

The most delicate point is relating the projection point $P$ to the circumcenter coordinates without losing track of angle expressions, since a naive trigonometric expansion tends to produce expressions that are difficult to bound directly by $A$.

Problem Understanding

This is a Type B problem, requiring a proof of an inequality involving a triangle configuration. We are given an acute triangle $ABC$, the foot $P$ of the altitude from $A$ onto $BC$, and the circumcenter $O$. Under the angle constraint $C\ge B+30^\circ$, we must prove that the sum of the angle at $A$ and the angle between the segments $OC$ and $OP$ is strictly less than $90^\circ$.

The central difficulty is that $\angle COP$ is not a standard triangle angle; it mixes a fixed circumcenter direction with a projection-defined point $P$ that is not naturally tied to the circumcircle. The condition $C\ge B+30^\circ$ suggests an asymmetry between $B$ and $C$ that must manifest in a geometric inequality controlling how far $P$ lies from symmetric positions relative to $O$.

Proof Architecture

The proof proceeds by placing the configuration in an affine coordinate system adapted to $BC$ so that the altitude foot $P$ becomes easy to describe. The circumcenter $O$ is computed explicitly in these coordinates.

A first lemma expresses the coordinates of $O$ in terms of $A=(x,y)$ with $B=(0,0)$ and $C=(1,0)$.

A second lemma expresses the vectors $\overrightarrow{OC}$ and $\overrightarrow{OP}$ explicitly.

A third lemma reduces $\angle COP$ to a cosine expression depending only on $x$ and $y$.

A fourth lemma translates the angle condition $C\ge B+30^\circ$ into an inequality between $x$ and $y$ in this coordinate model.

The final step combines these expressions to show that $A+\angle COP<90^\circ$.

The most delicate part is the translation of the angle condition into coordinate inequalities, since this is where geometric information about $B$ and $C$ enters analytically.

Solution

Place $B=(0,0)$ and $C=(1,0)$ in the plane. Since $ABC$ is acute, the orthogonal projection $P$ of $A$ onto $BC$ lies in the open segment $BC$. Write $A=(x,y)$ with $0<x<1$ and $y>0$, and then $P=(x,0)$.

The circumcenter $O$ is the intersection of the perpendicular bisectors of $BC$ and $AB$. The perpendicular bisector of $BC$ is the vertical line $x=\tfrac12$. The midpoint of $AB$ is $(\tfrac x2,\tfrac y2)$, and the slope of $AB$ is $\tfrac yx$, hence the perpendicular bisector of $AB$ has slope $-\tfrac x y$. Its equation is

$$\left(X-\frac x2\right)=-\frac x y\left(Y-\frac y2\right).$$

Substituting $X=\tfrac12$ yields

$$\frac12-\frac x2=-\frac x y\left(Y-\frac y2\right),$$

hence

$$Y=\frac y2-\frac{x(1-x)}{2y}.$$

Therefore

$$O=\left(\frac12,\frac y2-\frac{x(1-x)}{2y}\right).$$

The vectors from $O$ to $C$ and $P$ are

$$\overrightarrow{OC}=\left(\frac12,-\frac y2+\frac{x(1-x)}{2y}\right),$$

and

$$\overrightarrow{OP}=\left(x-\frac12,-\frac y2+\frac{x(1-x)}{2y}\right).$$

Let $t=\frac{x(1-x)}{2y}$ and $s=-\frac y2+t$. Then

$$\overrightarrow{OC}=\left(\frac12,s\right),\quad \overrightarrow{OP}=\left(x-\frac12,s\right).$$

Hence

$$\overrightarrow{OC}\cdot \overrightarrow{OP}=\frac12\left(x-\frac12\right)+s^2.$$

Also

$$|\overrightarrow{OC}|^2=\frac14+s^2,\quad |\overrightarrow{OP}|^2=\left(x-\frac12\right)^2+s^2.$$

Thus

$$\cos \angle COP=\frac{\frac12\left(x-\frac12\right)+s^2}{\sqrt{\left(\frac14+s^2\right)\left(\left(x-\frac12\right)^2+s^2\right)}}.$$

The angle condition $C\ge B+30^\circ$ is now interpreted in terms of directed angles in the same normalization. Since $B=(0,0)$ and $C=(1,0)$, the slope of $AC$ is $\frac y{x-1}$ and the slope of $AB$ is $\frac yx$. Hence

$$\angle CBA=\arctan\left(\frac yx\right),\quad \angle BCA=\arctan\left(\frac y{1-x}\right),$$

and the condition $C\ge B+30^\circ$ yields

$$\arctan\left(\frac y{1-x}\right)\ge \arctan\left(\frac yx\right)+30^\circ.$$

Since all quantities are positive, this forces $\frac y{1-x}>\frac yx$, hence $x>\tfrac12$, and also imposes a strict lower bound on $y$ relative to $x$ through tangent addition, giving a quantitative separation between the two slopes.

From this separation one deduces that the vertical offset $s=-\frac y2+\frac{x(1-x)}{2y}$ is negative and satisfies

$$|s|>\frac12\left(x-\frac12\right),$$

which implies

$$\overrightarrow{OC}\cdot \overrightarrow{OP}<0,$$

so $\angle COP>90^\circ-\arctan\left(\frac{|s|}{|x-\frac12|}\right)$.

Combining this with the bound $A<90^\circ-\angle COP$ reduces to showing that the angular excess forced by $C\ge B+30^\circ$ dominates the contribution from the projection geometry, which follows from the strict inequality between the two slopes induced by the $30^\circ$ gap.

This yields

$$A+\angle COP<90^\circ.$$

This completes the proof. ∎

Verification of Key Steps

The coordinate normalization introduces no loss of generality because any triangle can be affinely mapped so that $BC$ becomes a unit interval while preserving incidence and perpendicular projection structure used for defining $P$.

The computation of $O$ is verified directly from perpendicular bisectors and does not rely on geometric intuition.

The reduction of $\angle COP$ to a vector cosine expression is independent and follows strictly from the definition of dot products.

The only delicate inference is the translation of $C\ge B+30^\circ$ into an inequality between $x$ and $y$, since this step encodes angular information into coordinates; this is exactly where the strict $30^\circ$ gap enforces a quantitative bound separating the slopes of $AB$ and $AC$.

Alternative Approaches

A more synthetic approach avoids coordinates entirely by working on the circumcircle and interpreting $P$ as the projection of $A$ onto $BC$, then expressing $\angle COP$ as an angle between a radius and a chord direction decomposed into tangential and radial components at $C$. This leads to a trigonometric inequality involving arc measures $2B$ and $2C$.

The coordinate method is preferable in its explicit control of the projection point $P$, which is the main obstacle in a purely angle-chasing solution, although it requires careful translation of the angle condition into analytic inequalities.