Matematikoje Pitagoro teorema arba Pitagoro teorema yra teiginys apie stačiojo trikampio kraštines.

Vienas iš stačiojo trikampio kampų visada lygus 90 laipsnių. Šis kampas yra stačiasis kampas. Dvi šalia stačiojo kampo esančios kraštinės vadinamos kojomis, o kita kraštinė - hipotenzėmis. Hipotenzė yra kraštinė, priešinga stačiajam kampui, ir ji visada yra ilgiausia kraštinė.

Pitagoro teorema teigia, kad kvadrato, esančio ant hipotenzės, plotas lygus kojų kvadratų plotų sumai. Šiame paveikslėlyje mėlynojo kvadrato plotas, pridėtas prie raudonojo kvadrato ploto, sudaro violetinio kvadrato plotą. Jis buvo pavadintas graikų matematiko Pitagoro vardu:

Jei kojų ilgiai yra a ir b, o hipotenzės ilgis yra c, tai a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} {\displaystyle a^{2}+b^{2}=c^{2}}.

Yra daug įvairių šios teoremos įrodymų. Jie skirstomi į keturias kategorijas:

Trumpas paaiškinimas

Paprastai Pitagoro teorema skaitoma ir taip: stačiojo trikampio kraštinių ilgių kvadratų suma, esančių prie stačiojo kampo, lygi ilgiausios kraštinės (hipotenzės) ilgio kvadratui. Teorema galioja tik stačiąjam trikampiui.

Įrodymų kategorijos ir pavyzdžiai

  • Geometriniai įrodymai – naudoja plotus, panašius trikampius ar pertvarkymus. Vienas žinomiausių geometrijos įrodymų yra Euklido iš „Elementų“: jis parodo, kaip suskaidžius kvadratus ir panaudojus panašius trikampius gaunama reikiama lygybė.
  • Pertvarkymo (rearrangement) įrodymai – sudėjus ar perrikiavus figūras galima parodyti, kad dviejų mažesnių kvadratų plotų suma sudaro didesnio kvadrato plotą. Žymus pavyzdys – Bhaskara arba „keturi trikampukai kvadrate“ įrodymas.
  • Algebriniai įrodymai – veda per koordinatės, trigonometrines tapatybes arba tiesiog lygties manipuliacijas (pvz., panaudojant panašumą arba Pitagoro išvestis iš trikampio kraštinių išraiškų).
  • Analitiniai ir vektoriniai įrodymai – naudoja Euklido normą, skaliarinį sandaugą arba koordinatų geometriją; šie metodai ypač patogūs generalizuojant teoremą į daugiau matavų arba kitus kontekstus.

Keletas konkrečių įrodymų santraukų

  • Panašumų įrodymas: pažymėjus stačiojo trikampio aukštinę į hipotenzę gaunami du mažesni trikampiai, kurie abu yra panašūs vienas kitam ir pradiniam trikampiui. Iš panašumo santykių galima užrašyti proporcijas, kurios paverčiamos į a² + b² = c².
  • Bhaskara (pertvarkymo) pavyzdys: paimama kvadratinė figūra, kurios šone sudedami keturi vienodi stačiojo trikampiai taip, kad centre lieka mažesnis kvadratas. Du būdai išreikšti didžiojo kvadrato plotą (vienas – per visų figūrų sumą, kitas – per visų figūrų pertvarkymą) duoda teoremos formulę.
  • Koordinačių geometrija: statykite trikampį taip, kad viena koja būtų x ašyje (ilgis a), kita – y ašyje (ilgis b); tada hipotenzės galas turi koordinates (a, b) ir atstumas iki pradžios taško yra sqrt(a² + b²), kas iš karto duoda c = sqrt(a² + b²).

Pasekmės ir pritaikymai

  • Konversija: Pitagoro teoremos konversija teigia: jei trikampio kraštinių ilgiai a, b, c tenkina a² + b² = c² (su c didžiausiu), tai trikampas yra status. Tai leidžia patikrinti, ar trikampas yra status.
  • Pitagoro trejetai: natūralūs skaičiai (a, b, c), tenkinantys a² + b² = c², vadinami Pitagoro trejetais. Žymiausias pavyzdys yra (3, 4, 5). Visi pirminiai (primitive) trejetai gali būti išreikšti formulėmis: a = m² − n², b = 2mn, c = m² + n², kur m > n yra sveikieji be bendro daliklio ir ne abu lyginiai.
  • Praktiniai panaudojimai: matavimai, statyba, navigacija, kompiuterinė grafika (atstumų skaičiavimas), trigonometrinės ir fizikos taikomosios problemos.
  • Generalizacijos: Kosinuso teorema (lei of cosines) apima netaisyklingus trikampius: c² = a² + b² − 2ab cos(γ). Taip pat teorema generalizuojama į aukštesnes dimensijas (Euclido normos) — atstumo formulė Euklido erdvėje.

Pavyzdys

Tarkime a = 3, b = 4. Tuomet a² + b² = 9 + 16 = 25, todėl c = sqrt(25) = 5. Taigi trikampis su kraštinėmis 3, 4 ir 5 yra status.

Trumpa istorija

Pitagoro teorema žinoma jau seniai ir buvo atrasta arba naudojama įvairiose senovės civilizacijose (Babylonijoje, Indijoje, Kinijoje) dar prieš Pitagorą. Pitagoras ir jo mokiniai priskiriami teoremos sistemingam įrodymui ar populiarinimui graikų matematikoje, todėl ši teorema gavo jo vardą.

Šiame straipsnyje pateikta apžvalga apima pagrindinę teoremą, įrodymų tipus, praktinius panaudojimus ir svarbiausias pasekmes. Jei norite, galiu išsamiau parodyti konkretų įrodymą (pvz., Euklido arba Bhaskara) žingsnis po žingsnio.