Two circles and intersect at the two distinct points and . A line through intersects and in and respectively, such that lies between and . A further line through intersects and in and respectively, such that lies between and . Suppose that holds. The interior of the segment meets and in and respectively. Furthermore, let and be the midpoints of the arcs and of and not containing and respectively. Prove that is a cyclic quadrilateral.
Solution
Solution:
(1) The triangles and are directly congruent: We work with directed angles modulo . We have and (for the middle equality sign the inscribed angle theorem was used in both cases). Since, moreover, holds by assumption, the claim follows by the ASA congruence theorem.
(2) lies on the same side of the line as : The overlap region of the two circles contains the segment and meets the line only at the point .
(3) The triangles and are directly congruent: As in (1), etc.
(4) There exists a rotation about that maps the points to the points : this follows from (1) and (3).
(5) lies on the same side of the line as : From (2) it follows that and lie on the same side of the line , and together with (4) it follows that and lie on the same side of the line , hence also and .
(6) is the bisector of the interior angle of the triangle at : By (1) the distances from to the extended sides are equal, and by (2) and (5) it is an internal bisector.
(7) is the bisector of the interior angle of the triangle at : This follows from the inscribed angle theorem.
(8) Analogously, is the bisector of the interior angle of the triangle at . Let be the incenter of the triangle .
(9) lies on the arc of not containing : From (2) and (5) it follows that the points on have the cyclic order resp. (equally oriented). The directed arcs and are equal by (4), so and hence .
(10) lies on the arc of not containing : analogous to (9).
(11) is an interior point of and : lies on the line , hence the claim follows from (9) resp. (10).
(12) is an interior point of : follows from (9) or (10).
(13) We have : By the power of a point (chord theorem) in , , and by the power of a point (chord theorem) in , .
(14) By the converse of the power of a point (chord theorem), it follows with (11) and (13) that is a cyclic quadrilateral.