763

The gray shape is a square. Prove the red line segment is double the blue line segment.