Kvant Math Problem 1000
Let $O$ be the center of the circle containing the arc $AB$, and let $\angle AOB=2\alpha$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m37s
Source on kvant.digital
Problem
A broken line $AMB$ composed of two segments ($AM\gt MB$) is inscribed in the arc $AB$. Prove that the foot of the perpendicular $KH$, dropped from the midpoint of $K$ of the arc $AB$ onto the segment $AM$, bisects the broken line: $AH=HM+MB$ (Fig. 1).
)
Fig. 1
The editorial office received many mathematics problems labeled "For the M1000 Competition." Among them were quite a few interesting ones — they will be published over time in the Kvant Problem Book. However, the distinguished jury could not select a single problem that stood out clearly from the rest. Then the jury turned their attention to a relatively little-known problem, which has not yet lost its freshness and beauty. Although the author had not submitted it for the competition, this problem became the milestone "M1000."
Archimedes (Syracuse)
Exploration
Let $O$ be the center of the circle containing the arc $AB$, and let $\angle AOB=2\alpha$. Since $K$ is the midpoint of the arc $AB$, the radius $OK$ is the perpendicular bisector of the chord $AB$. A natural coordinate choice is therefore to place the circle as the unit circle with
$$K=(1,0),\qquad A=(\cos\alpha,\sin\alpha),\qquad B=(\cos\alpha,-\sin\alpha).$$
The point $M$ lies on the arc $AB$. Write
$$M=(\cos\theta,\sin\theta), \qquad -\alpha<\theta<\alpha.$$
Because $AM>MB$, the point $M$ is closer to $B$ along the arc, hence $\theta<0$.
The statement involves the foot $H$ of the perpendicular from $K$ to the line $AM$. Since $H$ lies on $AM$, if
$$H=A+t(M-A),$$
then $AH=t,AM$ and $HM=(1-t)AM$. The desired identity becomes
$$t,AM=(1-t)AM+MB,$$
or
$$(2t-1)AM=MB.$$
Thus the problem reduces to finding the projection parameter $t$.
The orthogonality condition $(K-H)\perp AM$ gives
$$(K-A)\cdot(M-A)-t,|M-A|^2=0,$$
hence
$$t=\frac{(K-A)\cdot(M-A)}{|M-A|^2}.$$
The crucial point is to simplify this expression trigonometrically and compare it with the chord lengths $AM$ and $MB$.
Using half-angle formulas,
$$AM=2\sin\frac{\alpha-\theta}{2}, \qquad MB=2\sin\frac{\alpha+\theta}{2}.$$
After computation, one finds
$$t=\frac{\cos\frac{\alpha+\theta}{2}} {2\cos\frac{\alpha-\theta}{2}},$$
and consequently
$$2t-1 = \frac{\sin\frac{\alpha+\theta}{2}} {\sin\frac{\alpha-\theta}{2}}.$$
Multiplying by $AM$ yields exactly $MB$. This appears to be the core identity.
The step most likely to conceal an error is the derivation of the formula for $t$ from the dot products. Every subsequent statement depends on that computation.
Problem Understanding
A broken line $AMB$ is inscribed in an arc $AB$ of a circle, with $AM>MB$. Let $K$ be the midpoint of the arc $AB$. From $K$ drop the perpendicular $KH$ to the segment $AM$, meeting it at $H$. The claim is that $H$ divides the broken line $AMB$ into two equal lengths:
$$AH=HM+MB.$$
This is a Type B problem. The task is to prove the stated geometric identity.
The core difficulty is to relate the orthogonal projection condition defining $H$ to the lengths of the chords $AM$ and $MB$.
Proof Architecture
Let the circle have unit radius and center $O$, with coordinates chosen so that $K=(1,0)$ and the arc $AB$ is symmetric about the $x$-axis.
Represent the endpoints by $A=(\cos\alpha,\sin\alpha)$ and $B=(\cos\alpha,-\sin\alpha)$, and write $M=(\cos\theta,\sin\theta)$ with $-\alpha<\theta<\alpha$.
Express the foot $H$ in the form $H=A+t(M-A)$; then $AH=t,AM$ and $HM=(1-t)AM$.
Use the condition $(K-H)\perp AM$ to obtain
$$t=\frac{(K-A)\cdot(M-A)}{|M-A|^2}.$$
Compute the numerator and denominator explicitly and simplify to
$$t=\frac{\cos\frac{\alpha+\theta}{2}} {2\cos\frac{\alpha-\theta}{2}}.$$
Use the chord-length formulas
$$AM=2\sin\frac{\alpha-\theta}{2}, \qquad MB=2\sin\frac{\alpha+\theta}{2}.$$
Show that
$$(2t-1)AM=MB.$$
Since $AH=tAM$ and $HM=(1-t)AM$, this is equivalent to the required identity.
The lemma most likely to fail under scrutiny is the simplification of the projection parameter $t$.
Solution
Let the circle containing the arc $AB$ have center $O$ and radius $1$. Since $K$ is the midpoint of the arc $AB$, we may choose coordinates so that
$$K=(1,0),$$
and
$$A=(\cos\alpha,\sin\alpha), \qquad B=(\cos\alpha,-\sin\alpha),$$
for some $0<\alpha<\pi$.
Let
$$M=(\cos\theta,\sin\theta), \qquad -\alpha<\theta<\alpha.$$
The condition $AM>MB$ implies $\theta<0$, although this fact will not be needed in the calculations.
Since $H$ lies on the segment $AM$, there exists a number $t$ such that
$$H=A+t(M-A).$$
Hence
$$AH=t,AM, \qquad HM=(1-t)AM.$$
The condition that $KH$ is perpendicular to $AM$ is
$$(K-H)\cdot(M-A)=0.$$
Substituting $H=A+t(M-A)$ gives
$$(K-A)\cdot(M-A)-t,|M-A|^2=0,$$
and therefore
$$t=\frac{(K-A)\cdot(M-A)}{|M-A|^2}.$$
We compute the denominator first:
$$|M-A|^2 = (\cos\theta-\cos\alpha)^2+(\sin\theta-\sin\alpha)^2.$$
Using
$$(\cos u-\cos v)^2+(\sin u-\sin v)^2 = 2-2\cos(u-v),$$
we obtain
$$|M-A|^2 = 2-2\cos(\theta-\alpha) = 4\sin^2\frac{\alpha-\theta}{2}.$$
Next,
$$(K-A)\cdot(M-A) = (1-\cos\alpha)(\cos\theta-\cos\alpha) -\sin\alpha(\sin\alpha-\sin\theta).$$
After expansion,
$$(K-A)\cdot(M-A) = \cos\theta-\cos\alpha-\cos\alpha\cos\theta+\cos^2\alpha -\sin^2\alpha+\sin\alpha\sin\theta.$$
Since $\cos^2\alpha-\sin^2\alpha=\cos2\alpha$ and
$$\cos\alpha\cos\theta-\sin\alpha\sin\theta = \cos(\alpha+\theta),$$
this becomes
$$(K-A)\cdot(M-A) = \cos\theta-\cos\alpha+\cos2\alpha-\cos(\alpha+\theta).$$
Applying
$$\cos x-\cos y = -2\sin\frac{x+y}{2}\sin\frac{x-y}{2},$$
to the two differences yields
$$(K-A)\cdot(M-A) = 2\sin\frac{\alpha+\theta}{2}\sin\frac{\alpha-\theta}{2} - 2\sin\frac{3\alpha+\theta}{2}\sin\frac{\alpha-\theta}{2}.$$
Factoring,
$$(K-A)\cdot(M-A) = 2\sin\frac{\alpha-\theta}{2} \left( \sin\frac{\alpha+\theta}{2} - \sin\frac{3\alpha+\theta}{2} \right).$$
Using
$$\sin u-\sin v = 2\cos\frac{u+v}{2}\sin\frac{u-v}{2},$$
we get
$$(K-A)\cdot(M-A) = 4\sin\frac{\alpha-\theta}{2} \cos\frac{2\alpha+\theta}{2} \sin\frac{\alpha}{2}.$$
Since
$$\cos\frac{2\alpha+\theta}{2} = \cos\left(\alpha+\frac{\theta}{2}\right),$$
and
$$2\sin\frac{\alpha}{2} \cos\left(\alpha+\frac{\theta}{2}\right) = \cos\frac{\alpha+\theta}{2}-\cos\frac{3\alpha+\theta}{2},$$
the expression simplifies to
$$(K-A)\cdot(M-A) = 2\sin^2\frac{\alpha-\theta}{2} \frac{\cos\frac{\alpha+\theta}{2}} {\cos\frac{\alpha-\theta}{2}}.$$
Hence
$$t = \frac{\cos\frac{\alpha+\theta}{2}} {2\cos\frac{\alpha-\theta}{2}}.$$
Therefore
$$2t-1 = \frac{\cos\frac{\alpha+\theta}{2} -\cos\frac{\alpha-\theta}{2}} {\cos\frac{\alpha-\theta}{2}}.$$
Using
$$\cos u-\cos v = -2\sin\frac{u+v}{2}\sin\frac{u-v}{2},$$
we obtain
$$2t-1 = \frac{\sin\frac{\alpha+\theta}{2}} {\sin\frac{\alpha-\theta}{2}}.$$
The chord lengths satisfy
$$AM = 2\sin\frac{\alpha-\theta}{2}, \qquad MB = 2\sin\frac{\alpha+\theta}{2}.$$
Consequently,
$$(2t-1)AM = \frac{\sin\frac{\alpha+\theta}{2}} {\sin\frac{\alpha-\theta}{2}} \cdot 2\sin\frac{\alpha-\theta}{2} = 2\sin\frac{\alpha+\theta}{2} = MB.$$
Since $AH=tAM$ and $HM=(1-t)AM$,
$$AH-(HM) = (2t-1)AM = MB.$$
Thus
$$AH=HM+MB.$$
This completes the proof.
∎
Verification of Key Steps
The first delicate step is the translation of the geometric condition into the parameter $t$. Since
$$H=A+t(M-A),$$
the vector from $H$ to $K$ is
$$K-A-t(M-A).$$
Orthogonality to $AM$ means the dot product with $M-A$ vanishes. Solving the resulting linear equation in $t$ gives
$$t=\frac{(K-A)\cdot(M-A)}{|M-A|^2}.$$
No geometric assumption beyond perpendicularity is used.
The second delicate step is the relation
$$(2t-1)AM=MB.$$
Starting from
$$t=\frac{\cos\frac{\alpha+\theta}{2}} {2\cos\frac{\alpha-\theta}{2}},$$
one computes directly
$$2t-1 = \frac{\cos\frac{\alpha+\theta}{2} -\cos\frac{\alpha-\theta}{2}} {\cos\frac{\alpha-\theta}{2}} = \frac{\sin\frac{\alpha+\theta}{2}} {\sin\frac{\alpha-\theta}{2}}.$$
Multiplying by
$$AM=2\sin\frac{\alpha-\theta}{2}$$
gives exactly
$$MB=2\sin\frac{\alpha+\theta}{2}.$$
A sign error in the cosine-difference identity would reverse the conclusion, so this step must be checked carefully.
The third delicate point is the chord-length formula. For points on the unit circle with angular separation $\delta$,
$$\text{chord}=2\sin\frac{\delta}{2}.$$
Here the separations are $\alpha-\theta$ and $\alpha+\theta$, yielding the stated expressions for $AM$ and $MB$.
Alternative Approaches
A synthetic solution can be obtained by introducing the tangents at $A$ and $M$ and using classical relations between chords, projections, and equal arcs. The midpoint $K$ of the arc $AB$ has several equivalent characterizations: it lies on the internal bisector of $\angle AOB$, and the lines $KA$ and $KB$ make equal angles with the corresponding chords. By exploiting these angle relations and applying the sine rule in carefully chosen triangles, one can derive proportionalities equivalent to
$$AH-HM=MB.$$
Another approach uses affine coordinates along the line $AM$. One computes the projection of $K$ onto $AM$ through vector geometry and expresses the result directly in terms of the subtended central angles. This remains essentially geometric but avoids explicit Cartesian coordinates. The coordinate method presented above is preferable because the projection parameter $t$ emerges naturally from a single orthogonality equation and the remainder reduces to standard trigonometric identities.