Given a square. The red and blue triangles are equilateral. Prove the radius of the green circle is double the radius of the yellow circle.