Browse · MathNet
PrintXXXI Brazilian Math Olympiad
Brazil geometry
Problem
Let be a triangle and its circumcenter. Lines and meet the circumcircle of again in and , respectively, lines and meet the circumcircle of again in and , respectively, and lines and meet the circumcircle of in and , respectively. Prove that lines , and have a common point.
Solution
One can guess, by drawing a good diagram, that the common point is and that the lines , and are the perpendicular bisectors of the triangle . So it is sufficient to prove that is the perpendicular bisector of . For the sake of simplicity, let , and . Then, considering that the perpendicular bisector of also bisects the angle , it suffices to prove that the angle between either the lines , and either the lines , is or .
By the definition of and , lies on the same circle, as well as . Now, if and are opposite vertices in the quadrilateral then and, since lies on , or . Either way, we are done. If and are neighbors in the quadrilateral , then and we are done again. Finally, if and are neighbors in the quadrilateral , then and we are done. The result follows analogously to , so all cases are covered.
---
Alternative solution.
Another solution can be found by applying an inversion with respect to the circumcircle of . It can be shown that it maps to , to and to , proving directly that all lines , and pass through the center of inversion .
By the definition of and , lies on the same circle, as well as . Now, if and are opposite vertices in the quadrilateral then and, since lies on , or . Either way, we are done. If and are neighbors in the quadrilateral , then and we are done again. Finally, if and are neighbors in the quadrilateral , then and we are done. The result follows analogously to , so all cases are covered.
---
Alternative solution.
Another solution can be found by applying an inversion with respect to the circumcircle of . It can be shown that it maps to , to and to , proving directly that all lines , and pass through the center of inversion .
Techniques
Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleCyclic quadrilateralsInversionAngle chasing