U matematici, Pitagorina teorema izražava vezu koja postoji između tri stranice pravouglog trougla u euklidskoj geometriji. Ako su a i b katete, a c hipotenuza pravouglog trougla, važi jednakost

odnosno, iskazano rečima:

Površina kvadrata konstruisanog nad hipotenuzom pravouglog trougla jednak je zbiru površina kvadrata konstruisanih nad katetama tog trougla.

Teorema je dobila ime prema starogrčkom matematičaru Pitagori, za koga se, tradicionalno, smatra da ju je otkrio i dokazao,[1] iako je danas izvesno da je bila poznata mnogo pre Pitagore.

Pitagorina teorema je jedna od osnovnih i najznačajnijih matematičkih teorema. Prepoznatljiva slika pravouglog trougla sa konstruisanim kvadratima nad sve tri stranice, korišćena za vizuelni prikaz samog tvrđenja, poslužila je kao osnova za generisanje fraktala koji se naziva Pitagorino drvo.

Istorija

 
Vizuelni dokaz Pitagorine teoreme za trougao čije su stranice Pitagorina trojka (3, 4, 5) iz jednog od najstarijih kineskih matematičkih tekstova, 500–200 pne.

Istorijski posmatrano, otkriće i razumevanje Pitagorine teoreme je prošlo kroz nekoliko etapa:

  • algebarsko istraživanje postojanja Pitagorinih trojki,
  • bolje upoznavanje odnosa između stranica pravouglog trougla, odnosno odnosa između susednih uglova trougla, koje je posledica sticanja sve većih znanja o ravnima i površima i
  • nalaženje velikog broja različitih dokaza teoreme.

Drevne civilizacije

Veza koja postoji između stranica trougla čije su dužine 3, 4 i 5 bila je poznata još Vaviloncima, 2000 godina pre Hrista,[2] a može se naći i u čuvenoj kineskoj knjizi Devet knjiga o matematičkoj veštini za koju se pretpostavlja da je napisana oko 1100. godine p. n. e.[3] Stari Egipćani su znali za četiri Pitagorine trojke, o čemu svedoči papirus datiran u vreme vladavine XII dinastije, oko 2000. godine p. n. e, u kome je, između ostalog, moguće naći i relaciju

 .[3]

Ona je ekvivalentna Pitagorinoj trojki (3, 4, 5) ako se izraz proširi da bi se oslobodio od razlomaka.

Pitagorine trojke mogu se naći i u Sulvasutrama, svetim pesmama Hindusa, iz perioda 5 — 4. vek p. n. e, koje govore o načinu dobijanja pravih uglova pomoću užeta sa 3-4-5, odnosno 12-16-20, 15-20-25, 5-12-13, 15-36-39, 8-15-17 i 12-35-37 čvorova vezanih na jednakim rastojanjima. Korišćenje konopca za određivanje pravog ugla imalo je u davna vremena svoju praktičnu primenu u npr. parcelisanju zemljišta, a ljudi koji su se time bavili nazivani su zatezačima konopca (grč. Λρπεδονάπται, harpedonaptai).[4] Međutim, prema nekim autorima, malo je verovatno da su Egipćani zaista koristili uže sa 12 čvorova za određivanje pravog ugla, i nema očiglednih dokaza da su znali da je trougao sa stranicama (3, 4, 5) pravougli.[5]

Pitagora

Tradicionalno, otkriće teoreme se pripisuje Pitagori, starogrčkom filozofu i naučniku, o kome se danas zna posredno, preko kasnijih izvora. Prema njima, Pitagora je rođen oko 570. godine p. n. e. na ostrvu Samos, verovatno je bio Talesov učenik, a jedan deo svog života proveo je putujući Egiptom i Persijom, da bi se, po povratku na rodni Samos, susreo sa tiranskom vladavinom Polikrata, što je, smatra se, bio razlog da se preseli u Kroton gde je osnovao čuvenu Pitagorejsku školu.[6] Pitagorejci su tvrdili da je teoremu otkrio upravo Pitagora, i da je, u znak zahvalnosti, žrtvovao bogovima stotinu bikova.[7] Problem sa preciznim utvrđivanjem prave istine je posledica činjenice da su Pitagorejci prenosili usmenim putem stečena znanja koja su smatrana svetim i strogo su čuvana. Pored toga, često su se nova otkrića pripisivala velikom učitelju, dok je pravi pronalazač ostajao nepoznat. U prilog tome stoji činjenica da se u iskazu teoreme koji se pojavljuje u Euklidovim Elementima nigde ne spominje Pitagorino ime.[8] Danas postoji nekoliko hipoteza:

  • Pitagora je preuzeo teoremu od Vavilonaca, odnosno samo je bio posrednik između znanja koja su dolazila sa Istoka i Grka. Iako je, prema antičkim izvorima, Pitagora posetio Egipat i Vavilon, te informacije nisu pouzdane.
  • Pitagora je formulisao i po prvi put dokazao teoremu nezavisno od vavilonskih izvora. Ovaj pristup je bio široko prihvaćen u drevna vremena.
  • Pitagora je za teoremu čuo na svojim putovanjima, ali je bio prvi čovek koji je i dokazao. Sasvim je jasno da ni Egipćani ni Vavilonci nisu išli dalje od svakodnevne primene teoreme u praktične svrhe. Na primer, u Kairskom papirusu, otkrivenom 1938. godine, i dešifrovanom 1962. godine, nalazi se 40 matematičkih zadataka od kojih je devet rešeno upotrebom Pitagorine teoreme. Jedan od tih zadataka glasi:
