Twierdzenie Pitagorasa - jedno z najsłynniejszych w matematyce
Pitagoras z Samos sformułował to twierdzenie ok. 530 r. p.n.e., choć Babilończycy znali tę zależność 1000 lat wcześniej. Twierdzenie mówi: w trójkącie prostokątnym suma kwadratów przyprostokątnych jest równa kwadratowi przeciwprostokątnej: a² + b² = c².
Trzy możliwe obliczenia
- Mamy a i b → szukamy c: c = √(a² + b²)
- Mamy a i c → szukamy b: b = √(c² − a²)
- Mamy b i c → szukamy a: a = √(c² − b²)
Wymóg: c (przeciwprostokątna) musi być największa - najdłuższy bok trójkąta. Inaczej trójkąt nie jest prostokątny i twierdzenie nie ma zastosowania.
Słynne trójki pitagorejskie
Trójki liczb naturalnych spełniające równanie a² + b² = c²:
- 3, 4, 5 (i wielokrotności: 6,8,10; 9,12,15...)
- 5, 12, 13
- 8, 15, 17
- 7, 24, 25
- 20, 21, 29
Trójka 3-4-5 była używana przez egipskich budowniczych do tworzenia kątów prostych - sznur z 12 węzłów (3+4+5) złożony w trójkąt automatycznie ma kąt 90°.
Zastosowania w życiu
- Budownictwo - sprawdzanie kątów prostych w fundamentach
- Nawigacja - obliczanie odległości na mapie
- Architektura - długości skosów dachu
- Geometria komputerowa - odległość między punktami
- Stolarstwo - mierzenie przekątnych szafek, ram
Wzór na odległość między punktami
Twierdzenie Pitagorasa to podstawa wzoru na odległość euklidesową między dwoma punktami: d = √((x₂-x₁)² + (y₂-y₁)²). To fundament całej geometrii analitycznej, GPS-u, gier komputerowych i grafiki 3D.
Twierdzenie odwrotne
Działa też w drugą stronę: jeśli a² + b² = c², to trójkąt jest prostokątny. Pozwala sprawdzić, czy trójkąt o danych bokach jest prostokątny - bez kątomierza. Wystarczy podstawić długości i porównać.
Uogólnienia twierdzenia Pitagorasa
Dla trójkątów innych niż prostokątne istnieje twierdzenie cosinusów: c² = a² + b² − 2ab·cos(γ), gdzie γ to kąt naprzeciw boku c. Gdy γ = 90°, cos(90°) = 0, więc wzór redukuje się do Pitagorasa. Pitagoras to specjalny przypadek twierdzenia cosinusów.
Dowody twierdzenia
Istnieje ponad 400 różnych dowodów twierdzenia Pitagorasa - najpopularniejsze to dowód geometryczny przez układanie kwadratów oraz dowód algebraiczny. Były prezydent USA James Garfield opublikował własny dowód w 1876 r. - znany jako "dowód Garfielda".