Kelebek teoremi
Kelebek teoremi, Öklid geometrisinin klasik bir sonucudur ve aşağıdaki gibi ifade edilebilir: , bir çemberin başka iki ve kirişi üzerinden geçen kirişinin orta noktası olsun, buna bağlı olarak ve , kirişini ve noktalarında keser. O halde , 'nin orta noktasıdır. Teoremin biçimsel bir ispatı aşağıdaki gibidir: ve dikmeleri noktasından sırasıyla ve düz çizgileri üzerine indirilsin.