Twierdzenie o trójzębie

Twierdzenie o trójzębie, twierdzenie o trójliściu – twierdzenie geometrii euklidesowej, dotyczące odległości między pewnymi szczególnymi punktami związanymi z trójkątem.

Twierdzenie

Ilustracja twierdzenia o trójzębie.

Niech $I$ będzie środkiem okręgu wpisanego w trójkąt $ABC.$ Przez $D$ oznaczmy środek łuku $AC$ niezawierającego punktu $B.$ Z kolei $E$ niech będzie środkiem okręgu dopisanego do trójkąta $ABC$ stycznego do boku $AC.$ Wówczas spełnione są równości Szablon:WzórTwierdzeniem o trójliściu nazywa się zwykle jedynie dwie pierwsze równości.

Dowód

Z twierdzenia o kątach wpisanych opartych na tym samym łuku wynikają równości Szablon:Wzór Z własności środka okręgu wpisanego, $BI$ jest dwusieczną $\mathrm{\angle }ABC,$ więc $|\mathrm{\angle }DCA|=|\mathrm{\angle }DAC|,$ a stąd trójkąt ACD jest równoramienny, tzn. $|AD|=|CD|.$

Korzystając z kątów przyległych i sumy miar kątów w trójkącie $ABI,$ otrzymujemy Szablon:Wzór

Ponieważ $AI$ jest dwusieczną $\mathrm{\angle }BAC,$ zachodzi równość $|\mathrm{\angle }IAB|=|\mathrm{\angle }IAC|.$ Z kolei $|\mathrm{\angle }IBA|=|\mathrm{\angle }IBC|=|\mathrm{\angle }CAD|.$ Zatem Szablon:Wzór

Z powyższej równości kątów wnioskujemy, że trójkąt $ADI$ jest równoramienny i $|AD|=|DI|$. To kończy dowód twierdzenia o trójliściu.

Aby udowodnić pełną formę twierdzenia o trójzębie, zauważmy, że z definicji punktów $I$ oraz $E$ zachodzi równość $\mathrm{\angle }IAE=90^{\circ }.$ Stąd $IE$ jest średnicą okręgu opisanego na trójkącie prostokątnym $IAE.$ Analogicznie $IE$ jest średnicą okręgu opisanego na trójkącie $ICE.$ Zatem punkty $A,I,C,E$ leżą na jednym okręgu. Ponieważ trzy punkty jednoznacznie wyznaczają okrąg a $D$ jest środkiem okręgu opisanego na $AIC$ (z twierdzenia o trójliściu), $D$ jest również środkiem okręgu opisanego na $AICE.$ Stąd bezpośrednio wynika teza twierdzenia o trójzębie.

Zobacz też

• okrąg wpisany
• okrąg dopisany
• twierdzenie o dwusiecznej