1588

Prove the radius of the red circle is double the radius of the blue circle.