Pitagorov izrek (a² + b² = c²) je v matematiki izjava o stranicah pravokotnega trikotnika. Če sta dolžini krakov a in b, dolžina hipotenuze pa c, velja:

a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} {\displaystyle a^{2}+b^{2}=c^{2}}

Ena stranica, ki leži nasproti pravega kota (90 stopinj), je hipotenuza in je vedno najdaljša stranica trikotnika. Stranici ob pravem kotu imenujemo kraka.

Ime izreka izvira po grškem matematiku Pitagori, čeprav so temelje in posebne primere izreka poznali že stare civilizacije (npr. Babilonci, Indijci, Kitajci). Obstaja več sto različnih dokazov tega izreka.

Kaj izrek pomeni

Poleg geometrijske izjave o površinah kvadratov na stranicah pravi izrek tudi, da je v pravokotnem trikotniku kvadrat dolžine hipotenuze enak vsoti kvadratov dolžin obeh krakov. To je osnova za izračun dolžin v številnih praktičnih problemih.

Vrste dokazov

Dokaze izreka običajno razdelimo v več skupin; najpogostejše so:

  • geometrijski dokazi (npr. dokaz z urejanjem ali s pomočjo podobnih trikotnikov),
  • algebraični oziroma koordinatni dokazi (postavitev trikotnika v koordinatni sistem),
  • dokazi z uporabo podobnosti trikotnikov (klasičen evklidski pristop),
  • analitični in vektorski dokazi (uporaba skalarnega produkta ali Pitagorovega izreka kot posebnega primera zakona kosinov).

Kratek opis nekaj dokazov

Dokaz z urejanjem (rearanžiranjem): v kvadrat, katerega stranica je a + b, lahko vstavimo štiri enaka pravokotna trikotnika tako, da v sredini ostane kvadrat s stranico c. Primerjava površin velikega kvadrata ( (a+b)² ) in vsote štirih trikotnikov ter notranjega kvadrata privede do enačbe 4·(ab/2) + c² = (a+b)², kar po poenostavitvi daje a² + b² = c².

Dokaz s podobnimi trikotniki: padec višine iz pravega kota na hipotenuzo razdeli prvotni trikotnik na dva trikotnika, ki sta podobna med seboj in tudi s prvotnim trikotnikom. Iz razmerij stranic teh podobnih trikotnikov sledijo relacije a² = c·d in b² = c·e (kjer d in e predstavljata odseka hipotenuze), katerih vsota daje a² + b² = c².

Koordinatni dokaz: vstavimo pravokotni trikotnik v koordinatni sistem z enim krakom vzdolž osi x (dolžina a) in drugim vzdolž osi y (dolžina b). Koordinati točke nasproti pravega kota sta (a,0) in (0,b), razdalja med tema točkama je sqrt((a-0)² + (0-b)²) = sqrt(a² + b²), kar je dolžina hipotenuze c, od tod c² = a² + b².

Posledice in lastnosti

  • Zakon kosinov je splošna oblika Pitagorovega izreka za poljuben trikotnik: c² = a² + b² − 2ab·cos(γ). Če je γ = 90°, se zadnji člen izniči in dobimo Pitagorov izrek.
  • Obrat izreka: če v trikotniku za stranice velja a² + b² = c², potem je kot nasproti stranice c pravi kot. To je uporabna karakterizacija za preverjanje, ali je trikotnik pravokoten.
  • Pitagorejske trojice: to so naravna števila (a, b, c), ki zadovoljijo a² + b² = c², npr. (3,4,5), (5,12,13). Obstaja neskončno število takih trojic; osnovni način generiranja jih daje Pitagorin parametrski izraz.
  • Razširitve: v več dimenzijah Pitagorov izrek postane formula za evklidsko razdaljo: v R^n je razdalja med točkama sqrt(x1² + x2² + ... + xn²). Prav tako izrek vodi do konceptov v linearni algebri in vektorjih.

Primeri uporabe

  • Izračun hipotenuse: če sta kraka dolga 3 in 4, potem je hipotenuza c = sqrt(3² + 4²) = 5 (primer 3-4-5).
  • Izračun kraka, če poznamo hipotenuzo in drugega kraka: če je c = 13 in a = 5, potem je b = sqrt(13² − 5²) = sqrt(169 − 25) = sqrt(144) = 12 (primer 5-12-13).
  • Uporabe v gradbeništvu, geodeziji, navigaciji, računalniški grafiki (izračun razdalj), fiziki in pri reševanju praktičnih problemov, kjer se pojavljajo pravokotni trikotniki.

Kratek zgodovinski pregled

Pitagorejci so izrek popularizirali in mu dali svojo povezavo z imenom Pitagora, vendar arheološki dokazi kažejo, da so znali posebne numerične primere že Babilonci (oko 1800 pr. n. št.) in da so indijski matematik Brahmagupta ter kitajski matematiki poznali sorodne izjave. Kljub zgodovinskemu izvoru je izrek temeljni rezultat evklidske geometrije in matematike nasploh.

Zaključek

Pitagorov izrek je ena najbolj osnovnih in uporabnih vezi v geometriji. Njegova enostavna oblika a² + b² = c² skriva bogato mrežo dokazov, številskih lastnosti in praktičnih uporabe, ki segajo od elementarnih izračunov do naprednih matematičnih in inženirskih področij.