Merdevine dugačke 10 lakata naslonjene su na zid tako da je njihovo podnožje udaljeno 6 lakata od ivice zida. Do koje visine se pružaju te merdevine?
Međutim, iako se pri rešavanju problema koristi teorema, nema pokušaja da se ona uopšti, niti da se dokaže.[9]
  • Pitagora nije učestvovao u otkriću teoreme, već su prvi dokaz našli njegovi učenici.[10]

Prvo sačuvano delo u kome se Pitagora povezuje sa iskazom teoreme je Plutarhov Etički zbornik - Moralija, napisan krajem prvog ili početkom drugog veka n. e. U njemu se citiraju stihovi iz jednog nesačuvanog Apolodorovog dela iz drugog veka p. n. e. Prema Plutarhu,

kada je Pitagora otkrio taj čuveni stav,
zbog toga je ponudio sjajnu žrtvu volova.

Iste stihove navodi i Atenaj iz Neukratisa, u svom delu Gozba učenih, početkom trećeg veka n. e.[11]

Sledbenici

Prvi pisani dokaz Pitagorine teoreme pojavljuje se tek 150 godina kasnije, u prvoj i šestoj knjizi Euklidovih Elemenata, pri čemu je, prema Proklu, dokaz iz šeste knjige jedini originalni Euklidov dokaz u Elementima, dok je dokaz iz prve knjige pripisan Eudoksu.[8]

Oko 250. godine p. n. e. Arhimed aproksimira vrednost broja pi koristeći Pitagorinu teoremu i upisane i opisane poligone u krug. U 2. veku p. n. e, Klaudije Ptolemej u svom Almagestu dokazuje teoremu:

Proizvod dijagonala tetivnog četvorougla jednak je zbiru proizvoda njegovih naspramnih ivica.[12]

Odavde se, u specijalnom slučaju kada je tetivni četvorougao u stvari pravougaonik, dobija Pitagorina teorema.

Heron iz Aleksandrije je kasnije[13] dokazao formulu kojom se može izračunati površina proizvoljnog trougla preko njegovih stranica korišćenjem proporcija. Danas se ta formula dokazuje korišćenjem Pitagorine teoreme.

U 3. veku n. e. Papos dokazuje proširenu verziju Pitagorine teoreme koja važi za proizvoljan trougao, a šest vekova kasnije, Al Harani daje dokaz još jedne generalizacije koja je primenjiva na proizvoljan trougao.

Formulacija teoreme

 
Vizuelni dokaz Pitagorine teoreme

Prema teoremi:

U bilo kom pravouglom trouglu, površina kvadrata konstruisanog nad hipotenuzom (stranicom koja se nalazi nasuprot pravog ugla) je jednaka zbiru površina kvadrata konstruisanih nad katetama (stranicama koje se sustiču u pravom uglu trougla).

Ovaj iskaz se obično navodi u sledećem obliku:

Kvadrat nad hipotenuzom jednak je zbiru kvadrata nad katetama.

Ukoliko je sa c označena dužina hipotenuze, a sa a i b dužine preostale dve stranice, teorema se može zapisati pomoću sledeće jednakosti:

 

ili, ako se odatle izrazi c:

 

Ako je hipotenuza c poznata, a treba odrediti jednu od kateta, moguće je koristiti neku od sledeće dve jednakosti (koje se dobijaju iz polazne jednakosti, rešavanjem po odgovarajućoj nepoznatoj):

 

ili

 

Iz navedenih jednakosti može se primetiti da je veza između stranica pravouglog trougla takva da, u slučaju da je jedna od njih nepoznate dužine, može se odrediti pomoću preostale dve poznate stranice. Generalizacija ove teoreme, poznata kao kosinusna teorema, omogućava izračunavanje dužine treće stranice proizvoljnog trougla, ukoliko su poznate dužine preostale dve stranice i veličina ugla koje one zahvataju, što je jedna od postavki zadatka koji se naziva rešavanje trougla. Ukoliko poznate stranice određuju prav ugao, kosinusna teorema se svodi na Pitagorinu teoremu.

Neeuklidske geometrije

 
Sferni trougao
  Za više informacija pogledajte članak Neeuklidske geometrije

U sfernoj geometriji, na jediničnoj sferi, za pravougli sferni trougao ABC kome su dužine stranica redom a, b i c, Pitagorina teorema ima oblik

 [14]

Ukoliko je poluprečnik sfere dužine  , jednakost postaje

 [15]

U hiperboličkoj ravni predstavljenoj Poenkareovim modelom diska, ukoliko je trougao ABC pravougli sa katetama a, b i hipotenuzom c, Pitagorina teorema ima oblik

 [16]

pri čemu je hiperbolički kosinus definisan sa

 

Hilbertovi prostori

  Za više informacija pogledajte članak Hilbertov prostor

