# Pitagoro teorema

Vaizdinis paaiškinimas su vandens indais. Visas vanduo iš dviejų viršutinių indų be liekanos ir pertekliaus suteka į apatinį.
**Pitagoro teorema** – teorema, kuri teigia, jog stataus trikampio statinių kvadratų suma yra lygi įžambinės kvadratui:

 WIKINIUM\_MATH\_PH\_0
kur **a** ir **b** yra trikampio statinių ilgiai, o **c** – įžambinės ilgis. Ši lygtis vadinama Pitagoro lygtimi, o ją tenkinantys sveikieji skaičiai (pavyzdžui, 3, 4, 5) – Pitagoro trejetais.
Pavyzdžiui, jei a = 8, o b = 6, tai WIKINIUM\_MATH\_PH\_2

**Atvirkštinė Pitagoro teorema**: jeigu trikampio vienos kraštinės kvadratas yra lygus kitų dviejų kraštinių kvadratų sumai, tai tas trikampis yra statusis.

Pitagoro teorema taip pat yra atskiras kosinusų teoremos atvejis, kai kampas yra statusis.

## Istorija

Iki šiol nesutariama, ar graikų filosofo ir matematiko Pitagoro vardu teorema buvo atrasta vieną kartą, ar daug kartų daugelyje pasaulio vietų, taip pat nėra aiški pirmojo atradimo ir įrodymo data. Mesopotamijos matematikos istorikai priėjo išvados, jog Pitagoro teorema buvo plačiai žinoma Senojo Babilono karalystėje (XX–XVI a. pr. m. e.), tai yra daugiau kaip tūkstantis metų iki Pitagoro gimimo. Teoremos istoriją galima suskirstyti į keturias dalis: Pitagoro trejetų, stačiojo trikampio kraštinių santykių, gretimų kampų ryšių žinios ir teoremos įrodymai tam tikroje dedukcinėje sistemoje.

### Mesopotamija

Plimpton 322 lentelė.
Yra įrodymų, kad senovės babiloniečiai jau žinojo Pitagoro teoremą daug anksčiau.
1900–1600 m. pr. m. e. babiloniečių lentelėse yra iš esmės aprašyta ta pati teorema.

Viena iš tokių lentelių yra Plimptono molinės lentelės fragmentas 322, kuriame yra atvaizduota Pitagoro trejetų lentelė. Manoma, kad ši lentelė kilo iš Larsos miesto. Lentelėje yra 4 stulpeliai ir 15 eilučių. Ketvirtasis stulpelis iš kairės pusės numeruoja eilutes nuo 1 iki 15. Pirmasis stulpelis yra pažeistas. Antrojo ir trečiojo stulpelio antraštės atitinkamai yra „Plotis“ ir „Įstrižainė“. Pačioje lentelėje yra pateikti skaičiai, kurie naudojami generuoti Pitagoro trejetus:

 WIKINIUM\_MATH\_PH\_4 .
Šie skaičiai rodo, kad babiloniečiai žinojo Diofanto trejetų generavimo metodą.

Kita dantiraščio lentelė yra iš Hamurabio dinastijos (1829–1530 m. pr. m. e.), saugoma Britų muziejuje. Lentelėje yra pateiktas geometrinis uždavinys, kuriame reikia apskaičiuoti atstumą, kuriuo reikia pastatyti atramą stulpui. Sprendimas pateiktas šešiasdešimtaine skaičiavimo sistema, pritaikant Pitagoro teoremos formulę, kai žinomas vienas trikampio statinis ir įžambinė. Vis dėlto iš šio šaltinio nėra aišku, ar babiloniečiai žinojo patį teoremos matematinį įrodymą.

Remiantis Jamblichu Pitagoras buvo Babilone dvyliką metų.[reikalingas šaltinis]

### Kinija

