Given triangle with orthocenter , and circumcircle . Let be the reflection of in , and let be the reflection of in . The midpoint of segment is denoted as .
Prove that the tangent to at is perpendicular to .
!
Given triangle with orthocenter , and circumcircle . Let be the reflection of in , and let be the reflection of in . The midpoint of segment is denoted as .
Prove that the tangent to at is perpendicular to .
!
Let be the reflection of in the midpoint of . Since is the reflection of in the midpoint of , we note that is parallel to (since these line segments are point reflections of each other). Furthermore, is one of the so-called orthocentric points: lies on and is the antipode of . Indeed, the first follows from the cyclic quadrilateral theorem, for which we calculate that
Similarly, the reflection of in the line lies on . Since and are both perpendicular to , and are collinear and since is parallel to we find that . By Thales, this means that is a diameter of and thus perpendicular to the tangent at . Therefore, is also perpendicular to this.