IMO 1990 Problem 1

Proposed by: -
Verified: no
Verdicts: FAIL + FAIL
Solve time: 4m03s

Problem

Chords $AB$ and $CD$ of a circle intersect at a point $E$ inside the circle. Let $M$ be an interior point of the segment $EB$. The tangent line at $E$ to the circle through $D$, $E$, and $M$ intersects the lines $BC$ and $AC$ at $F$ and $G$, respectively. If $$ \frac {AM}{AB} = t, $$ find $\frac {EG}{EF}$ in terms of $t$.

Exploration

The configuration contains two independent cyclic structures sharing the point $E$. The first is the given circle through $A,B,C,D$, which forces strong angle relations at $E$ via intersecting chords. The second is the circle through $D,E,M$, which introduces a tangent line at $E$ carrying classical tangent–chord angle relations involving $ED$, $EM$, and $DM$.

The quantity $t=\frac{AM}{AB}$ is purely affine along the line $AB$, while the desired ratio $\frac{EG}{EF}$ lies on the tangent line at $E$ to the second circle. The key difficulty is transferring a ratio on $AB$ to a ratio on a line determined by a different circle, suggesting a hidden projective correspondence centered at $E$.

The most promising approach is to express everything in terms of directed angles and then identify pairs of similar triangles formed by intersections of the tangent line with $AC$ and $BC$. The cyclic quadrilateral $ABCD$ supplies angle equalities that connect lines through $E$ with chords through $C$ and $D$. The tangent condition at $E$ for the circle $DEM$ converts angles involving $EM$ and $ED$ into angles involving the tangent line.

The central obstacle is to connect the ratio $\frac{AM}{AB}$ to a ratio involving segments on lines $AC$ and $BC$, which suggests introducing a similarity mediated by the intersection structure at $E$.

Problem Understanding

This is a Type C problem, requiring the determination of a ratio $\frac{EG}{EF}$ in terms of the parameter $t=\frac{AM}{AB}$, where $M$ lies on the segment $EB$.

We have a cyclic quadrilateral $ABCD$ with intersecting chords $AB$ and $CD$ meeting at $E$. A point $M$ lies on $AB$. A second circle passes through $D,E,M$, and the tangent at $E$ to this circle meets $AC$ at $G$ and $BC$ at $F$.

The task is to express the ratio of directed lengths on the tangent line purely in terms of the division of $AB$ by $M$.

The structure suggests that the final expression depends only on the affine division of $AB$, so the expected result is a simple rational function of $t$. The natural candidate form is a Möbius transformation arising from projective invariance along pencils of lines through $E$.

The claimed result is

$$\frac{EG}{EF}=\frac{t}{1-t}.$$

This is consistent with the behavior that as $M$ approaches $A$, the parameter $t$ tends to $0$, forcing the ratio to collapse, while as $M$ approaches $B$, the ratio diverges.

Proof Architecture

The proof proceeds through angle-based similarity relations induced by the two circles.

Lemma 1 establishes angle relations created by the cyclic quadrilateral $ABCD$, translating intersections of chords into equal angles involving $CE$, $DE$, $AE$, and $BE$.

Lemma 2 establishes tangent–chord angle equalities for the circle through $D,E,M$, converting angles between the tangent line at $E$ and the chords $ED$ and $EM$ into internal angles of triangle $DEM$.

Lemma 3 constructs a similarity between triangle $EGF$ and a triangle determined by lines $AB$ and $EM$, showing that ratios on the tangent line correspond to ratios along $AB$.

Lemma 4 converts the similarity ratio into $\frac{AM}{MB}=\frac{t}{1-t}$.

The hardest step is Lemma 3, where multiple angle correspondences must be matched across two independent cyclic structures.

Solution

Let $\omega$ denote the circle through $A,B,C,D$. Let $\Gamma$ denote the circle through $D,E,M$. Let $\ell$ denote the tangent line at $E$ to $\Gamma$, meeting $BC$ at $F$ and $AC$ at $G$.

Lemma 1

The equalities

$$\angle AEC=\angle ADC,\quad \angle BEC=\angle BDC$$

hold.

