273

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