Uobičajena norma na realnom euklidskom prostoru   se uvodi pomoću skalarnog proizvoda. Vektorski prostor sa normom uvedenom pomoću skalarnog proizvoda se naziva pred-Hilbertovim prostorom. Ako je pred-Hilbertov prostor kompletan u odnosu na svoju metriku, naziva se Hilbertovim prostorom. Ovo je uvek slučaj u konačnodimenzionim prostorima kakav je  , ali beskonačnodimenzioni pred-Hilbertovi prostori ne moraju biti Hilbertovi.

Ukoliko je u realnom prostoru   sa skalarnim proizvodom (pred-Hilbertovom prostoru) uvedena norma vektora sa

 ,

uz odgovarajuće osobine[17], onda za ortogonalne vektore   i   Pitagorina teorema dobija oblik

 .[18]

Dokazi

Pitagorina teorema je vekovima služila kao inspiracija za nove matematičke dokaze, koje su pronalazili i ljudi koji nisu bili profesionalni matematičari. U knjizi Pitagorino tvrđenje (engl. The Pythagorean Proposition) Iliše Skota Lumisa (engl. Elisha Scott Loomis), izvorno objavljenoj 1927. godine, koja je dopunjena novim dokazima 1940. godine, moguće je naći sve poznate dokaze do njenog objavljivanja, ukupno njih 371. Između ostalih tu su navedeni Pitagorin i Euklidov dokaz, zatim najkraći i najduži dokaz koji se pripisuju Ležandru, Ptolemejev, Leonardov, Hajgensov i Lajbnicov dokaz kao i dokaz Džejmsa Garfilda, iz vremena pre nego što je postao predsednik SAD.[19]

Pitagorin dokaz

Iako postoje materijalni dokazi da je veza između kateta i hipotenuze pravouglog trougla bila poznata još drevnim civilizacijama, ono što je odlučilo da teorema ponese Pitagorino ime je činjenica da ju je on prvi dokazao. Međutim, kako u njegovo vreme nije bilo adekvatnog materijala za zapisivanje, stečena znanja su se kod pitagorejaca prenosila usmenim putem, te ne postoji pouzdan izvor na osnovu koga bi sa sigurnošću moglo da se tvrdi kako je izgledao originalni Pitagorin dokaz. Euklid je u svojim Elementima dao dva dokaza teoreme, najpre u prvoj knjizi,[20] dokaz koji se u potpunosti zasniva na odnosima površina, a zatim i u šestoj knjizi,[21] dokaz koji koristi sličnost i znatno je jednostavniji. S obzirom da geometrija u vreme Pitagore nije bila dovoljno razvijena, malo je verovatno da je on koristio prvi dokaz, a ako je koristio drugi, onda on nije bio kompletan, pošto je potpunu teoriju srazmernosti dao tek Eudoks, koji je živeo dva veka posle Pitagore. Sa druge strane, vrlo je verovatno da je Pitagora najpre dokazao teoremu u slučaju jednakokrakog pravouglog trougla, pošto je taj dokaz bio poznat još Hindusima, te ga je mogao čuti na svojim putovanjima po Mediteranu. Da li je dokazao i opšti slučaj nije poznato, ali se pretpostavlja da ga je razmatrao. Tradicionalno mu se pripisuje dokaz opšteg slučaja koji je bio poznat još u drevnoj Kini.[19]

Euklidovi dokazi

U svojim Elementima Euklid dokazuje Pitagorinu teoremu na dva mesta, najpre u prvoj, a zatim i u šestoj knjizi. Prvi dokaz je prilično zahtevan za praćenje, i prema Proklu, pripada Euklidovom prethodniku Eudoksu, kao i teorija proporcionalnosti izložena u petoj knjizi Elemenata.[19] Postoje različita tumačenja zašto je Euklid izabrao da u prvoj knjizi teoremu dokaže na teži način, iako su u njegovo vreme bili poznati jednostavniji dokazi. Sa jedne strane, većina tih dokaza je podrazumevala podelu pravouglog trougla na manje, slične trouglove i korišćenje osobina proporcionalnosti za izvođenje odgovarajuće jednakosti, ali one su izložene tek u petoj knjizi, dok je sličnost obuhvaćena šestom knjigom. Sa druge strane, kako su stari Grci sve aritmetičke operacije interpretirali kroz geometriju, vrlo je verovatno da se Euklidu prvi dokaz prirodno nametnuo – jer je posmatrao Pitagorinu teoremu kao odnos između površina. Prema Proklu, drugi dokaz je u potpunosti Euklidov, štaviše, to je jedini originalni Euklidov dokaz u Elementima.[19]

 
Dokaz iz prve knjige Euklidovih Elemenata

Suština prvog dokaza je da, ako su sa A, B i C označena temena pravouglog trougla sa pravim uglom kod temena A, i ako se iz tog temena spusti visina na hipotenuzu koja se produži do naspramne stranice kvadrata nad hipotenuzom, ona će podeliti taj kvadrat na dva pravougaonika, čije će površine biti jednake površinama kvadrata nad bližom katetom.

Za formalan dokaz, najpre je potrebno pokazati da važe sledeće elementarne leme:

  1. (SUS stav prema podudarnosti trouglova) Ako su dve stranice jednog trougla jednake sa dve stranice drugog trougla, i ako su uglovi koje zahvataju ti parovi jednakih stranica takođe jednaki, onda su trouglovi podudarni.[22]
  2. Površina trougla je jednaka polovini površine bilo kog paralelograma konstruisanog nad dvema stranicama tog trougla.[23]
  3. Površina bilo kog pravougaonika jednaka je proizvodu dve susedne stranice.
  4. Površina bilo kog kvadrata jednaka je proizvodu dve njegove stranice (sledi iz prethodne leme).

