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:

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:

  1. Opposite angles of a parallelogram are equal, so .
  2. By the orthocenter angle identity, , hence .
  3. 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. ∎