Browse · MathNet
PrintIRL_ABooklet
Ireland geometry
Problem
Let , , be three points on a circle of centre . The perpendicular line from to intersects line at , and the perpendicular line from to intersects line at . Let be the midpoint of and the midpoint of . Prove that is perpendicular on .

Solution
The quadrilateral CNOM is cyclic because and , and is a diameter and the centre of its circumcircle. The quadrilateral MNPQ is cyclic as well since , and is a diameter and the centre of its circumcircle. The line MN is the radical axis of these two circles and so is perpendicular to the line KL which connects the centres of the circles. Because M and N are midpoints of sides of , , hence .
Techniques
Radical axis theoremCyclic quadrilateralsTriangle centers: centroid, incenter, circumcenter, Euler line, nine-point circle