Intuitivna ideja dokaza je da se kvadrati nad katetama transformišu u paralelograme iste površine, koji se zatim novom transformacijom uklapaju u pravougaonike na koje je podeljen kvadrat nad hipotenuzom.[24]

 
Slika sa ucrtanim novim dužima
  1. Neka je ACB pravougli trougao sa pravim uglom kod temena A.
  2. Na svakoj od stranica BC, AB i CA nacrtani su kvadrati CBDE, BAGF i ACIH respektivno.
  3. Iz tačke A spuštena je normala na stranicu BC koja je produžena do preseka sa stranicom DE i ujedno je paralelna sa BD i CE. Njeni preseci sa stranicama BC i DE su redom označeni sa K i L.
  4. Spajanjem tačaka C i F, odnosno A i D, dobijaju se trouglovi BCF i BDA.
  5. Uglovi CAB i BAG su pravi, pa su tačke C, A, i G kolinearne. Slično se zaključuje za tačke B, A i H.
  6. Uglovi CBD i FBA su pravi, što znači da je ugao ABD jednak uglu FBC, pošto su oba jednaka zbiru pravog ugla i ugla ABC.
  7. Kako je stranica AB jednaka stranici FB, a BD jednaka BC, trougao ABD je podudaran sa trouglom FBC.
  8. Kako su tačke A, K i L kolinearne, pravougaonik BDLK ima dvostruko veću površinu od trougla ABD.
  9. Kako su tačke C, A i G kolinearne, kvadrat BAGF ima dvostruko veću površinu od trougla FBC.
  10. Iz prethodnog sledi da pravougaonik BDLK ima istu površinu kao kvadrat BAGF, koja je jednaka AB2.
  11. Slično, moguće je pokazati da pravougaonik CKLE mora da ima istu površinu kao kvadrat ACIH koja iznosi AC2.
  12. Sabiranjem dobijenih jednakosti biće AB2 + AC2 = BD × BK + KL × KC
  13. Kako je BD = KL, važi BD* BK + KL × KC = BD(BK + KC) = BD × BC
  14. Odatle je AB2 + AC2 = BC2, pošto je CBDE kvadrat.
 
Primer generalizacije Pitagorine teoreme
 
Dokaz iz šeste knjige Euklidovih Elemenata

Moguće je da je Euklid bio svestan težine ovog dokaza, i da je zbog toga u šestoj knjizi dokazao malo opštiji slučaj Pitagorine teoreme koristeći sličnost. Prema tom tvrđenju, kod pravouglog trougla, geometrijski lik (bez ograničenja da to mora biti kvadrat) konstruisan nad hipotenuzom jednak je po površini zbiru površina sličnih i slično konstruisanih geometrijskih likova nad katetama.[21]

  1. Neka je ACB pravougli trougao sa pravim uglom kod temena C.
  2. Analogno prethodnom dokazu, potrebno je spustiti normalu iz temena pravog ugla na hipotenuzu. Podnožje normale označeno je sa H.
  3. Kako je AB normalno na CD i AC normalno na CB, uglovi HAC i HCB su jednaki kao uglovi sa normalnim kracima.
  4. Posledica je da su trouglovi AHC i CHB međusobno slični, i slični polaznom trouglu ACB, pa su njihove odgovarajuće stranice proporcionalne.
  5. Iz jednakosti AB/AC=AC/AD i AB/BC=BC/BD, unakrsnim množenjem dobija se da važi AC2=ABxAD i BC2=ABxBD.
  6. Sabiranjem dobijenih jednakosti biće AC2+BC2=ABxAD+ABxBD=ABx(AD+BD)
  7. Kako je AD+BD=AB, važi AC2+BC2=ABxAB=AB2.

Pored navedenih tvrđenja, Euklid je u prvoj knjizi Elemenata dokazao i tvrđenje u suprotnom smeru od Pitagorine teoreme, prema kome je pravougli trougao jedini trougao kod koga važi jednakost a2+b2=c2.[25]

Garfildov dokaz

 
Slika uz Garfildov dokaz Pitagorine teoreme

Još jedan posebno značajan geometrijski dokaz, u kome se ne koriste kvadrati nad stranicama, otkrio je negde oko 1876. godine Džejms Garfild, koji je kasnije postao dvadeseti predsednik SAD. Prema Iliši Lumisu, dokaz je bio posledica jedne Garfildove matematičke rasprave sa ostalim članovima Kongresa.[19]

Ideja dokaza je da se na polazni trougao nadoveže još jedan njemu podudaran, tako da se kraća kateta prvog i duža kateta drugog nalaze na jednoj pravoj i da polaze iz istog temena. Zatim se spajanjem preostala dva temena trouglova koja pripadaju hipotenuzama dobija pravougli trapez čije su osnovice dužine a i b, a visina dužine a+b. Sa jedne strane, njegova površina se može dobiti kao proizvod poluzbira osnovica i visine, a sa druge kao zbir površina tri trougla na koje je podeljen, pa važi:

 

