Zaczynamy od zdania:
„Suma kątów w trójkącie wynosi 180°.”
Tylko że to nie jest „magiczny fakt”.
To jest konsekwencja konkretnego założenia o świecie.
Fundament: aksjomat Euklidesa
👉 jeśli \alpha + \beta < 180^{\circ}, to proste a i b muszą się przeciąć
W praktyce oznacza to:
równoległe proste zachowują się w bardzo konkretny sposób
I właśnie to założenie będzie użyte:
- do udowodnienia równości kątów naprzemianległych
- a ta równość do dowodu o 180° w trójkącie
Krok 1: kąty naprzemianległe (dowód nie wprost)
Chcemy pokazać:
👉 kąty naprzemianległe są równe
Założenia
- Proste są równoległe (czyli się nie przecinają).
- Suma kątów przyległych jest równa 180°, czyli \alpha + \gamma = 180^{/circ} i \varphi + \beta = 180^{/circ}
Dowód
Zakładamy przeciwnie — że kąty nie są równe.
Rozpatrujemy dwa przypadki:
- \alpha > \beta
- \alpha < \beta
Jeśli \alpha > \beta , to wychodząc z założenia, że \alpha + \gamma = 180^{\circ} wnioskujemy, że \beta + \gamma < 180^{\circ} .
Korzystając z aksjomatu Euklidesa wychodzi, że proste muszą się przeciąć strony kątów \beta i \gamma
A to przeczy założeniu o równoległości.
Jeśli \alpha < \beta , to wychodząc z założenia, że \varphi + \beta = 180^{\circ} wnioskujemy, że \beta + \alpha < 180^{\circ} .
Korzystając z aksjomatu Euklidesa wychodzi, że proste muszą się przeciąć strony kątów \alpha i \varphi
A to również przeczy założeniu o równoległości.
Wniosek
Nie ma innej opcji:
👉 kąty \alpha i \beta , czyli naprzemianległe, są równe (bo żaden z nich nie może być większy od drugiego)
CKD
Krok 2: suma kątów w trójkącie
Teraz dopiero wchodzimy w główny dowód.
Konstrukcja
- bierzemy trójkąt
- przez jeden wierzchołek prowadzimy prostą równoległą do przeciwległego boku
I teraz dzieje się coś ważnego:
👉 Używamy twierdzenia kątów naprzemianległych z Kroku 1 i wnioskujemy, że \angle 4 = \angle 1 i \angle 5 = \angle 2 .
👉 Wiemy, że \angle 4 + \angle 3 + \angle 5 = 180^{\circ} , jako kąty przyległe. Podstawiając za \angle 4 kąt \angle 1 a za \angle 5 kąt \angle 2 , otrzymujemy…
Wniosek końcowy
\angle 1 + \angle 3 + \angle 2 = 180^{\circ}
CKD
Co tu jest naprawdę ważne?
Ten dowód pokazuje jedną rzecz, którą większość ludzi pomija:
180° w trójkącie nie jest oczywistością — to jest konsekwencja aksjomatu Euklidesa
Gdy zmienisz aksjomat → rozwala się:
- równość kątów naprzemianległych
- cały dowód
- i końcowy wynik
I to jest dokładnie ten moment, w którym matematyka przestaje być „zbiorem wzorów”,
a zaczyna być logiczną konstrukcją zbudowaną na założeniach.
