Browse · MathNet
Print37th Iranian Mathematical Olympiad
Iran geometry
Problem
Let be the circumcenter of the triangle . Let on and be points such that and lie on the different sides of , and lie on the different sides of and lie on circumcircle of , . We have , (In that order) and . If , prove that intersect on .

Solution
First we prove that it suffices to show that is cyclic. Let be the circumcircle of . The fact implies that . Therefore, is tangent to . Similarly, implies . Therefore, is tangent to . Hence, points and are collinear and is tangent to the at .
Now we have and since and lie on , we find out that and . Let be the intersection point of lines and . We have
And since , we have and . Therefore and lie on the perpendicular bisector of .
Now let be the intersection point of lines . Since , angles and are equal and is cyclic and since lie on the circumcircle of , it follows that is cyclic. Furthermore, Therefore, is cyclic as well. We'll get Which gives us that lies on . Analogously, lies on . Therefore is cyclic and we're done. ■
Now we have and since and lie on , we find out that and . Let be the intersection point of lines and . We have
And since , we have and . Therefore and lie on the perpendicular bisector of .
Now let be the intersection point of lines . Since , angles and are equal and is cyclic and since lie on the circumcircle of , it follows that is cyclic. Furthermore, Therefore, is cyclic as well. We'll get Which gives us that lies on . Analogously, lies on . Therefore is cyclic and we're done. ■
Techniques
Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleCyclic quadrilateralsTangentsAngle chasing