Kvant Math Problem 1004
Let a line through $A$ be fixed.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m40s
Source on kvant.digital
Problem
Through the vertex $A$ of a triangle $ABC$, in which $AB\ne AC$, all possible lines are drawn. Prove that:
- on each of them there is at most one point $M$, distinct from the vertices of the triangle, for which $\angle ABM=\angle ACM$;
- there are at most five of these lines on which there is no such point $M$.
O. R. Musin
All-Union Mathematical Olympiad (1986)
Exploration
Let a line through $A$ be fixed. We seek points $M$ on this line such that
$$\angle ABM=\angle ACM.$$
The condition compares the angle between $BM$ and the fixed line $BA$ with the angle between $CM$ and the fixed line $CA$.
A natural way to encode such equalities is by means of directed angles. Let
$$\omega=\angle BAC.$$
If $M$ lies on a fixed line through $A$, then the direction of $AM$ is fixed. Put
$$x=\angle BAM=\angle CAM+\omega .$$
The angles at $B$ and $C$ can be expressed through the angles of triangles $ABM$ and $ACM$:
$$\angle ABM=180^\circ-\angle AMB-x,$$
$$\angle ACM=180^\circ-\angle AMC-(\omega-x).$$
After imposing $\angle ABM=\angle ACM$, the supplementary angles disappear and we obtain a relation involving $\angle AMB$ and $\angle AMC$.
Since $A,M$ are collinear with themselves, the rays $MA$ and $MC$ lie on opposite sides of $AM$ from the rays $MA$ and $MB$. Hence
$$\angle AMC-\angle AMB$$
is determined entirely by the position of $B$ and $C$ relative to the line $AM$. This suggests that the condition should become a quadratic equation in a parameter describing the point $M$ on the chosen line.
Choose coordinates with
$$A=(0,0), \qquad M=t,u,$$
where $u$ is a fixed unit vector in the direction of the chosen line. Let
$$b=AB,\qquad c=AC.$$
Using the sine rule in triangles $ABM$ and $ACM$ gives
$$\frac{\sin\angle ABM}{AM} =\frac{\sin x}{AB}, \qquad \frac{\sin\angle ACM}{AM} =\frac{\sin(\omega-x)}{AC}.$$
If the two angles are equal, their sines are equal, and therefore
$$\frac{\sin x}{b} = \frac{\sin(\omega-x)}{c}.$$
This equation depends only on the direction of $AM$, not on the position of $M$ on that line. Thus for a fixed line, the common value of the angle is already fixed.
Then the sine rule yields
$$\frac{AM}{\sin\angle ABM} = \frac{b}{\sin x},$$
so once the common angle is known, $AM$ is uniquely determined. Hence there can be at most one point on a fixed line.
The exceptional lines are those for which the direction equation
$$c\sin x=b\sin(\omega-x)$$
fails. Expanding,
$$(c+b\cos\omega)\sin x = b\sin\omega\cos x.$$
For most directions this determines a unique $x$. The only problematic directions occur when the geometric reconstruction degenerates. Eliminating $M$ leads to a polynomial condition of degree $5$ for the direction of the line through $A$. Therefore there can be at most five exceptional directions. The main task is to obtain this degree-$5$ equation rigorously.
The step most likely to hide an error is the passage from the angle condition to an algebraic equation in the direction parameter. Every degeneration must be tracked carefully, because the statement concerns the number of exceptional lines.
Problem Understanding
For every line through the vertex $A$ of a nonisosceles triangle $ABC$, we consider points $M$ on that line, different from the vertices of the triangle, satisfying
$$\angle ABM=\angle ACM.$$
The first claim asks us to prove uniqueness: on any fixed line through $A$ there is at most one such point.
The second claim asks us to bound the number of lines through $A$ for which no such point exists. The required bound is five.
This is a Type B problem. The goal is to prove the two stated assertions.
The core difficulty is to convert the angular condition into an algebraic condition on the direction of the line through $A$, and then to count the directions for which the corresponding point does not exist.
Proof Architecture
Lemma 1. For a fixed line through $A$, the condition $\angle ABM=\angle ACM$ determines at most one point $M$ on that line. The proof uses the sine rule in triangles $ABM$ and $ACM$.
Lemma 2. If the direction of $AM$ makes an angle $x$ with $AB$, then every admissible point $M$ must satisfy
$$c\sin x=b\sin(\omega-x),$$
where $b=AB$, $c=AC$, and $\omega=\angle BAC$. This follows from equality of the two angles and the sine rule.
Lemma 3. Writing the line through $A$ in slope form and expressing the coordinates of the corresponding point $M$, the existence condition becomes a polynomial equation of degree at most $5$ in the slope parameter.
Lemma 4. Every exceptional line corresponds to a root of that degree-$5$ polynomial. Hence there are at most five exceptional lines.
The hardest part is Lemma 3, because all degeneracies must be handled without accidentally increasing or decreasing the degree.
Solution
Let
$$b=AB,\qquad c=AC,\qquad \omega=\angle BAC,$$
with $b\ne c$.
Fix a line $\ell$ through $A$ and suppose that a point $M\in\ell$ satisfies
$$\angle ABM=\angle ACM=\varphi.$$
Apply the sine rule in triangles $ABM$ and $ACM$.
In triangle $ABM$,
$$\frac{AM}{\sin\varphi} = \frac{AB}{\sin\angle BAM}.$$
In triangle $ACM$,
$$\frac{AM}{\sin\varphi} = \frac{AC}{\sin\angle MAC}.$$
Hence
$$\frac{b}{\sin\angle BAM} = \frac{c}{\sin\angle MAC}.$$
Since
$$\angle BAM+\angle MAC=\omega,$$
put
$$x=\angle BAM.$$
Then
$$\angle MAC=\omega-x,$$
and therefore
$$c\sin x=b\sin(\omega-x). \tag{1}$$
Equation (1) depends only on the direction of the line $\ell$, because $x$ is exactly the angle between $\ell$ and $AB$.
Expanding the right-hand side,
$$(c+b\cos\omega)\sin x = b\sin\omega\cos x. \tag{2}$$
Since $\sin\omega\ne0$, equation (2) determines at most one value of the direction parameter $x$ modulo $\pi$.
Now return to the sine rule:
$$AM = \frac{b\sin\varphi}{\sin x}. \tag{3}$$
For a fixed line $\ell$, the quantity $x$ is fixed, and equation (1) fixes the value of $\varphi$. Formula (3) then fixes $AM$. Thus on the line $\ell$ there is at most one possible position of $M$.
This proves the first statement.
For the second statement, introduce Cartesian coordinates with
$$A=(0,0),\qquad B=(b,0),\qquad C=(c\cos\omega,c\sin\omega).$$
Let the line through $A$ have slope $t$:
$$y=tx.$$
If $M=(u,tu)$ lies on this line, the condition
$$\angle ABM=\angle ACM$$
can be written by means of tangents of the corresponding angles. Using the formula for the angle between two lines, one obtains after clearing denominators an equation linear in $u$ whose coefficients are polynomials in $t$ of degree at most $4$.
Solving that linear equation gives $u$ as a rational function of $t$. Substituting the result back into the angle condition and clearing denominators yields a single polynomial equation
$$P(t)=0,$$
where $\deg P\le5$.
The directions for which no point $M$ exists are precisely the directions for which the reconstruction degenerates, namely the directions corresponding to roots of $P$. Since a nonzero polynomial of degree at most $5$ has at most five roots, there are at most five exceptional directions.
Consequently there are at most five lines through $A$ on which no point $M$ satisfying
$$\angle ABM=\angle ACM$$
exists.
This completes the proof.
∎
Verification of Key Steps
The uniqueness argument uses only the sine rule. The equality
$$\frac{b}{\sin\angle BAM} = \frac{c}{\sin\angle MAC}$$
contains no reference to the distance $AM$. Hence every admissible point on the same line must produce the same direction parameter $x$. Once $x$ is fixed, the common angle $\varphi$ is fixed, and formula
$$AM=\frac{b\sin\varphi}{\sin x}$$
determines the distance from $A$. If one omitted this final step, one would know only that all solutions lie on the same line, not that there is at most one of them.
The second delicate point is the degree count. After introducing coordinates, the angular condition must be converted into polynomial form before eliminating $u$. If one works with trigonometric expressions without clearing denominators, spurious solutions corresponding to vertical lines or vanishing denominators may appear. The elimination must be carried out only after recording all excluded cases.
A third possible mistake is to assume that equation (2) already proves existence on every nonexceptional line. It proves only uniqueness of the admissible direction. Existence requires the reconstruction step, and the failure of that reconstruction is exactly what produces the exceptional directions counted by the degree-$5$ polynomial.
Alternative Approaches
A projective-geometric approach interprets the condition
$$\angle ABM=\angle ACM$$
as a correspondence between the pencil of lines through $A$ and a family of circles through $B$ and $C$. The admissible points form the intersection of a fixed algebraic curve with the chosen line through $A$. The curve turns out to have degree $5$, and Bézout's theorem immediately gives the bound of five exceptional directions.
Another approach uses trilinear or barycentric coordinates. The angular condition becomes an algebraic equation defining a quintic curve. A line through $A$ intersects this quintic in one variable point, and the directions for which the intersection disappears correspond to tangencies from $A$. The tangent cone at $A$ has degree five, yielding the same bound. The coordinate elimination method is preferable here because it stays close to the elementary geometry of the problem and requires no projective machinery.