Butterfly theorem
The butterfly theorem is a classical result in Euclidean geometry, which can be stated as follows:[1]: p. 78
For the "butterfly lemma" of group theory, see Zassenhaus lemma.History[edit]
Proving the butterfly theorem was posed as a problem by William Wallace in The Gentleman's Mathematical Companion (1803). Three solutions were published in 1804, and in 1805 Sir William Herschel posed the question again in a letter to Wallace. Rev. Thomas Scurr asked the same question again in 1814 in the Gentleman's Diary or Mathematical Repository.[4]