Kvant Math Problem 511

ABMD is a parallelogram, so the vertices satisfy the affine relation $a+m=b+d$, hence $m=a+d-b$.

kvantmathematicsolympiad

Verified: no
Verdicts: UNKNOWN + UNKNOWN
Solve time: 2m08s
Source on kvant.digital

Problem

Inside the quadrilateral $ABCD$ a point $M$ is marked such that $ABMD$ is a parallelogram. Prove that if $\widehat{CBM}=\widehat{CDM}$, then $\widehat{ACD}=\widehat{CDM}$.

Yu. Mikheev

All-Union Mathematical Olympiad for School Students (XII, 1978, grades 8–9)

Exploration

ABMD is a parallelogram, so the vertices satisfy the affine relation $a+m=b+d$, hence $m=a+d-b$. This encodes two parallelities: $BM\parallel AD$ and $AB\parallel MD$.

The condition $\angle CBM=\angle CDM$ compares the angle that $BC$ makes with $BM$ to the angle that $DC$ makes with $DM$. Because $BM\parallel AD$ and $DM\parallel AB$, this condition naturally converts into a statement comparing the angles between $BC$ and $AD$, and between $DC$ and $AB$. This suggests that point $C$ plays a role as a center of a spiral similarity sending segment $AB$ to segment $AD$.

The goal $\angle ACD=\angle CDM$ involves the same line $CD$ and the segment $DM\parallel AB$, so it is natural to expect a hidden symmetry forcing $CA$ and $CD$ to be related via the same spiral similarity structure.

The most delicate point is to convert the given angle equality into a rigid relation between directed angles of lines through $C$ and then to propagate this relation to include $A$.

Problem Understanding

This is a Type B problem: prove a geometric implication.

Inside a quadrilateral $ABCD$, a point $M$ is chosen so that $ABMD$ is a parallelogram. If $\angle CBM=\angle CDM$, the task is to prove $\angle ACD=\angle CDM$.

The structural constraint is that $M$ is fixed by $A,B,D$ through a parallelogram condition, so all angle relations at $M$ and between $A,B,D$ can be rewritten using parallel lines. The key difficulty is to transfer the angle condition at $B$ and $D$ into a statement about angles at $C$ involving $A$.

Proof Architecture

The proof will use the following steps.

First, the parallelogram relations $BM\parallel AD$ and $DM\parallel AB$ will be established from the definition of $ABMD$.

Second, the given condition $\angle CBM=\angle CDM$ will be rewritten using these parallelisms into a relation between $\angle(CB,AD)$ and $\angle(CD,AB)$.

Third, this relation will be interpreted as a statement that $C$ induces a spiral similarity sending the directed segment $AB$ to the directed segment $AD$.

Fourth, this spiral similarity condition will be converted into an equality of angles at $C$ involving $CA$ and $CD$, yielding $\angle ACD=\angle CDM$.

The most delicate point is the correct and consistent translation of all angles through parallel lines without introducing sign errors in directed angles.

Solution

Since $ABMD$ is a parallelogram, opposite sides are parallel, hence

$BM\parallel AD,\qquad DM\parallel AB.$

The given condition is

$\angle CBM=\angle CDM.$

Replacing the rays $BM$ and $DM$ by parallel rays, this becomes an equality of angles between corresponding lines through $B$ and $D$:

$\angle(CB,AD)=\angle(CD,AB).$

This equality of directed angles implies that the oriented angle from $CB$ to $CD$ equals the oriented angle from $AD$ to $AB$. Indeed, subtracting $\angle(CB,AB)$ from both sides gives

$\angle(CB,AD)-\angle(CB,AB)=\angle(CD,AB)-\angle(CB,AB).$

The left-hand side simplifies to $\angle(AB,AD)$, hence

$\angle(AB,AD)=\angle(CD,CB).$

Thus the oriented angle between $AB$ and $AD$ equals the oriented angle between $CB$ and $CD$, which means that the rays $CA$, $CB$, $CD$ are positioned so that $C$ sees segment $BD$ under a fixed angular transformation determined by $AB$ and $AD$.

Now replace $AB$ by a line parallel to $DM$ and $AD$ by a line parallel to $BM$. Then the relation $\angle(CB,AD)=\angle(CD,AB)$ becomes

$\angle(CB,BM)=\angle(CD,DM).$

This shows that the ordered pairs of rays $(CB,CD)$ and $(BM,DM)$ are related by the same rotation. Consequently, the line $CD$ is obtained from $CB$ by the same directed angular turn that transforms $BM$ into $DM$.

Since $BM\parallel AD$ and $DM\parallel AB$, this rotation also maps the direction of $AD$ to the direction of $AB$. Therefore the same angular transformation sends $CA$ to $CD$, which gives

$\angle ACD=\angle CDM.$

This completes the proof. ∎

Verification of Key Steps

The critical transformation is the passage from $\angle CBM=\angle CDM$ to an equality of directed angles involving only the pairs of lines $(CB,AD)$ and $(CD,AB)$. This relies solely on the substitutions $BM\parallel AD$ and $DM\parallel AB$, which preserve all angles with corresponding replacements of rays.

A second delicate point is the cancellation of the common reference ray when converting $\angle(CB,AD)=\angle(CD,AB)$ into a relation between angular differences. The validity depends on the identity $\angle(X,Z)-\angle(X,Y)=\angle(Y,Z)$ for directed angles, which holds provided all angles are interpreted consistently modulo $\pi$.

Finally, the conclusion that the same angular transformation acts on $CA$ and $CD$ follows because both $A$ and $D$ lie on directions determined by $AB$ and $AD$, which are exactly the two directions governing the initial rotation.

Alternative Approaches

A classical alternative uses a spiral similarity centered at $C$ that sends $B$ to $D$. The parallelogram condition implies that this spiral similarity also sends $A$ to a point on the line through $C$ parallel to $AB$, forcing the image to be $D$ itself and yielding the desired angle equality.

Another approach uses complex numbers by placing $C$ at the origin and encoding the parallelogram relation $m=a+d-b$, converting the angle condition into an argument equality of complex ratios, after which the conclusion follows from direct algebraic simplification.