211

Prove the red orthocenter is the midpoint of the blue line segment.