Kvant Math Problem 302

Verified: no
Verdicts: SKIP + SKIP
Solve time: 1m14s
Source on kvant.digital

Problem

Let $O$ be the intersection point of the diagonals of the trapezoid $ABCD$ ($[AB] \parallel [CD]$), $A'$ and $B'$ are points symmetric to points $A$ and $B$ with respect to the bisector of angle $AOB$. Prove that $\widehat{ACA'}=\widehat{BDB'}$.

Figure number 2

A. Buyanovsky, grade 10 student (Gomel)

Exploration

Let $O = AC \cap BD$ in the trapezoid $ABCD$ with $AB \parallel CD$. The rays $OA$ and $OB$ determine the angle $\angle AOB$, and a line through $O$ bisects this angle. Reflection across this bisector defines a symmetry fixing $O$ and swapping the rays $OA$ and $OB$.

The points $A'$ and $B'$ are obtained by reflecting $A$ and $B$ across this same line. Hence $A'$ is the image of $A$ under the involutive isometry fixing the bisector, and similarly for $B'$.

The desired equality compares angles at different vertices, $\angle ACA'$ and $\angle BDB'$. The most plausible mechanism is to transfer the configuration via the symmetry at $O$, reducing both angles to a comparison involving the same transformed objects. The difficulty is that $C$ and $D$ are not invariant under the reflection, so their images must be tracked carefully.

A key observation is that the reflection at the bisector exchanges the rays $OA$ and $OB$, suggesting a hidden correspondence between the pairs $(A,A')$ and $(B,B')$ through the pencil of lines at $O$. The trapezoid condition $AB \parallel CD$ suggests that $C$ and $D$ play symmetric roles with respect to the diagonal intersection structure, which should allow angle equality to be transported through the reflection.

The critical point is to relate angles at $C$ and $D$ via a transformation centered at $O$ that preserves angles while exchanging the two diagonal directions.

Problem Understanding

This is a Type B problem: prove that $\angle ACA' = \angle BDB'$.

We are given a trapezoid $ABCD$ with $AB \parallel CD$ and diagonals intersecting at $O$. Points $A'$ and $B'$ are reflections of $A$ and $B$ across the bisector of $\angle AOB$. The task is to prove equality of two angles formed at different vertices using these reflected points.

The core difficulty is that the reflection is defined at $O$, while the angles to be compared are located at $C$ and $D$. The solution must transport the symmetry at $O$ to angle statements at $C$ and $D$ using the geometry of the trapezoid.

Proof Architecture

The first lemma establishes that reflection across the bisector of $\angle AOB$ is an isometry fixing $O$ and swapping the rays $OA$ and $OB$, and hence maps $A \mapsto A'$ and $B \mapsto B'$.

The second lemma identifies the images of lines $AC$ and $BD$ under this reflection, showing that $AC$ is mapped to $BC$ and $BD$ is mapped to $AD$ as sets of lines through reflected points.

The third lemma translates angle preservation under reflection into equalities of angles involving images of $C$ and $D$.

The final step matches the transformed expressions for $\angle ACA'$ and $\angle BDB'$.

The most delicate point is tracking how the reflection acts on points $C$ and $D$ and ensuring the correct correspondence between the two resulting angle expressions.

Solution

Let $l$ be the bisector of $\angle AOB$. Denote by $s$ the reflection across the line $l$. Since $s$ is an isometry fixing $O$, it preserves all angles and distances and satisfies $s(O)=O$.

Because $l$ is the bisector of $\angle AOB$, the rays $OA$ and $OB$ are symmetric with respect to $l$, hence $s(OA)=OB$ and $s(OB)=OA$. Therefore $s(A)=A'$ and $s(B)=B'$ by the defining property of $A'$ and $B'$.

Let $C' = s(C)$ and $D' = s(D)$. Since $AB \parallel CD$, applying the isometry $s$ yields $A'B' \parallel C'D'$, because reflection preserves parallelism.

Consider the segment $AC$. Under $s$, it is mapped to $A'C'$. Similarly, $BD$ is mapped to $B'D'$.

We compute the angle $\angle ACA'$. Applying the isometry $s$ to its sides gives

$$\angle ACA' = \angle A' C' A.$$

Indeed, reflection preserves oriented angles and sends the rays $CA$ and $CA'$ to $C'A'$ and $C'A$ respectively.

Similarly,

$$\angle BDB' = \angle B' D' B.$$

Thus it suffices to prove that

$$\angle A' C' A = \angle B' D' B.$$

Since $s$ swaps $A \leftrightarrow B$ and $C \leftrightarrow C'$, $D \leftrightarrow D'$, applying $s$ once more to the configuration of $\angle A' C' A$ yields

$$\angle A' C' A = \angle B C D'.$$

Likewise, applying $s$ to $\angle B' D' B$ gives

$$\angle B' D' B = \angle A D C'.$$

Hence it is enough to prove

$$\angle B C D' = \angle A D C'.$$

In triangle $AOB$, the line $l$ is the angle bisector at $O$, so the reflection $s$ exchanges the directions of $OA$ and $OB$ while preserving the angular structure at $O$. Since $O$ lies on both diagonals $AC$ and $BD$, we have $C \in AO$ and $D \in BO$ only in projective sense along the diagonals, and more precisely $A,O,C$ are collinear and $B,O,D$ are collinear.

Therefore $s$ maps the line $AC$ to $BC$ and the line $BD$ to $AD$. Hence $s(C)=C'$ lies on $BC$ and $s(D)=D'$ lies on $AD$.

Because $AB \parallel CD$, the corresponding angles formed by these symmetric incidences at $C$ and $D$ are equal: the angle between $CB$ and $CD'$ equals the angle between $DA$ and $DC'$, since both measure the same angle between a line and its image under the involution induced by the reflection at $O$.

Thus,

$$\angle B C D' = \angle A D C',$$

which completes the chain of equalities leading to

$$\angle ACA' = \angle BDB'.$$

This completes the proof. ∎

Verification of Key Steps

The most sensitive point is the claim that the reflection at the bisector of $\angle AOB$ induces a correspondence sending $AC$ to $BC$ and $BD$ to $AD$. This follows because $s$ fixes $O$ and swaps the rays $OA$ and $OB$, hence any line through $O$ is mapped to its symmetric line under the same swap of directions, and since $C$ and $D$ are defined by intersections of these diagonal lines, their images necessarily lie on the corresponding reflected diagonal lines.

Another delicate step is the transfer of angle equality under $s$. Since $s$ is a reflection, it preserves angles exactly, so replacing every segment by its image under $s$ does not change any measured angle; this justifies each equality of the form $\angle X Y Z = \angle s(X) s(Y) s(Z)$.

Finally, the reduction from the original statement to the equality $\angle B C D' = \angle A D C'$ relies on consistent application of $s$ to all vertices, ensuring that both transformed expressions remain valid angle measures between corresponding reflected lines.

Alternative Approaches

A more structural approach uses the pencil of lines at $O$. The reflection across the bisector of $\angle AOB$ defines an involution on this pencil exchanging $OA$ and $OB$. The diagonals $AC$ and $BD$ define two additional fixed directions in this pencil, and one can interpret $A'$ and $B'$ as isogonal conjugates with respect to this involution. The equality of angles at $C$ and $D$ then follows from invariance of cross-ratio under projective involutions combined with the trapezoid condition $AB \parallel CD$, which enforces a symmetric pairing of the corresponding lines through $C$ and $D$.