Grafinis trikampio (3, 4, 5) įrodymas, veikale *Zhoubi suanjing*
V–III a. pr. m. e. kinai jau žinojo, jog trikampis, kurio kraštinių ilgiai lygūs 3, 4 ir 5 (bet kokiais vienetais), yra statusis. Ši teorema yra minima viename iš seniausių kinų matematikos veikalų *Zhoubi suanjing*. Senovės Kinijos matematinių darbų datavimas yra labai netikslus, o datavimas įvairiuose šaltiniuose labai skiriasi. *Zhoubi Suanjing* gali siekti 1200 m. pr. m. e., tačiau galutinę formą kūrinys galėjo įgyti kažkada tarp 500 m. pr. m. ir 200 po Kr. Veikale yra astronominių skaičiavimų, taip pat trikampių geometrijos ir šiek tiek apie teorijos apie trupmenas. Kaip ir Babilonijos, Indijos ir Egipto tekstuose, tai yra uždavinių rinkinys su sprendimais. Tarp 246 uždavinių yra trikampio su kraštinėmis 3, 4 ir 5 piešinys (pateiktas dešinėje), iš kurio matosi, jog kinai žinojo teoremą, ją vadina **Gougu teorema**.

### Indija

Indijos tekstuose *Baudhayana Shulba Sutra*, kurie datuojami įvairiai, maždaug nuo VIII iki V a. pr. m. e., yra Pitagoro trejetų sąrašas ir Pitagoro teoremos teiginys, paminėtas atskiru lygiašonio stačiojo trikampio atveju, taip pat ir bendruoju atveju *Apastamba Shulba Sutra* tekstuose (apie 600 m. pr. m. e.).

Manoma, kad indai žinių sėmėsi iš Mesopotamijos, tačiau taip pat yra manoma ir atvirkščiai, kad Mesopotamija žinių įgijo iš Indijos.

## Įrodymai

Yra žinomi keli šimtai Pitagoro teoremos įrodymų, todėl ji tikriausiai yra labiausiai patikrinta matematinė teorema. 1927 m. amerikiečių matematiko Elisha Scott Loomis pirmą kartą išlestoje knygoje pateiktas 371 įrodymas. Kai kuriuos iš jų pasiūlė Leonardas Da Vinčis ir JAV prezidentas Džeimsas Garfildas.

### Įrodymas trikampių panašumu

Iš stačiojo trikampio ABC išvedama aukštinė CH, gaunami du panašūs statieji trikampiai ACH ir CBH.
Vienas iš populiariausių Pitagoro teoremos įrodymų yra įrodymas, kuris remiasi trikampių panašumu, kadangi jis yra beveik tiesiogiai išvedamas iš aksiomų ir nenaudoja figūros ploto koncepcijos.

Šiame įrodyme duodam trikampiui WIKINIUM\_MATH\_PH\_6 su stačiuoju kampu WIKINIUM\_MATH\_PH\_8 ir kraštinėmis WIKINIUM\_MATH\_PH\_10 bei priešingoms kampams WIKINIUM\_MATH\_PH\_12 išvedama trikampio aukštinė WIKINIUM\_MATH\_PH\_14 , gaunami du panašūs statieji trikampiai ir panaudojami trikampių panašumo požymiai: WIKINIUM\_MATH\_PH\_16 ir WIKINIUM\_MATH\_PH\_18 , iš kurių seka

 WIKINIUM\_MATH\_PH\_20
Tada pasinaudojus pagrindine proporcijos savybe, gaunamos šios lygybės

 WIKINIUM\_MATH\_PH\_22
atliekami pertvarkymai ir gaunamas reikalingas rezultatas:

 WIKINIUM\_MATH\_PH\_24
### Įrodymas padalinant kvadratą

