Art of Problem Solving

Butterfly Theorem: Difference between revisions

Ftong (talk | contribs)
No edit summary
Ftong (talk | contribs)
Line 4: Line 4:


==Proof==
==Proof==
{{solution}}
This simple proof uses projective geometry.
 
First we note that <math>(AP, AB; AD, AQ) = (CP, CB; CD, CQ).</math>
 
Therefore,
<cmath>\frac{(PX)(MQ)}{(PQ)(MX)} = \frac{(PM)(YQ)}{(PQ)(YM)}.</cmath>
Since <math>MQ = PM</math>,
<cmath>\frac{MX}{YM} = \frac{XP}{QY}.</cmath>
Moreover,
<cmath>\frac{MX + PX}{YM + QY} = 1,</cmath>
so <math>MX = YM,</math> as desired.
<math>\blacksquare</math>.


Link to a good proof :  
Link to a good proof :  


http://agutie.homestead.com/FiLEs/GeometryButterfly.html
http://agutie.homestead.com/FiLEs/GeometryButterfly.html
Also another nice proof by Darij Grinberg can be found here:
http://www.cip.ifi.lmu.de/~grinberg/Butterfly.zip


==See also==
==See also==

Revision as of 17:30, 31 May 2011

Let $M$ be the midpoint of 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$, respectively. The Butterfly Theorem states that $M$ is the midpoint of $XY$.

Proof

This simple proof uses projective geometry. First we note that $(AP, AB; AD, AQ) = (CP, CB; CD, CQ).$ Therefore, \[\frac{(PX)(MQ)}{(PQ)(MX)} = \frac{(PM)(YQ)}{(PQ)(YM)}.\] Since $MQ = PM$, \[\frac{MX}{YM} = \frac{XP}{QY}.\] Moreover, \[\frac{MX + PX}{YM + QY} = 1,\] so $MX = YM,$ as desired. $\blacksquare$.

Link to a good proof :

http://agutie.homestead.com/FiLEs/GeometryButterfly.html

See also

Midpoint