2054

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