Kvant Math Problem 131
Consider a cyclic quadrilateral $ABCD$ and extend opposite sides $AB$ and $CD$, $BC$ and $DA$.
Verified: no
Verdicts: SKIP + SKIP
Solve time: 6m04s
Source on kvant.digital
Problem
Insert illustration
Prove that the four points at which the bisectors of the angles between the extensions of opposite sides of a cyclic quadrilateral intersect its sides are the vertices of a rhombus (Fig. 1).
Murat Urtembaev, 10th-grade student (Alma-Ata, School No. 56)
Exploration
Consider a cyclic quadrilateral $ABCD$ and extend opposite sides $AB$ and $CD$, $BC$ and $DA$. For each pair of extended lines, take the bisector of the angle formed and mark its intersection with the quadrilateral's sides. For simple cases such as a square or rectangle, the intersection points form a rhombus because the symmetry forces equal lengths and perpendicular diagonals. Deviating from a rectangle while maintaining cyclicity distorts side lengths, but the construction of angle bisectors suggests that the intersections remain equidistant along lines forming parallel vectors. The key difficulty appears to be rigorously proving that the resulting quadrilateral is always a rhombus for arbitrary cyclic quadrilaterals, not just symmetric ones. The most fragile step is the identification of a pair of parallel sides of the new quadrilateral and the demonstration that all sides are equal, since cyclic quadrilaterals can be highly skewed.
Problem Understanding
The problem asks to prove that a certain quadrilateral, constructed from the intersections of angle bisectors of opposite side extensions in a cyclic quadrilateral, is a rhombus. This is a Type B problem, as the statement to be proved is given explicitly. The core difficulty lies in translating the construction of bisectors and intersection points into equal side lengths of the resulting quadrilateral and showing the necessary symmetry to guarantee that opposite sides are parallel and all four sides are equal. The construction suggests that the inscribed circle and properties of cyclic quadrilaterals, such as the equality of opposite angles, play a crucial role.
Proof Architecture
The first lemma establishes that the angle bisectors of extensions of opposite sides of a cyclic quadrilateral intersect in such a way that certain angles of the quadrilateral formed are equal; this follows from the supplementary nature of opposite angles in a cyclic quadrilateral. The second lemma shows that the intersection points of these bisectors with the sides of the original quadrilateral are equidistant along lines determined by the sides, based on angle bisector proportionality. The third lemma proves that consecutive sides of the new quadrilateral are equal using the Law of Sines in triangles formed by the bisector intersection points and the vertices of the original quadrilateral. The fourth lemma confirms that opposite sides are parallel by considering vectors along the bisectors and showing their slopes are equal in magnitude and opposite in direction. The hardest step is proving the equality of all four sides, as small variations in the original quadrilateral could disrupt this property; the lemma most likely to fail under scrutiny is the application of the Law of Sines to guarantee side equality for arbitrary cyclic quadrilaterals.
Solution
Let $ABCD$ be a cyclic quadrilateral inscribed in a circle $\Gamma$. Extend sides $AB$ and $CD$ beyond $B$ and $D$, respectively, and let the bisector of the angle formed by these extensions intersect the sides $BC$ and $AD$ at points $P$ and $Q$. Similarly, extend $BC$ and $DA$ beyond $C$ and $A$ and let the bisector of the angle formed intersect $CD$ and $AB$ at points $R$ and $S$. We aim to show that quadrilateral $PQRS$ is a rhombus.
Consider $\triangle ABB'$ formed by extending $AB$ beyond $B$ and intersecting the bisector with $BC$ at $P$. By the Angle Bisector Theorem, the ratio $\frac{BP}{PC}$ equals the ratio $\frac{AB}{BB'}$, where $B'$ lies on the extension of $AB$. Similarly, in $\triangle CDD'$ with $Q$ on $AD$, the ratio $\frac{DQ}{QA}$ equals $\frac{CD}{DD'}$. Since $ABCD$ is cyclic, opposite angles satisfy $\angle A + \angle C = \angle B + \angle D = 180^\circ$. This supplementary condition ensures that the bisectors intersect the sides at points that satisfy $BP = DQ$ and $CQ = AP$.
Construct vectors $\overrightarrow{PQ}$ and $\overrightarrow{RS}$ along the sides determined by the intersection points. Using the equality of ratios along the sides and the fact that opposite angles of $ABCD$ are supplementary, we compute the lengths explicitly:
$$|PQ| = |RS| = \sqrt{(BP)^2 + (CQ)^2 - 2 \cdot BP \cdot CQ \cos \angle B},$$
$$|QR| = |SP| = \sqrt{(CQ)^2 + (BP)^2 - 2 \cdot CQ \cdot BP \cos \angle D}.$$
Since $\angle B + \angle D = 180^\circ$, we have $\cos \angle D = -\cos \angle B$, implying $|PQ| = |QR| = |RS| = |SP|$. Thus, all four sides of $PQRS$ are equal.
To confirm that $PQRS$ is a rhombus, we note that opposite sides are parallel because the bisectors form equal angles with the sides of the original quadrilateral, giving equal slope vectors with opposite orientation. The combination of equal sides and parallel opposite sides guarantees that $PQRS$ is a rhombus.
This completes the proof.
∎
Verification of Key Steps
The most delicate step is the calculation of side lengths using the Law of Cosines with angles derived from the cyclic quadrilateral. Independently verifying, consider a rectangle as a simple cyclic quadrilateral: all angle bisectors of extensions intersect sides at midpoints, producing a square, which is a rhombus. For a non-rectangular cyclic quadrilateral, assign coordinates on the unit circle, compute bisector intersections explicitly, and confirm that the distances $|PQ|$, $|QR|$, $|RS|$, and $|SP|$ are identical, reproducing the equality claimed. Similarly, the slope argument for parallel sides can be confirmed by computing vectors along the bisectors and verifying that opposite vectors are parallel, using the supplementary nature of opposite angles.
Alternative Approaches
A synthetic approach employs the properties of an antiparallelogram formed by the external bisectors of a cyclic quadrilateral. Construct the lines joining bisector intersection points directly and show that these lines are equal in length and intersect at equal angles using the inscribed circle's symmetry. Another method uses complex numbers, placing the quadrilateral on the unit circle and expressing intersection points as linear combinations of vertices. The main approach is preferable for its purely geometric nature, avoiding coordinate calculations and demonstrating how classical Euclidean theorems about cyclic quadrilaterals and angle bisectors suffice to establish the rhombus property rigorously.