Browse · MathNet
Print45th Mongolian Mathematical Olympiad
Mongolia geometry
Problem
In the right triangle , . The midpoint of side is denoted by and the point lies on such that . Let be a different from and intersection of the circumcircles of triangles and . Prove that is the bisector of angle .
(Iran, 2008)

(Iran, 2008)
Solution
Since quadrilateral is cyclic, we have .
Also, is cyclic .
By the given condition: . Hence, . Showing that , in other words . This implies that is the bisector of angle .
Also, is cyclic .
By the given condition: . Hence, . Showing that , in other words . This implies that is the bisector of angle .
Techniques
Cyclic quadrilateralsAngle chasingTriangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle