Teorema della farfalla (butterfly theorem)
Il teorema della farfalla fu presentato, per la prima volta, da WG Horner in forma di problema nel 1815. Il Teorema prende il nome dalla figura cui dà origine .
"Facendo partire l'animazione la farfalla muove le ali"
La dimostrazione presentata è stata proposta da Coxeter e Greitzer nel 1967.
Nella figura M è il punto medio della corda PQ. AB e CD sono le altre due corde passanti per
M, che intersecano PQ rispettivamente in X e in Y.
Si deve dimostrare che M è il punto medio di XY.
Sono state tracciate le perpendicolari XX1 e XX2,condotte da X, rispettivamente ad AM e a DM e le perpendicolari YY1 eYY2, condotte da Y, rispettivamente ad BM e a CM.
La dimostrazione discende dal fatto che le coppie di triangoli che si vengono a formare MXX1 e MYY1, MXX2 e MYY2, AXX1 e CYY2, sono simili.