The green shapes are squares. Prove the radius of the red circle is the geometric mean of the radii of the blue circles.