Twierdzenie Brianchona

Twierdzenie Brianchona – przypadek dla sześciokąta opisanego na elipsie

Twierdzenie Brianchona (czyt. Briãszona) – twierdzenie opisujące pewną własność sześciokąta opisanego na krzywej stożkowej. Udowodnił je francuski matematyk Charles Julien Brianchon. Twierdzenie jest prawdziwe w geometrii afinicznej i rzutowej. Jest ono dualne do twierdzenia Pascala, co oznacza, że twierdzenia te są równoważne.

Treść

Dla każdego sześciokąta opisanego na dowolnej krzywej stożkowej trzy odcinki łączące ich przeciwległe wierzchołki przecinają się w jednym punkcie.

Twierdzenie zachodzi też, gdy wierzchołki sześciokąta połączymy innymi prostymi tak, żeby każdy z nich należał do dokładnie jednej z trzech prostych.

Przypadki zdegenerowane

Dla pięciokąta, czworokąta lub trójkąta opisanego na stożkowej możemy przyjąć odpowiednio jeden, dwa lub trzy z jego punktów styczności z krzywą jako dodatkowe wierzchołki zdegenerowanego sześciokąta. W takim przypadku twierdzenie Brianchona również zachodzi.

Dowód

Rys. 1. – Czerwone i zielone odcinki mają odpowiednio te same długości.

Rys. 2. – Niebieskie odcinki mają równe długości. Każda przekątna jest prostą potęgową tych dwóch z kolorowych okręgów, które są innego koloru niż ona.

Ponieważ twierdzenie dotyczy geometrii rzutowej, przypadki sześciokątów opisanych na innych niż okrąg krzywych stożkowych można sprowadzić rzutowo do przypadku z okręgiem. Pozostaje udowodnić ten przypadek.

Przedłużamy boki sześciokąta jak na rys. 1.

Weźmy dowolny okrąg styczny do $l_{DE}$ i $l_{AB}.$

Oznaczmy punkty styczności przez $K,L,$ zaś przecięcie prostych przez $S.$

Niech $K',\ L'$ będą punktami styczności boków $DE,\ AB$ sześciokąta z okręgiem wpisanym.

$SK=SL$ oraz $SK'=SL',$ bo są to styczne poprowadzone parami z tego samego punktu do tego samego okręgu.

Stąd $KK'=LL'.$

Zatem możemy skonstruować taki okrąg styczny do $l_{CD}$ i $l_{FA}$ w punktach $M,\ N,$ że $MM'=NN'=KK'=LL'.$

Ponieważ $DN'=DL'$ oraz $AK'=AM',$ to $LD=DN$ (czerwone na rysunku) oraz $KA=AM$ (zielone).

Zatem $l_{AD}$ jest prostą potęgową dwóch okręgów.

Podobnie pokazujemy, że pozostałe przekątne sześciokąta są prostymi potęgowymi odpowiednich okręgów (rys. 2).

Okręgi ustawiamy tak, żeby niebieskie odcinki (łączące ich punkty styczności z przedłużeniami boków sześciokąta oraz punkty styczności boków sześciokąta z okręgiem wpisanym) miały równe długości, oraz żeby do niebieskich odcinków należały wierzchołki $B,\ D,\ F,$ zaś nie należały wierzchołki $A,\ C,\ E.$ Wtedy długości odpowiednich stycznych są sumami lub różnicami odpowiednich odcinków tak, że faktycznie przekątne są prostymi potęgowymi.

Dla trzech okręgów proste potęgowe par okręgów są współpękowe, więc teza twierdzenia została udowodniona.

Linki zewnętrzne

• JoannaJ. Jaszuńska JoannaJ., Twierdzenie Brianchona, „Delta”, kwiecień 2012, ISSN 0137-3005 [dostęp 2024-10-30] .
• Piotr Bury, Twierdzenie Brianchona – praca licencjacka, Repozytorium Uniwersytetu Jagiellońskiego, ruj.uj.edu.pl, 7 lipca 2017 [dostęp 2024-10-30].
• Eric W.E.W. Weisstein Eric W.E.W., Brianchon's Theorem, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2024-10-30].
• Brianchon theorem (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-10-30].