Les raisonnements d'Hippocrate de Chios sur les lunules sont les premières démonstrations rigoureuses qui nous soient parvenues. Ces résultats dépassent de beaucoup ce qui en est habituellement retenu. La quadrature des lunules a suscité des espoirs pour la quadrature du cercle, qui ont duré longtemps pour être finalement déçus. Les deux autres problèmes grecs, la duplication du cube et la trisection de l'angle, avaient aussi reçu très tôt des solutions mécaniques. Voir aussi Démonstrations du théorème de Pythagore Solution des trois problèmes grecs
public : tous