In Euclidean geometry, the butterfly theorem is a classical result which can be stated as follows:[1]: p. 78
Let M be the midpoint of a chord PQ of a circle, through which two other chords AB and CD are drawn; AD and BC intersect chord PQ at X and Y correspondingly. Then M is the midpoint of XY.
Proof
A formal proof of the theorem is as follows: Let the perpendiculars XX′ and XX″ be dropped from the point X on the straight lines AM and DM respectively. Similarly, let YY′ and YY″ be dropped from the point Y perpendicular to the straight lines BM and CM respectively.
![{\displaystyle {\begin{aligned}\triangle MXX'&\sim \triangle MYY',\\[2pt]\therefore {{\overline {MX}} \over {\overline {MY}}}&={{\overline {XX'}} \over {\overline {YY'}}}.\\[8pt]\triangle MXX''&\sim \triangle MYY'',\\[2pt]\therefore {{\overline {MX}} \over {\overline {MY}}}&={{\overline {XX''}} \over {\overline {YY''}}}.\\[8pt]\triangle AXX'&\sim \triangle CYY'',\\[2pt]\therefore {{\overline {XX'}} \over {\overline {YY''}}}&={{\overline {AX}} \over {\overline {CY}}}.\\[8pt]\triangle DXX''&\sim \triangle BYY',\\[2pt]\therefore {{\overline {XX''}} \over {\overline {YY'}}}&={{\overline {DX}} \over {\overline {BY}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83ab050008782975869877ba7026771b14910f66)
From the preceding equations and the intersecting chords theorem, it can be seen that
![{\displaystyle {\begin{aligned}\left({{\overline {MX}} \over {\overline {MY}}}\right)^{2}&={{\overline {XX'}} \over {\overline {YY'}}}\cdot {{\overline {XX''}} \over {\overline {YY''}}},\\[2pt]&={{\overline {AX}}\cdot {\overline {DX}} \over {\overline {CY}}\cdot {\overline {BY}}},\\[2pt]&={{\overline {PX}}\cdot {\overline {QX}} \over {\overline {PY}}\cdot {\overline {QY}}},\\[2pt]&={{\bigl (}{\overline {PM}}-{\overline {XM}}{\bigr )}\cdot {\bigl (}{\overline {MQ}}+{\overline {XM}}{\bigr )} \over {\bigl (}{\overline {PM}}+{\overline {MY}}{\bigr )}\cdot {\bigl (}{\overline {QM}}-{\overline {MY}}{\bigr )}},\\[2pt]&={{\overline {PM}}^{2}-{\overline {MX}}^{2} \over {\overline {PM}}^{2}-{\overline {MY}}^{2}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e0adf58086bc7613a90e165eab9939ac81f9708)
since PM = MQ. Thus,
Cross-multiplying the latter equation and cancelling out common terms,
![{\displaystyle {\begin{aligned}{\overline {MX}}^{2}\cdot {\overline {PM}}^{2}-{\overline {MX}}^{2}\cdot {\overline {MY}}^{2}&={\overline {MY}}^{2}\cdot {\overline {PM}}^{2}-{\overline {MX}}^{2}\cdot {\overline {MY}}^{2},\\[4pt]\Rightarrow \quad {\overline {MX}}^{2}\cdot {\overline {PM}}^{2}&={\overline {MY}}^{2}\cdot {\overline {PM}}^{2},\\[4pt]\Rightarrow \quad {\overline {MX}}^{2}&={\overline {MY}}^{2},\\[4pt]\Rightarrow \quad {\overline {MX}}&={\overline {MY}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c694c929bcd6c0bc688500a49f9a792201c67b9)
Thus, M is the midpoint of XY.
Other proofs exist,[2] including one using projective geometry.[3]
History
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. Reverend Thomas Scurr asked the same question again in 1814 in the Gentleman’s Diary or Mathematical Repository.[4]
References
- ^ Johnson, Roger A., Advanced Euclidean Geometry, Dover Publ., 2007 (orig. 1929).
- ^ Martin Celli, “A Proof of the Butterfly Theorem Using the Similarity Factor of the Two Wings”, Forum Geometricorum 16, 2016, 337–338. http://forumgeom.fau.edu/FG2016volume16/FG201641.pdf
- ^ [1], problem 8.
- ^ William Wallace’s 1803 Statement of the Butterfly Theorem, cut-the-knot, retrieved 2015-05-07.