Sum of areas of four green circles equal big red circle

Information: Sum of areas of four green circles equal big red circle