The Lunes of Hippocrates

A result from antiquity which arose while the ancient mathematicians were trying to “square the circle”.

A pleasant surprise (via a student) when I saw it being used in IMO 2014’s Malaysian Team Selection Test Question at the Junior Level.

(Both the question & its solution are in the image below)