Search

1522

Prove the ratio of the radius of the red circle to the radius of the blue circles is $7 + 4\sqrt{2}$.