Trojúhelníkový teorém součtu je klasický teorém v euklidovské geometrii .
Součet úhlů trojúhelníku v euklidovské rovině je 180 ° . [jeden]
Nechť je libovolný trojúhelník. Nakreslete čáru přes vrchol B rovnoběžnou s přímkou AC . Označte na něm bod D tak, aby body A a D ležely na opačných stranách úsečky BC . Úhly DBC a ACB jsou stejné jako vnitřní příčné, tvořené sečnou BC s rovnoběžnými přímkami AC a BD . Proto je součet úhlů trojúhelníku ve vrcholech B a C roven úhlu ABD . Součet všech tří úhlů trojúhelníku se rovná součtu úhlů ABD a BAC . Protože tyto úhly jsou vnitřní jednostranné pro paralelní AC a BD na sečně AB , jejich součet je 180°. Q.E.D.
Mezi dihedrálními úhly libovolného simplexu je složitější vztah . Konkrétně, jestliže je úhel mezi plochami i a j simplexu, pak je determinant další matice (což je oběhová látka ) roven 0:
.To vyplývá ze skutečnosti, že tento determinant je Gramův determinant normál k plochám simplexu, zatímco Gramův determinant lineárně závislých vektorů je 0 a vektory v -rozměrném prostoru jsou vždy lineárně závislé.
Důkaz uvedený v tomto článku se opírá o jistou vlastnost rovnoběžných čar, totiž tvrzení, že vnitřní úhly rovnoběžek ležících napříč jsou stejné. Důkaz tohoto tvrzení zase používá axiom rovnoběžnosti euklidovské geometrie. Lze ukázat, že jakýkoli důkaz věty o součtu úhlů trojúhelníku bude používat axiom rovnoběžnosti a naopak - z tvrzení, že součet úhlů trojúhelníku je 180°, lze odvodit axiom rovnoběžnosti, pokud jsou uvedeny zbývající axiomy klasické geometrie ( absolutní geometrie ) [3] .
Rovnost součtu úhlů trojúhelníku 180° je tedy jedním z hlavních rysů euklidovské geometrie, který ji odlišuje od neeuklidovských, ve kterých není splněn axiom rovnoběžnosti:
Trojúhelník | |
---|---|
Typy trojúhelníků | |
Nádherné linie v trojúhelníku | |
Pozoruhodné body trojúhelníku | |
Základní věty | |
Dodatečné věty | |
Zobecnění |