Hyppocrates' Lunar
If you could not find the proof,
see
The visual proof of the theorem