Browse · MathNet
PrintNMO Selection Tests for the Balkan and International Mathematical Olympiads
Romania geometry
Problem
Two circles in the plane, and , meet at points and . Let be a point on , and let be a point on . The lines and meet again at points and , respectively, and the lines and meet again at points and , respectively. Assume the order is circular around , and the segments and are congruent. Prove that the points and lie on
a circle whose center does not depend on the position of the points A and D on the respective circles, subject to the assumptions above.
a circle whose center does not depend on the position of the points A and D on the respective circles, subject to the assumptions above.
Solution
Since , the triangles and are congruent, so and . Let and be the antipodes of in and , respectively, and notice that they are the midpoints of the arcs and , respectively. Notice further that the angles and have equal measures, to deduce that the four arcs and all have the same measure. The arcs and have equal measures as well. Consequently, the inscribed angles and subtend arcs of equal measures on the respective circles, so they are congruent; that is, the points are co-cyclic.
We now show that the center of the circle through is the midpoint of the segment . To this end, we show that lies on the perpendicular bisector of any segment through , where is on and is on ; in particular, lies on the perpendicular bisectors of both segments and , whence the conclusion.
Let and be the centers of the circles and , respectively, and notice that is a parallelogram to deduce that the segments and cross each other at their common midpoint . Let further and be the midpoints of the segments and , respectively, and notice that the segments and have the same midpoint , to infer that is parallel to . Since the latter is perpendicular to , it follows that is perpendicular to , so is indeed the perpendicular bisector of the segment .
We now show that the center of the circle through is the midpoint of the segment . To this end, we show that lies on the perpendicular bisector of any segment through , where is on and is on ; in particular, lies on the perpendicular bisectors of both segments and , whence the conclusion.
Let and be the centers of the circles and , respectively, and notice that is a parallelogram to deduce that the segments and cross each other at their common midpoint . Let further and be the midpoints of the segments and , respectively, and notice that the segments and have the same midpoint , to infer that is parallel to . Since the latter is perpendicular to , it follows that is perpendicular to , so is indeed the perpendicular bisector of the segment .
Techniques
Cyclic quadrilateralsAngle chasingConstructions and loci