Įrodymas padalinant kvadratą
Vienas iš paprastesnių įrodymų yra kvadrato su kraštinėmis WIKINIUM\_MATH\_PH\_26 padalinimas dviem būdais. Paveikslėlyje kairysis kvadratas sudarytas iš kvadrato su kraštine WIKINIUM\_MATH\_PH\_28 , kvadrato su kraštine WIKINIUM\_MATH\_PH\_30 ir 4 stačiųjų trikampių. Dešinysis kvadratas sudarytas iš kvadrato su kraštine WIKINIUM\_MATH\_PH\_32 ir iš tų pačių 4 stačiųjų trikampių.

Abu didieji kvadratai yra vienodo ploto, kadangi jų kraštinės yra lygios: WIKINIUM\_MATH\_PH\_34 . Išėmus 4 stačiuosius trikampis iš abiejų kvadratų, likusios figūros turės vienodą plotą. Kairėje pusėje bus kvadratas su kraštine WIKINIUM\_MATH\_PH\_36 ir kvadratas su kraštine WIKINIUM\_MATH\_PH\_38 , kurie sudarys paviršiaus plotą WIKINIUM\_MATH\_PH\_40 . Dešinėje pusėje likęs kvadratas bus su kraštine WIKINIUM\_MATH\_PH\_42 , tada jo plotas bus WIKINIUM\_MATH\_PH\_44 . Pitagoro teorema įrodyta.

Galimas ir trumpesnis šio įrodymo variantas: didžiojo kvadrato su kraštine WIKINIUM\_MATH\_PH\_46 plotas lygus dešinėje esančio paveikslėlio vidinio kvadrato ir aplink esančių keturių trikampių plotų sumai:

 WIKINIUM\_MATH\_PH\_48
Iš čia

 WIKINIUM\_MATH\_PH\_50
 WIKINIUM\_MATH\_PH\_52
### Algebriniai įrodymai

Dviejų algebrinių įrodymų schema
Pitagoro teorema gali būti įrodyta algebriniu būdu panaudojus 4 vienodus trikampius ir išdėstant juos simetriškai aplinkui kvadratą su kraštine *c*, kaip pavaizduota šone schemoje apačioje. Taip yra sudaromas didesnis kvadratas, kurio kraštinės yra *a* + *b*, o plotas (*a* + *b*)2. Keturi trikampiai ir kvadrato kraštinė *c* privalo turėti tą patį plotą kaip ir didysis kvadratas:

 WIKINIUM\_MATH\_PH\_54
iš to seka

 WIKINIUM\_MATH\_PH\_56
Panašus įrodymas naudoja 4 stačiuosius trikampius, su kraštinėmis *a*, *b* ir *c*, juos išrikiuojant taip, kad jie būtų kvadrato su kraštine *c* viduje, kaip pavaizduota šone schemoje viršuje. Šie trikampiai yra panašūs, o jų plotai lygūs WIKINIUM\_MATH\_PH\_58 , susidaręs mažasis kvadratas turi kraštinę *b* − *a* ir plotą (*b* − *a*)2. Didžiojo kvadrato plotas apskaičiuojamas taip:

 WIKINIUM\_MATH\_PH\_60
Kadangi didysis kvadratas turi kraštinę *c* ir plotą *c*2:

 WIKINIUM\_MATH\_PH\_62
## Apibendrinimas

### Kosinusų teorema

Įprastinis trikampio kraštinių ir kampų žymėjimas.

Stačiajam trikampiu galima pritaikyti kosinusų teoremą:

 WIKINIUM\_MATH\_PH\_64 ,
čia kampas WIKINIUM\_MATH\_PH\_66 yra kampas tarp kraštinių WIKINIUM\_MATH\_PH\_68 ir WIKINIUM\_MATH\_PH\_70 . Skirtingai negu Pitagoro, kosinusų teoremoje atsiranda papildomas dėmuo WIKINIUM\_MATH\_PH\_72 . Kadangi WIKINIUM\_MATH\_PH\_74 kampo kosinusas yra lygus 0, stačiajam trikampiui šis dėmuo praleidžiamas ir tada kosinusų teorema tampa Pitagoro teorema. Dėl to kartais kosinusų teorema vadinama *apibendrintąja Pitagoro teorema*.

