1953

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