415

Prove the blue line segment is double the red line segment.