2152

Prove the red point trisects the blue line segment.