2179

Prove the red point trisects the blue line segment.