Leonardov dokaz

 
Leonardov dokaz Pitagorine teoreme
 
Ideja Leonardovog dokaza Pitagorine teoreme

Sledeći dokaz se pripisuje čuvenom italijanskom umetniku i naučniku Leonardu da Vinčiju[26], a oslanja se na simetriju i rotaciju.[27]

  1. Neka je ABC pravougli trougao sa pravim uglom kod temena C.
  2. Nad svakom od stranica CA, BC i AB konstruisani su kvadrati ACED, BCFG i ABHJ respektivno.
  3. Nad stranicom HJ konstruisan je trougao HJI koji je podudaran trouglu ABC, ali je u odnosu na njega zarotiran za 180° (stepeni).
  4. Šestougao AJIHBC je prepolovljen svojom dijagonalom CI.
  5. Spajanjem tačaka E i F dobija se šestougao ABGFED, koji je prepolovljen svojom dijagonalom DG. Trouglovi ABC i ECF su simetrični u odnosu na dijagonalu DG, što za posledicu ima da su tačke D, C i G kolinearne.
  6. Ako se četvorougao DABG zarotira oko tačke A za 90° (u smeru kretanja kazaljke na satu na priloženoj slici), poklopiće se sa četvorouglom CAJI, što znači da oni imaju jednake površine. To je posledica činjenice da su uglovi DAC i BAJ pravi, što znači da je ugao DAB jednak uglu CAJ, pošto su oba jednaka zbiru pravog ugla i ugla CAB. Slično, ugao AJI je jednak uglu ABG, jer su oba jednaka zbiru pravog ugla i ugla ABC. To znači da duž AD prelazi u AC, duž AB prelazi u AI, a duž BG u JI.
  7. Kako četvorouglovi DABG i CAJI imaju jednake površine (recimo, S), i šestouglovi ABGFED i AJIHBC imaju međusobno jednake površine (2S). Ako se iz šestougla ABGFED izostave podudarni trouglovi ABC i ECF, njegova površina se smanjuje na zbir površina kvadrata ACED i BCFG. Sa druge strane, ako se iz površine šestougla AJIHBC izuzmu površine podudarnih trouglova ABC i HJI, dobijena površina je jednaka površini kvadrata ABHJ, a odatle neposredno sledi jednakost AC2+BC2=AB2.

Dokaz Džordža Ejrija

Engleski matematičar i astronom, Džordž Bidel Ejri, svoj dokaz je formulisao u stihu koji je bio ispisan na pratećoj slici, i u originalu glasi:

I am, as you can see,
a² + b² - ab
When two triangles on me stand,
Square of hypothenuse is plann'd
But if I stand on them instead
The squares of both sides are read.
[28]

što bi se moglo prevesti na srpski jezik sa:

Ja sam, kao što se vidi, a² + b² - ab. Kada na meni stoje dva trougla, dobija se kvadrat nad hipotenuzom. Ali, ako ja stojim na njima dobijaju se kvadrati nad katetama.

Ideja dokaza je da se uoči beli petougao koji je zajednički element za obe strane jednakosti. Na priloženoj slici on je dobijen tako što su kvadrat stranice a i kvadrat stranice b postavljeni na istu pravu i naslonjeni jedan na drugi, a zatim su im oduzeta dva plava pravougla trougla čije su katete dužina a i b. Površina tog petougla je upravo a² + b² - ab. Ukoliko se na njega nadovežu dva crvena trougla podudarna sa plavim trouglovima, površina tog drugog lika će biti c² čime je teorema dokazana.

Uopštenja teoreme

Kosinusna teorema

 
Nejednakostraničan oštrougli trougao
  Za više informacija pogledajte članak Kosinusna teorema

Jedna od značajnih generalizacija Pitagorine teoreme je kosinusna teorema, koja, pored pravouglih, važi i za oštrougle i tupougle trouglove, odnosno, može se primeniti na proizvoljan trougao. Ako su temena, stranice i uglovi trougla označeni kao na slici, važe jednakosti:

 
 
 [29]

Sabirak viška se može interpretirati kao dvostruki skalarni proizvod vektora određenih odgovarajućim stranicama. Kada je   prav ugao, biće  , pa se tada poslednja jednakost svodi na Pitagorinu teoremu.

Prostorna Pitagorina teorema

 
Tetraedar ABCO.

Jedan prostorni analogon Pitagorine teoreme je specijalan slučaj kosinusne teoreme za tetraedar, prema kojoj, za površine strana tetraedra ABCO označene sa  ,  ,   i  , koje su naspramne odgovarajućim temenima u svom indeksu, i za diedarske uglove pri ivicama OA (diedarski ugao α), OB (β) i OC (γ), važi jednakost:

 [30]

Ako su uglovi  ,   i   pravi, tako da je triedar pri temenu O pravougli, prethodna jednakost se svodi na:

 

što se može smatrati jednim uopštenjem Pitagorine teoreme u prostoru  . Ovu teoremu je francuski matematičar Žan-Pol de Gija de Malves prezentovao pariskoj Akademiji nauka 1783. godine, zbog čega nosi njegovo ime, iako je bila poznata još Dekartu.[31]

Parsevalova jednakost

  Za više informacija pogledajte članak Parsevalova jednakost

