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 ispatı 

teoremin biçimsel bir ispatı aşağıdaki gibidir:   ve   dikmeleri  noktasından sırasıyla  ve   düz çizgileri üzerine indirilsin. benzer şekilde,  ve ,  noktasından sırasıyla  ve  düz çizgilerine dik indirilsin.

  olduğundan
 

 
 

 
 

 
 

önceki denklemlerden ve kesişen kirişler teoreminden ,

 

 

 

 

 

 olduğundan,

böylece

 

i̇kinci denklemde içler dışlar çarpımı yapılırsa,

 

ortak terim olan

 

ifadesi elde edilen denklemin her iki tarafından sadeleştirilirse,

 

elde edilir, dolayısıyla , çünkü mx, my ve pm hepsi pozitif, gerçek sayılardır.

bu nedenle, , 'nin orta noktasıdır.

projektif geometri kullanan biri de dahil olmak üzere başka ispatlar da mevcuttur.

tarihçe 
kelebek teoremini kanıtlamak william wallace tarafından the gentlemen's mathematical companion’da (1803) bir problem olarak ortaya atıldı. 1804'te üç çözüm yayınlandı ve 1805'te sir william herschel, wallace'a yazdığı bir mektupta soruyu tekrar sordu. thomas scurr, aynı soruyu 1814'te gentlemen's diary veya mathematical repository’de tekrar sordu.

dış bağlantılar 
 geogebra - butterfly theorem
 cut-the-knot'da kelebek teoremi 
 cut-the-knot'da daha i̇yi bir kelebek teoremi 
 planetmath'te kelebek teoreminin kanıtı 
 wolfram gösterimleri projesi, jay warendorff'un kelebek teoremi .
 weisstein, eric w., mathworld - kelebek teoremi .

konuyla ilgili yayınlar 
 volenec, v. (2000). a generalization of the butterfly theorem. mathematical communications, 5(2), ss. 157-160.
 čerin, z. (2001). a generalization of the butterfly theorem from circles to conics. mathematical communications, 6(2), ss. 161-164.
 sliepcevic, a. (2002). a new generalization of the butterfly theorem. journal for geometry and graphics, 6(1), ss. 61-68.
 volenec, v. (2002). the butterfly theorem for conics. mathematical communications, 7(1), ss. 35-38.
 kung, s. (2005). a butterfly theorem for quadrilaterals. mathematics magazine, 78(4), ss. 314-316.
 čerin, z., & gianella, g. m. (2006). on improvements of the butterfly theorem. far east journal of mathematical sciences: fjms, 20(1), 69.
 jun-lin, y. a. n. g. (2009). version of butterfly theorem under projective transformation. journal of fuyang teachers college (natural science), 4.
 markowsky, g. (2011). pascal's hexagon theorem implies the butterfly theorem. mathematics magazine, 84(1), ss. 56-62.
 dergiades, n., & lim, s. h. (2012). the butterfly theorem revisited. in forum geometricorum (vol. 12, ss. 301-304).
 donolato, c. (2016). a proof of the butterfly theorem using ceva’s theorem. in forum geom (vol. 16, ss. 185-186).
 celli, m. (2016). a proof of the butterfly theorem using the similarity factor of the two wings. in forum geom (vol. 16, ss. 337-338).
 hung, t. q. (2016). another synthetic proof of the butterfly theorem using the midline in triangle. in forum geometricorum (vol. 16, ss. 345-346).
 krishna, dasari. (2017). another new proof of the butterfly theorem. international journal of mathematics and its applications. 5. ss. 1-55. 
 nguyen, n. p. (2020). on generalizations of the butterfly theorem. arxiv preprint arxiv:2001.07201.

kaynaklar 

kanıt içeren maddeler
öklid geometrisi teoremleri
öklid geometrisi