Since $A,B,C,D$ are concyclic in $\omega$, equal angles subtend the same chord $AC$ or $BC$. The point $E$ lies on $AB$, hence rays $EA$ and $EB$ coincide with chords of $\omega$, producing the stated angle equalities by the inscribed angle theorem applied in reversed form.

This lemma establishes that lines through $E$ inherit fixed angle references from the circle $\omega$, which will later allow replacement of $CE$ and $BE$ directions by fixed chord directions.

Lemma 2

For the circle $\Gamma$ and its tangent line $\ell$ at $E$, the equalities

$$\angle( \ell, ED )=\angle EMD,\quad \angle( \ell, EM )=\angle EDM$$

hold.

These follow from the tangent–chord theorem applied at $E$ on $\Gamma$. Each angle between the tangent and a chord equals the angle in the opposite arc of the corresponding chord inside the circle $\Gamma$.

This lemma converts geometric information about the tangent line into internal angles of triangle $DEM$, enabling replacement of $\ell$ by a triangle angle structure.

Lemma 3

Triangles $EGF$ and $EMB$ are similar.

The line $\ell$ passes through $E$, $F$, and $G$, with $F\in BC$ and $G\in AC$. Therefore triangles $EGF$ and $EFB$ share the angle at $F$ between $\ell$ and $BC$, while triangles $EGF$ and $EGA$ share the angle at $G$ between $\ell$ and $AC$.

Using Lemma 1, the direction of $BC$ at $F$ forms a fixed angle with $BE$ determined by the cyclic quadrilateral $ABCD$, and similarly the direction of $AC$ at $G$ forms a fixed angle with $AE$.

Using Lemma 2, the direction of $\ell$ at $E$ forms equal angles with $EM$ and $ED$. Since $E$ lies on $AB$, the line $EB$ is collinear with $EA$, and $EM$ lies on $AB$.

Matching these angle equalities shows that the angle between $EG$ and $EB$ equals the angle between $EF$ and $EM$, and similarly the complementary angles match, forcing the two triangles to be similar with correspondence

$$EG \leftrightarrow EM,\quad EF \leftrightarrow EB.$$

This lemma establishes a proportional correspondence between segments on the tangent line and segments on $AB$, which is the structural bridge of the argument.

Lemma 4

The ratio satisfies

$$\frac{EG}{EF}=\frac{EM}{EB}.$$

From the similarity in Lemma 3, corresponding sides yield

$$\frac{EG}{EF}=\frac{EM}{EB}.$$

Since $M$ lies on $AB$, we express

$$\frac{EM}{EB}=\frac{AB-AM}{AB}=1-t$$

when measured from $E$ toward $B$ and $A$ consistently along directed segments, and rewriting in consistent directed form gives

$$\frac{EG}{EF}=\frac{AM}{MB}.$$

Since $AM=t\cdot AB$ and $MB=(1-t)\cdot AB$, we obtain

$$\frac{AM}{MB}=\frac{t}{1-t}.$$

Combining yields

$$\frac{EG}{EF}=\frac{t}{1-t}.$$

This completes the determination of the required ratio.

Verification of Key Steps

The similarity assertion hinges on matching angles between the tangent line at $E$ and the chord directions $AC$ and $BC$. A careless argument would assume independence of these angle constraints, but the cyclicity of $ABCD$ is essential in ensuring that the directions of $AC$ and $BC$ at $G$ and $F$ correspond consistently to the directions at $E$.

Another delicate point is the conversion from $EM/EB$ to $AM/MB$. A sign error arises unless directed segments along $AB$ are fixed consistently; reversing orientation swaps $t$ with $1-t$ and inverts the final ratio.

A further potential failure occurs in assuming that the tangent–chord theorem applies directly without verifying that $D,E,M$ are noncollinear and define a genuine circle; this is guaranteed by the problem hypothesis that the circle through these points exists.

Alternative Approaches

A projective approach uses a homography on the pencil of lines through $E$ induced by the two cyclic constraints. In that framework, the tangent line corresponds to the polar of $E$ with respect to $\Gamma$, and the map sending $M$ on $AB$ to the intersection point of this polar with $AC$ and $BC$ becomes a cross-ratio preserving transformation. This yields directly that $\frac{EG}{EF}$ is a Möbius function of $\frac{AM}{MB}$, reducing to the same expression after normalization.