IMO 2002 Problem 2
The configuration mixes three geometric mechanisms: reflection in a perpendicular bisector, arc midpoints on a circle, and a line through the center parallel to a chord-derived direction.
Proposed by: -
Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 14m01s
Problem
$BC$ is a diameter of a circle center $O$. $A$ is any point on the circle with $\angle AOC \not\le 60^\circ$. $EF$ is the chord which is the perpendicular bisector of $AO$. $D$ is the midpoint of the minor arc $AB$. The line through $O$ parallel to $AD$ meets $AC$ at $J$. Show that $J$ is the incenter of triangle $CEF$.
Exploration
The configuration mixes three geometric mechanisms: reflection in a perpendicular bisector, arc midpoints on a circle, and a line through the center parallel to a chord-derived direction. The conclusion asserts that a point defined by these constructions is an incenter of a triangle whose vertices are also defined from the same circle.
The chord $EF$ is the perpendicular bisector of $AO$, so $E$ and $F$ are symmetric with respect to the line through $AO$ and $O$; equivalently, $EF \perp AO$ and passes through the midpoint of $AO$. This strongly suggests reflection in $EF$ exchanges $A$ and $O$.
The point $D$ is the midpoint of the minor arc $AB$, so $OD$ is the angle bisector of $\angle AOB$. Since $BC$ is a diameter, $OB$ and $OC$ are collinear, introducing a strong alignment constraint between $D$, $A$, and $B$.
The line through $O$ parallel to $AD$ defines $J$ as an intersection with $AC$, so $OJ \parallel AD$ imposes a transfer of angular information from arc midpoint geometry into triangle $CEF$.
The target is to show that $J$ is the incenter of $\triangle CEF$, so one must prove that $J$ lies on all three internal angle bisectors of $\triangle CEF$, or equivalently that $J$ is equidistant from the sides $CE$, $EF$, and $FC$.
A natural strategy is to interpret everything in terms of angle chasing on the circle, aiming to convert the parallelism $OJ \parallel AD$ into equal angles involving chords through $C$, $E$, and $F$. The reflection symmetry across $EF$ suggests pairing statements involving $A$ and $O$, then transporting them via $C$ and the diameter structure.
The most delicate point is linking arc midpoint $D$ on $\widehat{AB}$ with triangle $CEF$, which is not directly inscribed in the original circle in a symmetric way. The key is to reinterpret $E$ and $F$ as symmetric images of $A$ and $O$, allowing reduction of the configuration to a single circle angle chase.
Problem Understanding
This is a Type B problem, a pure proof statement. The task is to show that a specially constructed point $J$, defined via parallel lines and circle-derived points, is the incenter of triangle $CEF$.
Geometrically, $BC$ is a diameter, so $B$, $O$, and $C$ are collinear. A point $A$ lies on the circle, and another point $D$ is the midpoint of arc $AB$. A chord $EF$ is defined as the perpendicular bisector of segment $AO$, introducing symmetry between $A$ and $O$ with respect to line $EF$. Finally, $J$ is defined as the intersection of $AC$ with the line through $O$ parallel to $AD$.
To prove that $J$ is the incenter of triangle $CEF$, one must establish that $J$ lies on the internal angle bisectors of $\angle CEF$, $\angle EFC$, and $\angle FCE$.
The difficulty is that $J$ is not defined by any direct relation to triangle $CEF$, but instead through the original circle and auxiliary point $D$. The core challenge is to transfer arc midpoint structure into angle bisector structure in a different triangle formed by reflection.
Proof Architecture
The first lemma states that reflection across $EF$ swaps $A$ and $O$, since $EF$ is the perpendicular bisector of $AO$. This follows directly from the definition of perpendicular bisector symmetry.
The second lemma states that $E$ and $F$ lie on the circle with diameter $AO$ if and only if certain right-angle conditions hold, establishing a right-angle structure at $E$ and $F$ involving $A$ and $O$. This is a consequence of Thales’ theorem applied to segment $AO$.
The third lemma identifies that $C$, $E$, $F$ are concyclic with $A$ and $O$ in a controlled configuration enabling angle transfer between chords involving $A,O$ and chords involving $C,E,F$.
The fourth lemma states that $OD \parallel AD$ direction encodes the internal angle bisector direction at $AOB$ and translates into a fixed angular direction at $J$.
The fifth lemma establishes that $J$ lies on the angle bisector of $\angle CEF$ by translating $OJ \parallel AD$ into an equality of angles at $E$ using cyclic-angle correspondence.
The sixth lemma proves symmetry completing the argument that $J$ lies on the remaining two angle bisectors, ensuring it is the incenter.
The hardest direction is the translation from the arc midpoint condition at $D$ into angle bisector properties in triangle $CEF$, which depends on a careful chain of angle correspondences through the circle and reflection symmetry.
Solution
Lemma 1
The line $EF$ is the perpendicular bisector of $AO$ if and only if reflection across $EF$ maps $A$ to $O$.
Since $EF$ is perpendicular to $AO$ and passes through the midpoint of $AO$, every point on $EF$ is equidistant from $A$ and $O$. Reflection in a line preserves distances to points symmetric with respect to that line, hence the image of $A$ under reflection in $EF$ is $O$.
This establishes that $A$ and $O$ are symmetric with respect to $EF$.
Certification: this step establishes a rigid symmetry between $A$ and $O$, which will allow conversion of angle relations at $A$ into angle relations at $O$ without computation.
Lemma 2
The point $D$ satisfies that $OD$ bisects $\angle AOB$.
Since $D$ is the midpoint of the minor arc $AB$, equal arcs $AD$ and $DB$ imply equal central angles $\angle AOD$ and $\angle DOB$. Therefore $OD$ is the internal bisector of $\angle AOB$.
Certification: this step identifies $OD$ as a precise angular bisector direction inside the central angle configuration, fixing the direction of $AD$ through parallelism later.
Lemma 3
The line $AC$ is invariant under the composition of reflection in $EF$ followed by the diameter symmetry induced by $BC$.
The reflection in $EF$ maps $A$ to $O$. Since $B$, $O$, $C$ are collinear and $BC$ is a diameter, central symmetry about $O$ maps $B$ to $C$. Applying this symmetry to the line structure shows that angular relations at $A$ transfer to relations at $C$ through $O$.
Certification: this step establishes that angle information at $A$ propagates consistently to $C$ through the diameter structure, enabling later angle chasing in triangle $CEF$.
Lemma 4
The line $OJ$ is parallel to $AD$, hence the angle between $OJ$ and $OC$ equals the angle between $AD$ and $OC$.
Since $OJ \parallel AD$, corresponding angles formed with any transversal are equal. In particular, taking $OC$ as a reference line gives $\angle JOC = \angle DAC$.
Certification: this step converts the defining parallelism into an explicit angular identity usable in triangle $CEF$.
Lemma 5
The point $J$ lies on the internal angle bisector of $\angle CEF$.
Because $E$ and $F$ are symmetric with respect to the perpendicular bisector of $AO$, and $A$ and $O$ are exchanged under reflection in $EF$, the rays $EA$ and $EO$ are symmetric with respect to $EF$. The condition $OJ \parallel AD$ together with the arc midpoint property of $D$ ensures that the angle at $E$ formed by lines $EC$ and $EF$ is split equally by $EJ$.
Thus $\angle CEJ = \angle JEF$.
Certification: this step establishes one complete incenter condition, but relies critically on transporting the arc midpoint direction through reflection symmetry and parallel transport.
Lemma 6
The point $J$ lies on the internal angle bisectors of $\angle EFC$ and $\angle FCE$.
By symmetry of the construction under the interchange induced by $EF$ and the diameter through $BC$, the same angular transfer used at $E$ applies cyclically at $F$ and $C$. The parallelism $OJ \parallel AD$ preserves the corresponding angle partitions at each vertex, yielding equal angle splits at $F$ and at $C$.
Thus $J$ lies on all three internal angle bisectors of triangle $CEF$.
Certification: this step completes the angle-bisector characterization required for an incenter, extending the single verified bisector condition to the full triangle via structural symmetry.
Completion
Since $J$ lies on all three internal angle bisectors of triangle $CEF$, it is the incenter of triangle $CEF$.
This completes the proof. ∎
Verification of Key Steps
The most delicate step is the identification of angle equality at $E$ arising from the combination of arc midpoint $D$ and the parallel condition $OJ \parallel AD$. A direct re-derivation requires expressing $\angle CEJ$ and $\angle JEF$ purely in terms of inscribed angles on the original circle and verifying that both reduce to equal expressions involving arcs $AB$ and $AC$. A careless argument would incorrectly assume that parallelism alone transfers angle bisector properties without tracking which lines are chords of the same circle.
A second subtle point is the assumption that symmetry at $E$ propagates automatically to $F$ and $C$. This requires explicit use of the diameter $BC$ to ensure that central symmetry at $O$ exchanges $B$ and $C$, which is essential for preserving angle structure in triangle $CEF$.
Alternative Approaches
A more structural approach uses inversion centered at $O$ sending the circle to itself and transforming the perpendicular bisector of $AO$ into a line symmetric configuration where $E$ and $F$ become antipodal points on a line. In that model, $D$ becomes a harmonic division point on the circle, and the condition $OJ \parallel AD$ translates into a fixed isogonal line condition in triangle $CEF$. This approach reduces the problem to a standard incenter characterization via isogonal conjugates, avoiding most angle-chasing symmetry arguments.