The green shapes are regular pentagons. Prove the radius of the red circle is double the radius of the blue circle.