Browse · MathNet
PrintAPMO
geometry
Problem
Let be a triangle, and let be a point on side . A line through intersects side at and ray at . The circumcircle of triangle intersects the circumcircle of triangle again at point . The lines and intersect again at and , respectively. Prove that .
Solution
Suppose intersects at points and , where lies between and . We will show that and are the reflections of and with respect to the perpendicular bisector of . From this, it follows that is an isosceles trapezoid and hence .
First, note that so , and hence is the reflection of with respect to the perpendicular bisector of .
Now, suppose is the reflection of with respect to the perpendicular bisector of , and let be the intersection of and . It suffices to show that are concyclic. Note that So are concyclic. Next, and due to the previous concyclicity we are done.
Alternative solution 1: Using cyclic quadrilaterals and in turn, we have . So is cyclic. Using cyclic quadrilaterals and in turn, we have (or if lies between and ). So because they subtend equal (or supplementary) angles in .
Alternative solution 2: Using cyclic quadrilaterals and in turn, we have . So is cyclic. Using cyclic quadrilaterals and in turn, we have . So . Using cyclic quadrilaterals and in turn, we have . So . Hence which implies that is an isosceles trapezium with .
First, note that so , and hence is the reflection of with respect to the perpendicular bisector of .
Now, suppose is the reflection of with respect to the perpendicular bisector of , and let be the intersection of and . It suffices to show that are concyclic. Note that So are concyclic. Next, and due to the previous concyclicity we are done.
Alternative solution 1: Using cyclic quadrilaterals and in turn, we have . So is cyclic. Using cyclic quadrilaterals and in turn, we have (or if lies between and ). So because they subtend equal (or supplementary) angles in .
Alternative solution 2: Using cyclic quadrilaterals and in turn, we have . So is cyclic. Using cyclic quadrilaterals and in turn, we have . So . Using cyclic quadrilaterals and in turn, we have . So . Hence which implies that is an isosceles trapezium with .
Techniques
Cyclic quadrilateralsAngle chasingConstructions and loci