Uopštenje Pitagorine teoreme na beskonačnodimenzionim separabilnim pred-Hilbertovim prostorima je poznato kao Parsevalova jednakost. Ako je   jedan takav prostor prostor, a   jedna njegova ortonormalna baza, tada za svaki vektor   važi:

 [18].

Posledice i upotreba teoreme

Pitagorine trojke

  Za više informacija pogledajte članak Pitagorina trojka

Pitagorina trojka je uređena trojka prirodnih brojeva x, y i z za koje važi jednakost x2+y2=z2, odnosno, Pitagorinu trojku čine celobrojne dužine stranica pravouglog trougla. Vavilonske glinene tablice[32] (engl. YBC 7289, Plimpton 322) koje su datirane u period 1800-1600. godine p. n. e. pokazuju da su takve trojke bile poznate mnogo pre Pitagore. Danas nije najjasnije kakvu su upotrebnu vrednost imala ta znanja. Prema nekim izvorima[33], čini se da je u pitanju spisak gotovih rešenja jednog problema koji je omogućavao drevnom predavaču matematike da bez dodatnih izračunavanja odmah proveri tačnost učeničkih radova.

Svaka Pitagorina trojka je oblika (kakbkc), gde je k prirodan broj i (abc) primitivna Pitagorina trojka (odnosno čine je uzajamno prosti brojevi). Različitih primitivnih Pitagorinih trojki ima beskonačno mnogo i poznata je njihova eksplicitna parametrizacija.

Geometrijska konstrukcija iracionalnih brojeva

Glavni članak: Konstruktibilni brojevi
 
Koren iz 2 je konstruktibilan broj - pravougli trougao sa katetama jedinične dužine ima dijagonalu dužine  √2

Otkriće iracionalnih brojeva se pripisuje Pitagorejcima, ali nije precizno poznato da li su do njih došli proučavanjem geometrijske sredine ili razmatranjem dužine dijagonale kvadrata.[34] Pored toga što su ustanovili da postoje nesamerljivi brojevi, pokazali su da se oni mogu konstruisati što je ozbiljno ugrozilo njihovo verovanje da je u osnovi svega ono što se danas naziva racionalnim brojem, pa je otkriće strogo čuvano. Postoji legenda da je jedan od članova bratstva, koji se drznuo da javno govori o tome, za kaznu utopljen u moru.[35]

Iako se ne mogu izraziti u obliku količnika dva cela broja, neki iracionalni brojevi se mogu konstruisati pomoću lenjira i šestara. Tako se √2, koji se ponekad naziva i Pitagorinom konstantom[36], može dobiti kao hipotenuza pravouglog trougla kome su obe katete jedinične dužine. Ukoliko su katete dužina 1 i √2, hipotenuza će biti dužine √3 i slično za kvadratni koren proizvoljnog prirodnog broja.

Ne mogu se svi pozitivni iracionalni brojevi konstruisati pomoću lenjira i šestara: takvi, konstruktibilni brojevi čine poseban podskup skupa algebarskih brojeva i stoga ih ima prebrojivo mnogo, dok je ostalih, nekonstruktibilnih realnih brojeva neprebrojivo mnogo; nekonsktruktibilni su, na primer, brojevi  , cos 20°, e (Ermit 1871), π (Lindeman 1882), i mnogi drugi.

Bazelski problem

  Za više informacija pogledajte članak Bazelski problem

Italijanski matematičar Pjetro Mengoli je 1644. godine postavio pitanje određivanja zbira recipročnih vrednosti kvadrata svih prirodnih brojeva. Iako je postavka problema relativno jednostavna, na rešenje se čekalo skoro čitav vek, jer je tek Ojler 1735. godine objavio rezultat, za koji je 1741. godine i dokazao da je zaista traženi zbir. Korišćenjem matematičke notacije, Bazelski problem se može zapisati na sledeći način:

 

a zbir datog reda se može geometrijski aproksimirati korišćenjem Pitagorine teoreme. Konstrukcijom pravouglog trougla sa katetama dužine 1 i 1/2 dobija se hipotenuza čija je dužina kvadratni koren zbira prva dva člana datog reda. Ukoliko se zatim nad tom hipotenuzom kao katetom konstruiše novi pravougli trougao kome je druga kateta dužine 1/3, njegova hipotenuza će imati dužinu jednaku kvadratnom korenu iz zbira prva tri člana istog reda. Produžavanjem postupka u beskonačnost dužina hipotenuze svakog sledećeg trougla je sve bliža vrednosti  .

Rastojanje između dve tačke u analitičkoj geometriji

  Za više informacija pogledajte članak Analitička geometrija

Formula za rastojanje između dve tačke u Dekartovom pravouglom koordinatnom sistemu je izvedena pomoću Pitagorine teoreme. Ako su   i   dve tačke u ravni, onda je njihovo euklidsko rastojanje:

 [37]

U opštem slučaju, u višedimenzionom euklidskom prostoru, rastojanje između tačaka   i   se određuje formulom:

 

Fermaova poslednja teorema

  Za više informacija pogledajte članak Poslednja Fermaova teorema

Poslednja Fermaova teorema je tvrđenje koje je Pjer Ferma zapisao bez dokaza na margini Diofantove druge knjige Aritmetike, a tiče se pitanja da li postoje prirodni brojevi koji bi zadovoljavali uopštenje jednačine kojom se definišu Pitagorine trojke. Tvrđenje do koga je došao otprilike 1637. godine,[38] da ne postoje prirodni brojevi a, b i c za koje važi jednakost

 

