The red point is the midpoint of the chord with green endpoints. Prove the red point is the midpoint of the blue line segment. (Butterfly theorem)