1509

Prove the red line segment is the average of the blue line segments.