kad god je n prirodan broj veći od 2, bilo je vekovima pretpostavka, a dokazao ga je tek Endru Vajls 1995. godine.

Obrnuta Pitagorina teorema

Takozvana Obrnuta Pitagorina teorema glasi: Ako za dužine stranica trougla a ≤ b < c važi da je a2 + b2 = c2, tada je dati trougao pravougli.

Pominjanje Pitagorine teoreme u opštoj kulturi

U knjizi Autobiografija Branislav Nušić navodi formulaciju teoreme u stihu:

Kvadrat od hipotenuze,
To zna svako dete,
Ravan je kvadratima
Od obe katete.
[39]

Nemački pesnik i botaničar, Adelbert fon Šamiso, posvetio je jednu svoju pesmu otkriću Pitagorine teoreme.[40]

Na jednoj od sedam slika francuskog slikara Lorana de la Era (fr. Laurent de La Hyre) koje predstavljaju sedam slobodnih veština, drevni trivijum i kvadrivijum, pod nazivom Alegorija Geometrije prikazana je žena koja u desnoj ruci drži pergament sa nekoliko geometrijskih slika.[41] Prva u nizu je upravo slika koju je Euklid dao u svom dokazu Pitagorine teoreme u prvoj knjizi Elemenata.[19]

U filmu Viktora Fleminga „Čarobnjak iz Oza“, snimljenom prema istoimenoj knjizi L. Frenka Bauma, postoji scena[42] u kojoj jedan od glavnih junaka, Strašilo, u trenutku kada dobija na poklon od Čarobnjaka diplomu, demonstrira svoje znanje eksplicitno navodeći netačan iskaz teoreme u sledećem obliku:

Zbir kvadratnih korena bilo koje dve stranice jednakokrakog trougla je jednak kvadratnom korenu treće stranice.[43]

Strašilovu formulaciju citira Homer Simpson u desetoj epizodi petog serijala serije „Simpsonovi“, nakon što upotrebi naočari Henrija Kisindžera nađene u toaletu springfildske nuklearke. Za razliku od Strašilovog iskaza koji ostaje netačan, u crtanoj seriji se iz pozadine čuje glas koji delimično ispravlja Homera („U pitanju je pravougli trougao, idiote.“).[44]

U Grčkoj, Japanu, San Marinu, Makedoniji i Surinamu su izdate poštanske marke sa karakterističnim vizuelnim prikazom Pitagorine teoreme.[45]

U Ugandi je 2000. godine pušten u opticaj novčić u obliku pravouglog trougla, na čijoj je zadnjoj strani lik Pitagore i algebarski zapis teoreme, uz tekst „Pitagorin milenijum“.[46]

Karakteristična slika koja simboliše Pitagorinu teoremu se može videti i na grbu švedskog inženjera Kristofera Polhema (švedski: Christopher Polhem).[47]

U sedamnaestoj i trideset četvrtoj knjizi engleskog izdanja stripa Asteriks pojavljuje se lik mladog rimskog arhitekte Kvadratnadhioptenuzisa (engl. Squareonthehypothenus), čije je ime inspirisano teoremom.[48]

