Problem

Source:

Tags: geometry, circumcircle



It is known that for any point $P$ on the circumcircle of a triangle $ABC$, the orthogonal projections of $P$ onto $AB,BC,CA$ lie on a line, called a Simson line of $P$. Show that the Simson lines of two diametrically opposite points $P_1$ and $P_2$ are perpendicular.