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:

1. do udowodnienia równości kątów naprzemianległych
2. 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 wyniku z kroku 1

---

Co z tego wynika?

Dzięki równości kątów naprzemianległych:

• jeden kąt z trójkąta „przenosi się” na prostą
• drugi też się „przenosi”

W efekcie trzy kąty trójkąta układają się na jednej prostej.

---

A prosta to…

👉 180°

---

Wniosek końcowy

$$\alpha + \beta + \gamma = 180^\circ$$α+β+γ=180∘

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.