### Skirtumai neeuklidinėse geometrijose

Sferos paviršiuje esančiam tristačiakampiui trikampiui (turi tris 90° kampus) Pitagoro teorema nebetinka.
Neeuklidinėse geometrijose penktasis Euklido postulatas (lygiagretumo postulatas) negalioja. Tokios geometrijos pavyzdys – sferinė geometrija. Šioje geometrijoje trikampis yra sudaromas iš trijų didžiųjų apskritimų lankų, esančių sferoje, kurios spindulys yra WIKINIUM\_MATH\_PH\_76 . Jeigu du lankai kertasi stačiuoju kampu, Pitagoro teorema nebetinka, kadangi trikampio vidinių kampų suma tampa didesne už 180°. Pitagoro teoremos formulę pakeičiama:

 WIKINIUM\_MATH\_PH\_78
## Panaudojimas

Pitagoro teoremą galima pritaikyti visiems daugiakampiams, nes jie gali būti padalinti į trikampius, o šie į stačiuosius trikampius. Tai galioja ir briaunainiams.

### Stačiojo trikampio kraštinių ilgiai

Iš Pitagoro teoremos žinoma, kad stačiojo trikampio įžambinės ilgis yra lygus kvadratinei šakniai iš kitų dviejų kraštinių kvadratų sumos:

 WIKINIUM\_MATH\_PH\_80 .
Vadinasi, naudojantis šia teorema galima apskaičiuoti nežinomos kraštinės ilgį žinant įžambinės ir kitos kraštinės ilgius. Pertvarkant gaunamos lygtys:

 WIKINIUM\_MATH\_PH\_82
Naudojant atvirkštinę Pitagoro teoremą galima patikrinti, ar duotasis trikampis yra statusis. Tai atliekama tikrinant, ar teoremos lygtis galioja nurodyto trikampio kraštinėms, pavyzdžiui:

* Jeigu trikampio kraštinės WIKINIUM\_MATH\_PH\_84 , WIKINIUM\_MATH\_PH\_86 ir WIKINIUM\_MATH\_PH\_88 , tada WIKINIUM\_MATH\_PH\_90 , vadinasi trikampis statusis.
* Jeigu trikampio kraštinės WIKINIUM\_MATH\_PH\_92 , WIKINIUM\_MATH\_PH\_94 ir WIKINIUM\_MATH\_PH\_96 , tada WIKINIUM\_MATH\_PH\_98 , vadinasi trikampis nėra statusis.

### Pitagoro trejetai

Iš visų lygties WIKINIUM\_MATH\_PH\_100 sprendinių WIKINIUM\_MATH\_PH\_102 , egzistuoja be galo daug tokių WIKINIUM\_MATH\_PH\_104 , WIKINIUM\_MATH\_PH\_106 ir WIKINIUM\_MATH\_PH\_108 , kurie yra sveikieji skaičiai. Tokios skaičių grupės vadinamos *Pitagoro trejetais*. Paprasčiausias toks trejetas yra sudarytas iš skaičių WIKINIUM\_MATH\_PH\_110 , WIKINIUM\_MATH\_PH\_112 ir WIKINIUM\_MATH\_PH\_114 . Pitagoro trejetai buvo nuo senovės laikų naudojami sudarant stačiuosius trikampius.

Pitagoro pirminiai trejetai mažesniems nei 100 skaitmenims:

(3, 4, 5), (5, 12, 13), (7, 24, 25), (8, 15, 17), (9, 40, 41), (11, 60, 61), (12, 35, 37), (13, 84, 85), (16, 63, 65), (20, 21, 29), (28, 45, 53), (33, 56, 65), (36, 77, 85), (39, 80, 89), (48, 55, 73), (65, 72, 97)
Pitagoro trejetų paieška skatino ir skaičių teorijos raidą. Prancūzų matematikas Pjeras Ferma studijavo Pitagoro trejetus ir suformulavo Didžiąją Fermą teoremą, kuri teigia, jog lygtis WIKINIUM\_MATH\_PH\_116 neturi sprendinių, kai WIKINIUM\_MATH\_PH\_118 . Šią teoremą po daugiau kaip 300 metų įrodė anglų matematikas Endriu Vailesas.

