Orthocenter Reflection over a Midpoint
A proof that reflecting the orthocenter H over the midpoint of a side places the reflection on the circumcircle, forming a parallelogram.
Keywords: orthocenter, reflection, midpoint, parallelogram, circumcircle
Prerequisites: circumcenter-proof, cyclic-quadrilateral-proof, bhc-identity-proof · Difficulty: advanced
Reflecting the orthocenter over the midpoint of side gives a point that lies on the circumcircle.
Strategy: since is the midpoint of both and , the quadrilateral is a parallelogram (its diagonals bisect each other). Then and ; combined with the altitudes and , this places on the circumcircle, diametrically opposite .
Step 1: Setup
Start with triangle , its circumcircle, and the orthocenter . Mark the midpoint of side .
Step 2: Reflect over
Reflect over the midpoint to get . Since is the midpoint of , and also the midpoint of , the diagonals of quadrilateral bisect each other.
Step 3: on the Circumcircle
Claim: The reflection of over the midpoint of lies on the circumcircle of , diametrically opposite .
Proof strategy. Since is the midpoint of both and , the diagonals of bisect each other, so is a parallelogram. From the parallel sides we get and ; the converse of the cyclic quadrilateral theorem then places on the circumcircle.
Step 4: Parallelogram
Since the diagonals and bisect each other at , the quadrilateral is a parallelogram. This means:
- and
- and
Step 5: on the Circumcircle
Since is part of the altitude from (perpendicular to ), and , we get , making .
Similarly, is part of the altitude from (perpendicular to ), and , we get , making .
In quadrilateral , the opposite angles at and now sum to . By the converse of the cyclic quadrilateral theorem, is cyclic — lies on the circumcircle of , diametrically opposite .
Reflecting over the midpoint of any side gives a point on the circumcircle. The key insight is the parallelogram formed by , the two adjacent vertices, and the reflection.
This property is the foundation of the nine-point circle proof.
Alternative proof
Using the orthocenter angle identity (), the parallelogram gives a shorter route to the same conclusion:
- Opposite angles of a parallelogram are equal, so .
- By the orthocenter angle identity, , hence .
- Then , so by the converse of the cyclic quadrilateral theorem, is cyclic — lies on the circumcircle.
This is the same chain used in the side-reflection proof, with the parallelogram supplying the angle equality instead of reflection symmetry. ∎