Izvori

  1. Heath, A History Of Greek Mathematics, volume I, str. 144
  2. Andrić, Vojislav (1989). Pitagorini brojevi. Beograd: Arhimedes. str. str. 1. 
  3. 3,0 3,1 Smith, History of Mathematics, volume II, str. 288
  4. Strojk, Kratak pregled istorije matematike, str. 21
  5. Maor, The Pythagorean Theorem - A 4000 Year History, str. 15
  6. Maor, The Pythagorean Theorem - A 4000 Year History, str. 17.
  7. Strojk, Kratak pregled istorije matematike, str. 52
  8. 8,0 8,1 Maor, The Pythagorean Theorem - A 4000 Year History, str. 42.
  9. Burton, David M. (2005). The History of Mathematics - An Introduction. McGraw-Hill. str. str. 81. ISBN 978-0-390-63234-1. 
  10. „Pythagoras - 5. Was Pythagoras a Mathematician or Cosmologist?”. Pristupljeno 22. 3. 2009. 
  11. Lučić, Zoran (2009). Ogledi iz istorije antičke geometrije. Beograd: Službeni glasnik. str. str. 97. ISBN 978-86-519-0117-4. 
  12. Mitrović, Milan et al. (1988). Geometrija za prvi razred Matematičke gimnazije. Beograd: Krug. str. str. 166. ISBN 86-7136-054-7. 
  13. Zbog nedostatka izvora teško je odrediti kada se to tačno desilo. Prema knjizi The Pythagorean Theorem - A 4000 Year History u pitanju je period između 100. godine p. n. e. i 100. godine n. e.
  14. Dugošija, Đorđe; Živorad Ivanović, Lazar Milin (1999). Trigonometrija. Beograd: „Krug“. str. str. 84-86. ISBN 86-7136-058-X. 
  15. Ova jednakost se dobija kao specijalan slučaj kosinusne teoreme za sferni trougao. Ukoliko se kosinusna funkcija razvije pomoću Maklorenovog reda, moguće je pokazati da će se navedeni oblik Pitagorine teoreme približavati svom euklidskom ekvivalentu kada poluprečnik sfere teži beskonačnosti.
  16. „Hiperbolička geometrija”. Arhivirano iz originala na datum 2011-04-06. Pristupljeno 24. 2. 2009. 
    Za dokaz pogledati „Sines and cosines in the Poincar´e disk model of the hyperbolic plane”. Pristupljeno 24. 2. 2009. [mrtav link].
  17. Za osobine pogledati D. Adnađević, Z. Kadelburg,Matematička analiza II, str. 268
  18. 18,0 18,1 Kadelburg, Zoran; Dušan Adnađević (1991). Matematička analiza II. Beograd: Zavod za udžbenike i nastavna sredstva. str. str. 267-273. ISBN 86-17-01783-X. 
  19. 19,0 19,1 19,2 19,3 19,4 19,5 Maor, The Pythagorean Theorem - A 4000 Year History
  20. Euklid, Elementi, knjiga I, tvrđenje XLVII, Pristupljeno 23. 4. 2013.
  21. 21,0 21,1 Euklid, Elementi, knjiga VI, tvrđenje XXXI, Pristupljeno 23. 4. 2013.
  22. Euklid, Elementi, knjiga I, tvrđenje IV, Pristupljeno 23. 4. 2013.
  23. Euklid, Elementi, knjiga I, tvrđenje XLI, Pristupljeno 23. 4. 2013.
  24. Radi jednostavnijeg praćenja dokaza pogledati sledeći vizuelni dokaz, transformaciju prikazanu pomoću java-apleta, i animaciju.
  25. Euklid, Elementi, knjiga I, tvrđenje XLVIII, Pristupljeno 23. 4. 2013.
  26. Petković, Miodrag; Petković, Ljiljana (2006). Matematički vremeplov. Novi Sad: Zmaj. str. str. 212. ISBN 86-489-0553-2. 
  27. Radi jednostavnijeg praćenja dokaza pogledati sledeću animaciju i transformaciju Arhivirano 2008-11-20 na Wayback Machine-u koju je moguće interaktivno napraviti uz podršku java-apleta.
  28. „Još jedan vrlo jednostavan dokaz”. Arhivirano iz originala na datum 2023-10-30. Pristupljeno 22. 11. 2008. 
  29. Dugošija, Đorđe; Živorad Ivanović, Lazar Milin (1999). Trigonometrija. Beograd: „Krug“. str. str. 68. ISBN 86-7136-058-X. 
  30. „Milorad Beljić, Kosinusna teorema za tetraedar. Pristupljeno 23. 10. 2008. 
  31. „de Gua's Theorem”. Pristupljeno 23. 10. 2008. 
  32. Videti YBC 7289 i Plimpton 322
  33. „Eleanor Robson, Words and Pictures: New Light on Plimpton 322”. Pristupljeno 16. 11. 2008. 
  34. Strojk, Kratak pregled istorije matematike, str. 53
  35. Heath, A History Of Greek Mathematics, volume I, str. 154.
  36. Finch, Steven R. (2003). Mathematical Constants. Cambridge: Cambridge University Press. str. str. 1. ISBN 0-521-81805-2. 
  37. Kečkić, Jovan D. (1994). Matematika sa zbirkom zadataka za III razred srednje škole. Beograd: Zavod za udžbenike i nastavna sredstva. str. str. 111. ISBN 86-17-02963-3. 
  38. Sing, Sajmon (1999). Fermaova poslednja teorema. Beograd: DN centar. str. str. 62. ISBN 86-83239-01-2. 
  39. Nušić, Branislav (1963). Autobiografija. Beograd: Novinsko-izdavačko preduzeće „Jež“. str. str. 125,127. 
  40. Pogledati originalni tekst na nemačkom, i prevod na engleski Brajana Kola: „Adalbert von Chamisso, Vom Pythagoreischen Lehrsatz. Pristupljeno 22. 11. 2008. 
  41. „Laurent de La Hyre (1601-1666), Allegory of Geometry”. Arhivirano iz originala na datum 2016-03-07. Pristupljeno 16. 11. 2008. 
  42. „Insert iz filma „Čarobnjak iz Oza“. Pristupljeno 15. 11. 2008. 
  43. „Replike Strašila iz filma „Čarobnjak iz Oza“”. Arhivirano iz originala na datum 2010-09-26. Pristupljeno 15. 11. 2008. 
  44. „Replike Simpsonovih iz epizode „$pringfild“”. Pristupljeno 15. 11. 2008. 
  45. Miller, Jeff. „Images of Mathematicians on Postage Stamps”. Pristupljeno 7. 10. 2008. 
    Pogledati poštanske marke izdate u Grčkoj, Japanu, San Marinu, Makedoniji i Surinamu.
  46. „Le Saviez-vous?”. Arhivirano iz originala na datum 2009-09-21. Pristupljeno 7. 10. 2008. 
  47. „Christopher Polhem (1661-1751).Swedish engineer, knighted in 1716.”. Pristupljeno 24. 2. 2009. 
  48. „Squareonthehypothenus”. Arhivirano iz originala na datum 2010-11-20. Pristupljeno 20. 2. 2011. 

Vanjske veze