### Euklidinis atstumas

Pitagoro teoremos formulė yra naudojama apskaičiuoti atstumą tarp dviejų taškų Dekarto koordinačių sistemoje. Turint du taškus WIKINIUM\_MATH\_PH\_120 ir WIKINIUM\_MATH\_PH\_122 plokštumoje, atstumas tarpų jų lygus:

 WIKINIUM\_MATH\_PH\_124
Formulėje remiamasi faktu, jog koordinačių ašys yra statmenos viena kitai. Formulė taip pat gali būti išplėsta ir didesniam matmenų skaičiui, tokiu atveju naudojama sąvoka *Euklidinis atstumas*, pavyzdžiui, trijų dimensijų Euklidinėje erdvėje:

 WIKINIUM\_MATH\_PH\_126 .
### Kompleksiniai skaičiai

Kompleksinio skaičiaus WIKINIUM\_MATH\_PH\_128 modulis yra atstumas WIKINIUM\_MATH\_PH\_130 nuo pradžios taško iki taško WIKINIUM\_MATH\_PH\_132 kompleksinėje plokštumoje.
Bet koks kompleksinis skaičius gali būti užrašytas tokia forma:

 WIKINIUM\_MATH\_PH\_134
Kompleksinio skaičiaus modulis yra apibrėžiamas:

 WIKINIUM\_MATH\_PH\_136
Tris dydžius WIKINIUM\_MATH\_PH\_138 , WIKINIUM\_MATH\_PH\_140 ir WIKINIUM\_MATH\_PH\_142 jungia Pitagoro teoremos lygtis:

 WIKINIUM\_MATH\_PH\_144
Skaičiaus modulis WIKINIUM\_MATH\_PH\_146 yra visada teigiamas, tačiau WIKINIUM\_MATH\_PH\_148 ir WIKINIUM\_MATH\_PH\_150 abu gali turėti teigiamas arba neigiamas reikšmes. Geometriškai WIKINIUM\_MATH\_PH\_152 yra atstumas nuo pradžios taško iki taško WIKINIUM\_MATH\_PH\_154 kompleksinėje plokštumoje.

Atstumas tarp dviejų kompleksinių skaičių WIKINIUM\_MATH\_PH\_156 ir WIKINIUM\_MATH\_PH\_158 gali būti apskaičiuojamas:

 WIKINIUM\_MATH\_PH\_160
Šis atstumas ir du skaičiai yra susiję per lygtį, kuri yra panaši į Pitagoro teoremos lygtį:

 WIKINIUM\_MATH\_PH\_162
### Trigonometrinis santykis

Vienetiniame apskritime iš Pitagoro teoremos gaunama lygybė WIKINIUM\_MATH\_PH\_164
Trigonometrijoje vienetinis apskritimas yra apskritimas, kurio centras yra koordinačių sistemos pradžioje, o spindulio ilgis yra 1. Nubrėžus statųjį trikampį šio apskritimo viduje su įžambine, kuri sutampa su apskritimo spinduliu, prie apskritimo centro susidaro kampas α, kurio kosinusas yra abscisė, o sinusas – ordinatė, tada naudojantis Pitagoro teorema galima užrašyti lygybę:

 WIKINIUM\_MATH\_PH\_166
## Šaltiniai

## Literatūra

* Neugebauer, Otto (1969). *The exact sciences in antiquity* (2nd leid.). Courier Dover Publications. ISBN 0-486-22332-9. OCLC 638685764.

## Nuorodos

* WIKINIUM\_MATH\_PH\_168