Theorem Pythagoras

Mewn mathemateg, Theorem Pythagoras yw'r berthynas rhwng tair ochr triongl ongl sgwâr. Enwir y theorem ar ôl y mathemategwr Pythagoras o wlad Groeg. Tadogir darganfod a phrofi'r theorem ar Pythagoras, ond mewn gwirionedd yr oedd y theorem yn hysbys cyn cyfnod Pythagoras.

Dyma'r theorem fel y'i fynegir yn gyffredinol:
Mewn unrhyw driongl ongl sgwâr, mae arwynebedd y sgwâr sydd ag ochr yr hypotenws, yn hafal i swm arwynebau y sgwariau a'u hochrau eraill (sydd yn cwrdd ar yr ongl sgwâr). 

Os taw c yw hyd yr hypotenws, ac a a b yw hydoedd y ddwy ochr arall, gellir mynegi'r hafaliad fel y ganlyn:



neu er mwyn datrys c:



Ar gyfer triongl sydd yn driongl ongl sgwâr, rhydd yr hafaliad hwn berthynas syml rhwng y tair ochr, fel y gellid darganfod hyd unrhyw ochr o wybod hyd y ddwy ochr arall.

Profwyd y ddamcaniaeth (theorem) sawl gwaith trwy lawer o wahanol ddulliau - y nifer mwyaf o weithiau, o bosibl ar gyfer unrhyw theorem fathemategol. Mae'r profion mathemategol yn amrywiol, gan gynnwys proflenni geometrig a phroflenni algebraidd, gyda rhai yn dyddio'n ôl filoedd o flynyddoedd.

Gellir cyffredinoli'r theorem mewn amrywiol ffyrdd: i ofodau dimensiwn uwch, i fannau nad ydynt yn Ewclidaidd, i wrthrychau nad ydynt yn drionglau cywir, ac i wrthrychau nad ydynt yn drionglau o gwbl ond yn solidau n-dimensiwn. Mae theorem Pythagoras wedi denu diddordeb y tu allan i fathemateg fel symbol o fathemateg astrus, cyfrinachedd, neu bŵer deallusol; mae cyfeiriadau poblogaidd mewn llenyddiaeth: mae dramâu, sioeau cerdd, caneuon, stampiau a chartwnau yn ddirifedi, rif y gwlith.

 Enghreifftiau gyda chyfanrifau 

Er nad oes hydoedd cyfanrifol gan ochrau'r mwyafrif o drionglau ongl sgwâr, mae gan nifer o drionglau hydoedd hollol gyfanrifol, gan gynnwys yr enghreifftiau enwog    ac   . Yn gyffredinol, ar gyfer unrhyw rif , mae triongl ongl sgwâr yn bodoli gyda hydoedd   . Trwy ddewis bod  yn gyfanrif, mae'n hawdd dod o hyd i drionglau â hydoedd cyfanrifol (cynhyrcha  ac  yr enghreifftiau uchod). Fel soniwyd mae'r ffwythiant hwn yn cynhyrchu trionglau ongl sgwâr gyda  yn unig, ond mae trionglau ongl sgwâr a hydoedd cyfanrifol eraill i gael; e.e.   .

 Prawf aildrefnu 
bawd|Y prawf aildrefnu (cliciwch i weld animeiddiad)
Mae'r ddau sgwâr mawr a ddangosir yn y ffigur yn cynnwys pedwar triongl sydd yn union yr un fath, a'r unig wahaniaeth rhwng y ddau sgwâr mawr yw bod y trionglau wedi'u trefnu'n wahanol. Felly, mae'n rhaid fod gan y gofod gwyn ym mhob un o'r ddau sgwâr mawr arwynebedd cyfartal. Mae cyfateb arwynebedd y gofod gwyn hwn yn cynhyrchu theorem Pythagorean,QEDBenson, Donald. The Moment of Proof : Mathematical Epiphanies, pp. 172–173 (Oxford University Press, 1999).

Mae Heath yn rhoi’r prawf hwn yn ei sylwebaeth ar Gynigiad I.47 yn Elfennau Euclid, ac yn sôn am gynigion Bretschneider a Hankel y gallai Pythagoras fod wedi gwybod y prawf hwn. Mae Heath ei hun yn ffafrio cynnig gwahanol ar gyfer prawf Pythagoras, ond mae'n cydnabod o ddechrau ei drafodaeth "nad yw'r llenyddiaeth Roegaidd sydd gennym yn perthyn i'r pum canrif gyntaf ar ôl Pythagoras yn cynnwys unrhyw ddatganiad sy'n nodi hyn nac unrhyw ddarganfyddiad geometrig mawr penodol arall iddo.""that the Greek literature which we possess belonging to the first five centuries after Pythagoras contains no statement specifying this or any other particular great geometric discovery to him." Mae ysgolheictod diweddar wedi bwrw amheuaeth gynyddol ar unrhyw fath o rôl i Pythagoras fel crëwr gwaith mathemategol, er bod y ddadl am hyn yn parhau.

 Ffurfiau eraill o'r theorem 
Os yw c yn dynodi hyd yr hypotenws ac mae a a b yn dynodi hyd y ddwy ochr arall, gellir mynegi theorem Pythagoras fel hafaliad Pythagoras:



Os yw hyd a a hyd b yn hysbys, yna gellir cyfrifo c fel



Os yw hyd y hypotenws c ac un ochr ( a neu b ) yn hysbys, yna gellir cyfrifo hyd yr ochr arall fel



Mae hafaliad Pythagoras yn cysylltu ochrau triongl ongl sgwâr mewn ffordd syml: os yw hyd unrhyw ddwy ochr yn hysbys gellir dod o hyd i hyd i'r drydedd ochr. Canlyniad arall y theorem yw bod yr hypotenws mewn unrhyw driongl dde yn fwy nag unrhyw un o'r ochrau eraill, ond yn llai na'u cyfanswm.

Un cyffredinoliad o'r theorem hon yw deddf cosin, sy'n caniatáu cyfrifo hyd unrhyw ochr i unrhyw driongl, os yw'r ddwy ochr arall a'r ongl rhyngddynt yn wybyddus. Os yw'r ongl rhwng yr ochrau eraill yn ongl sgwâr, mae cyfraith cosin yn lleihau i'r hafaliad Pythagoras.

 Proflenni eraill o'r theorem 
Efallai bod gan y theorem hon mwy o brofion ng unrhyw theorem arall; mae'r llyfr The Pythagorean Proposition yn cynnwys 370 prawf.

 Prawf gan ddefnyddio trionglau tebyg 
bawd|Prawf gan ddefnyddio trionglau tebyg
Mae'r prawf hwn yn seiliedig ar gymesuredd ochrau dwy driongl tebyg, hynny yw, yn seiliedig ar y ffaith bod cymhareb unrhyw ddwy ochr gyfatebol o drionglau tebyg yr un fath waeth beth yw maint y trionglau.

Gadewch i ABC gynrychioli triongl dde, gyda'r ongl sgwâr wedi'i leoli yn C, fel y dangosir yn y diagram. Tynnwch yr uchder o bwynt C, a galwch H ei groestoriad â'r ochr AB. Mae pwynt H yn rhannu hyd yr hypotenws c yn rhannau d ac e. Mae'r triongl newydd ACH yn debyg i driongl ABC, oherwydd mae gan y ddau ongl sgwâr (trwy ddiffiniad o'r uchder), ac maen nhw'n rhannu'r ongl yn A, sy'n golygu y bydd y drydedd ongl yr un peth yn y ddwy driongl hefyd, wedi'i marcio â θ yn y ffigur. Trwy ymresymiad tebyg, mae'r triongl CBH hefyd yn debyg i ABC. Mae prawf tebygrwydd y trionglau yn gofyn bod y triongl yn cynosod: mae swm yr onglau mewn triongl yn ddwy ongl sgwâr, ac mae'n cyfateb i'r cynosodiad cyfochrog. Mae tebygrwydd y trionglau yn arwain at gydraddoldeb cymarebau ochrau cyfatebol:



gyda'r canlyniad cyntaf yn cyfateb i gosbin yr onglau θ, ond mae'r ail ganlyniad yn cyfateb i'w sinau .

Gellir ysgrifennu'r cymarebau hyn fel



Mae crynhoi'r ddau gydraddoldeb hyn yn arwain at



sydd, ar ôl ei symleiddio, yn mynegi theorem Pythagoras:



Mae rôl y prawf hwn mewn hanes yn destun llawer o ddyfalu. Y cwestiwn sylfaenol yw pam na ddefnyddiodd Euclid y prawf hwn, ond yn hytrach, dyfeisiodd un arall. Un rhagdybiaeth yw bod y prawf gan drionglau tebyg yn cynnwys theori cyfrannau, pwnc na thrafodwyd tan yn ddiweddarach yn yr Elfennau, a bod angen datblygu theori cyfrannau ymhellach bryd hynny.This proof first appeared after a computer program was set to check Euclidean proofs.

 Prawf Euclid 
bawd|Prawf yn Elfennau Euclid
Yn fras, dyma'r prawf yn yr Elfennau gan Euclid: rhennir y sgwâr mawr yn betryal chwith a dde. Mae triongl wedi'i lunio sydd â hanner arwynebedd y petryal chwith. Yna mae triongl arall yn cael ei lunio sydd â hanner arwynebedd y sgwâr ar yr ochr chwith-bellaf. Dangosir bod y ddwy driongl hyn yn gyfath, gan brofi bod gan y sgwâr hwn yr un arwynebedd â'r petryal ar y chwith. Dilynir y ddadl hon gan fersiwn debyg ar gyfer y petryal dde a'r sgwâr sy'n weddill. Gan roi'r ddau betryal at ei gilydd i ddiwygio'r sgwâr ar yr hypotenws, mae ei arwynebedd yr un fath â swm arwynebedd y ddau sgwâr arall. Mae'r manylion yn dilyn.

Gadewch i A, B, C fod yn fertigau triongl sgwâr, gyda'r ongl sgwâr yn A. Gollyngir perpendicwlar o A i'r ochr gyferbyn â'r hypotenws yn y sgwâr ar yr hypotenws. Mae'r llinell honno'n rhannu'r sgwâr ar yr hypotenws yn ddau betryal, pob un â'r un arwynebedd ag un o'r ddau sgwâr ar y coesau.

I gael y prawf ffurfiol, mae angen pedwar lemmata elfennol arnom:

 Os oes dwy ochr i'r ddau driongl o'r un sy'n hafal i ddwy ochr y llall, pob un i bob un, a'r onglau a gynhwysir gan yr ochrau hynny yn gyfartal, yna mae'r trionglau yn gyfath (ochr-ongl-ochr).
 Mae arwynebedd triongl yn hanner arwynebedd unrhyw baralelogram ar yr un sylfaen ac sydd â'r un uchder.
 Mae arwynebedd petryal yn hafal i luoswm dwy ochr gyfagos.
 Mae arwynebedd sgwâr yn hafal i luoswm dwy o'i ochrau (yn dilyn o 3).

Nesaf, mae pob sgwâr uchaf yn gysylltiedig â thriongl sy'n gyfath â thriongl arall ac sy'n perthyn, yn ei dro ag un o ddau betryal sy'n ffurfio'r sgwâr isaf.
bawd|Darlun gan gynnwys y llinellau newydd
bawd| Dangosir yma y ddau driongl cyfath o hanner arwynebedd y petryal BDLK a'r sgwâr BAGF 
Mae'r prawf fel a ganlyn:

 Gadewch i ACB fod yn driongl ongl sgwâr gyda CAB yn ongl sgwâr.
 Ar bob un o'r ochrau BC, AB, ac CA, tynnir sgwariau, CBDE, BAGF, ac ACIH, yn y drefn honno. Mae llunio sgwariau yn gofyn am y theoremau sy'n union o flaen theoremau Euclid, ac mae'n dibynnu ar y cynosodiad cyfochrog.
 O A, tynnwch linell yn gyfochrog â BD a CE. Bydd yn croestorri BC a DE yn K a L, yn y drefn honno.
 Ymunwch â CF ac AD, i ffurfio'r trionglau BCF a BDA.
 Mae onglau CAB a BAG ill dau yn onglau sgwâr; felly mae C, A, a G yn gyfochrog.
 Mae onglau CBD a FBA ill dau yn onglau sgwâr; felly mae ongl ABD yn hafal i ongl FBC, gan fod y ddau yn gyfanswm ongl sgwâr ac ongl ABC.
 Gan fod AB yn hafal i FB, mae BD yn hafal i BC ac mae ongl ABD yn hafal i ongl FBC, rhaid i driongl ABD felly fod yn gyfath â thriongl FBC.
 Gan fod A-K-L yn llinell syth, yn gyfochrog â BD, yna mae gan betryal BDLK ddwywaith arwynebedd triongl ABD oherwydd eu bod yn rhannu'r sylfaen BD ac mae ganddynt yr un uchder BK, hy, llinell sy'n normal i'w sylfaen gyffredin, gan gysylltu'r llinellau cyfochrog BD ac AL. (lemma 2)
 Gan fod C yn cyd-fynd ag (collinear with) A a G, a bod y llinell hon yn gyfochrog ag FB, yna mae'n rhaid i'r sgwâr BAGF fod ddwywaith mewn arwynebedd i driongl FBC.
 Felly, rhaid i betryal BDLK fod â'r un arwynebedd â sgwâr BAGF = AB2.
 Trwy gymhwyso camau 3 i 10 i ochr arall y ffigur, gellir dangos yn yr un modd bod yn rhaid i betryal CKLE fod â'r un ardal â sgwâr ACIH = AC2.
 Gan ychwanegu'r ddau ganlyniad hyn, AB2 + AC2 = BD × BK + KL × KC
 Gan fod BD = KL, BD × BK + KL × KC = BD(BK + KC) = BD × BC
 Felly mae AB2 + AC2 = BC2, gan fod CBDE yn sgwâr.

Y prawf hwn (sy'n ymddangos yn Elfennau Euclid fel Cynnig 47 yn Llyfr Mae 1,Elements 1.47 by Euclid. Retrieved 19 December 2006.) sy'n dangos mai arwynebedd y sgwâr ar y hypotenws yw swm arwynebedd y ddau sgwâr arall.Euclid's Elements, Book I, Proposition 47: web page version using Java applets from Euclid's Elements by Prof. David E. Joyce, Clark University Mae hyn yn hollol wahanol i'r prawf yn ôl tebygrwydd trionglau, y tybir ei fod yn brawf a ddefnyddiodd Pythagoras.The proof by Pythagoras probably was not a general one, as the theory of proportions was developed only two centuries after Pythagoras; see 

 Profi trwy ddyraniad ac aildrefnu 
Trafodwyd uchod prawf Pythagoras, sy'n brawf trwy aildrefnu. Mae'r un syniad yn cael ei gyfleu gan yr animeiddiad ar y chwith isod, sy'n cynnwys sgwâr mawr, ochr , sy'n cynnwys pedwar triongl sgwârtriongl ongl sgwâr sy'n union yr un fath. Dangosir y trionglau mewn dau drefniant, ac mae'r cyntaf yn gadael dau sgwâr a2 a b2 heb eu gorchuddio, a'r ail ohonynt yn gadael sgwâr c2 heb ei orchuddio. Mae'r arwynebedd sy'n cael ei gwmpasu gan y sgwâr allanol byth yn newid, ac arwynebedd y pedwar trionglau yr un fath ar y dechrau ac ar y diwedd, felly mae'n rhaid i'r arwynebedd y sgwariau du fod yn gyfartal, 

Rhoddir ail brawf trwy aildrefnu gan yr animeiddiad canol. Mae sgwâr mawr yn cael ei ffurfio gydag arwynebedd c2, o bedair triongl sgwâr union yr un fath, gydag ochrau a, b ac c, wedi'u gosod o amgylch sgwâr canolog bach. Yna mae dau betryal yn cael eu ffurfio gydag ochrau a a b trwy symud y trionglau. Mae cyfuno'r sgwâr llai â'r petryalau hyn yn cynhyrchu dau sgwâr o ardaloedd a2 a b2, ac y mae'n rhaid iddynt fod â'r un arwynebedd â'r sgwâr mawr cychwynnol.

Mae'r drydedd ddelwedd ar y dde hefyd yn rhoi prawf. Rhennir y ddau sgwâr uchaf fel y dangosir gan y cysgod glas a gwyrdd, yn ddarnau y gellir eu haildrefnu i ffitio yn y sgwâr isaf ar y hypotenws - neu i'r gwrthwyneb gellir rhannu'r sgwâr mawr fel y dangosir yn ddarnau sy'n llenwi'r ddau arall. Yr enw ar y ffordd hon o dorri un ffigur yn ddarnau a'u haildrefnu i gael ffigur arall yw dyraniad (dissection). Mae hyn yn dangos bod arwynebedd y sgwâr mawr yn hafal i arwynebedd y ddau lai.
bawd|Animeiddiad yn dangos prawf trwy aildrefnu pedair triongl dde union yr un fathbawd|Animeiddiad yn dangos prawf arall trwy aildrefnubawd|Prawf gan ddefnyddio aildrefnu cywrain

 Prawf Einstein trwy ddadraniad heb aildrefnu 
bawd|Triongl sgwar ar yr hypotenws wedi'i rannu'n ddwy driongl dde tebyg ar y coesau, yn ôl prawf Einstein
Rhoddodd Albert Einstein brawf trwy ddadraniad lle nad oes angen symud y darnau. Yn lle defnyddio sgwâr ar yr hypotenws a dau sgwâr ar y coesau, gellir defnyddio unrhyw siâp arall sy'n cynnwys yr hypotenws, a dau siâp tebyg gyda phob un yn cynnwys un o ddwy goes yn lle'r hypotenws. Ym mhrawf Einstein, y siâp sy'n cynnwys yr hypotenws yw'r triongl sgwâr ei hun. Mae'r dyraniad yn cynnwys gollwng perpendicwlar o fertig ongl sgwâr y triongl i'r hypotenws, a thrwy hynny rannu'r triongl cyfan yn ddwy ran. Mae gan y ddwy ran hynny yr un siâp â'r triongl dde gwreiddiol, ac mae ganddyn nhw goesau'r triongl gwreiddiol â'u hypotenysau, a swm eu hardaloedd yw'r triongl gwreiddiol. Oherwydd bod cymhareb arwynebedd triongl sgwâr â sgwâr ei hypotenws yr un peth ar gyfer trionglau tebyg, mae'r berthynas rhwng arwynebedd y tair triongl yn dal ar gyfer sgwariau ochrau'r triongl mawr hefyd.

 Profion algebraidd 
bawd|Diagram o'r ddau brawf algebraidd
Gellir profi'r theorem yn algebraig trwy ddefnyddio pedwar copi o driongl sgwâr gydag ochrau a, b ac c, wedi'u trefnu y tu mewn i sgwâr ag ochr c fel yn hanner uchaf y diagram. Mae'r trionglau yn debyg i arwynebedd , tra bod gan y sgwâr bach ochr  ac arwynebedd . Mae arwynebedd y sgwâr mawr felly yn



Ond sgwâr yw hwn gydag ochr c ac arwynebedd c2, felly



Mae prawf tebyg yn defnyddio pedwar copi o'r un triongl wedi'u trefnu'n gymesur o amgylch sgwâr ag ochr c, fel y dangosir yn rhan isaf y diagram. Mae hyn yn arwain at sgwâr mwy, gydag ochr  ac arwynebedd  . Rhaid i'r pedair triongl a'r ochr sgwâr c fod â'r un arwyneb â'r sgwâr mwy,



sy'n rhoi



bawd|Diagram o brawf Garfield
Cyhoeddwyd prawf cysylltiedig gan Arlywydd yr UD James A. Garfield (a oedd yn Gynrychiolydd yr Unol Daleithiau ar y pryd) - gweler y diagram.Maor, Eli, The Pythagorean Theorem, Princeton University Press, 2007: pp. 106-107. Yn lle sgwâr mae'n defnyddio trapesoid, y gellir ei adeiladu o'r sgwâr yn yr ail o'r profion uchod trwy rannu ar hyd croeslin y sgwâr mewnol, i roi'r trapesoid fel y dangosir yn y diagram. Gellir cyfrifo bod arwynebedd y trapesoid yn hanner arwynebedd y sgwâr, hynny yw



Mae'r sgwâr mewnol wedi'i haneru yn yr un modd, a dim ond dau driongl a geir, felly mae'r prawf yn mynd yn ei flaen fel uchod heblaw am ffactor o , sy'n cael ei dynnu trwy luosi â dau i roi'r canlyniad.

 Prawf gan ddefnyddio differynnau 
Gellir cyrraedd theorem Pythagoras trwy astudio sut mae newidiadau mewn ochr yn cynhyrchu newid yn yr hypotenws a hynny drwy ddefnyddio calcwlws.

Mae'r triongl ABC yn driongl sgwâr, fel y dangosir yn rhan uchaf y diagram, gyda BC yn hypotenws. Ar yr un pryd mesurir hyd y triongl fel y dangosir, gyda'r hypotenws o hyd y, yr ochr AC o hyd x a'r ochr AB o hyd a, fel y gwelir yn y rhan diagram isod.
bawd| Diagram ar gyfer prawf differol
Os yw x yn cael ei gynyddu gan ychydig bach dx trwy ymestyn yr ochr AC ychydig tuag at D, yna mae y hefyd yn cynyddu gan dy. Mae'r rhain yn ffurfio dwy ochr triongl, CDE, sydd (gydag E wedi'i ddewis fel bod CE yn berpendicwlar i'r hypotenws) yn driongl sgwâr sy'n debyg iawn i ABC. Felly, rhaid i gymarebau eu hochrau fod yr un fath, hynny yw:



Gellir ailysgrifennu hyn fel , sy'n hafaliad gwahaniaethol y gellir ei ddatrys trwy integreiddio'n uniongyrchol:



sy'n rhoi



Gellir tynnu'r cysonyn o x = 0, y = a i roi'r hafaliad



Mae hyn yn fwy o brawf greddfol nag un ffurfiol: gellir ei wneud yn fwy trylwyr os defnyddir terfynau cywir yn lle dx a dy .

 Cyfdro 
Mae'r theorem gyfdro (neu'r gwrthwyneb) hefyd yn wir:Ar gyfer unrhyw dri rhifau positif a, b, ac c fel bod , ceir tdriongl gydag ochrau a, b ac c, ac mae gan bob triongl p'i fath ongl sgwâr rhwng yr ochrau sydd a'u hyd yn a a b.Datganiad arall fyddai'r canlynol:Ar gyfer unrhyw driongl ag ochrau a, b, c, os yw  yna mae'r ongl rhwng a a b yn mesur 90°.Mae gan driphlyg Pythagoras dri chyfanrif positif a, b, c  fel bod  Mewn geiriau eraill, mae triphlyg Pythagoras yn cynrychioli hyd ochrau triongl sgwâr lle mae gan y tair ochr hydoedd cyfanrif (integer lengths). Mae triphlyg o'r fath wedi'i ysgrifennu'n gyffredin fel  Ymhlith yr enghreifftiau adnabyddus y mae  a 

 Canlyniadau a defnydd o'r theorem 

 Triphlyg Pythagoras 
Mae triphlyg Pythagoras cyntefig yn un lle mae a, b ac c yn gydgysefin (coprime'); y rhannydd cyffredin mwyaf o a, b ac c yw 1).

Mae'r canlynol yn rhestr o driphlygion Pythagoras cyntefig gyda gwerthoedd llai na 100:

 (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)

 Theorem Pythagoras cilyddol 
O ystyried triongl ongl sgwâr gydag ochrau  ac uchder  (llinell o'r ongl sgwâr ac yn berpendicwlar i'r hypotenws  ). Mae gan theorem Pythagorean,



tra bod y theorem Pythagoras cilyddol R. B. Nelsen, Proof Without Words: A Reciprocal Pythagorean Theorem, Mathematics Magazine, 82, December 2009, p. 370 neu'r theorem Pythagorean wyneb i waered The upside-down Pythagorean theorem, Jennifer Richinick, The Mathematical Gazette, Vol. 92, No. 524 (July 2008), pp. 313-316 yn cysylltu'r ddwy goes  i'r uchder ,Alexander Bogomolny, Pythagorean Theorem for the Reciprocals,https://www.cut-the-knot.org/pythagoras/PTForReciprocals.shtml yna



Gellir trawsnewid yr hafaliad i



lle mae  ar gyfer unrhyw  real nad yw'n sero. Os bydd  yn gyfanrifau, yr ateb lleiaf  yna bydd

gan ddefnyddio'r triphlyg Pythagoras lleiaf  . Mae'r theorem Pythagoras cilyddol yn achos arbennig o'r hafaliad optig



lle mae'r enwaduron yn sgwariau a hefyd ar gyfer triongl heptagonal sydd a'i ochrau  yn rhifau sgwâr.

 Hyd anghymesur 
bawd| Sbeiral Theodorus: Lluniad ar gyfer segmentau llinell â hydoedd y mae eu cymarebau yn ail isradd cyfanrif positif
Un o ganlyniad theorem Pythagoras yw y gellir llunio segmentau llinell y mae eu hyd yn anghymesur (felly nid yw'r gymhareb yn rhif cymarebolol) gan ddefnyddio pren mesur a chwmpawd. Mae theorem Pythagoras yn galluogi llunio hyd/oedd anghymesur oherwydd bod hypotenws triongl yn gysylltiedig â'r ochrau gan weithredu'r ail isradd.

Mae'r ffigur ar y dde yn dangos sut i lunio segmentau llinell y mae eu hyd yng nghymhareb ail isradd unrhyw gyfanrif positif. Mae gan bob triongl ochr (wedi'i labelu "1") sef yr uned a ddewiswyd i'w mesur. Ym mhob triongl ongl sgwâr, mae theorem Pythagoras yn sefydlu hyd yr hypotenws o ran yr uned hon. Os yw'r hypotenws yn gysylltiedig â'r uned gan ail isradd cyfanrif positif nad yw'n sgwâr perffaith, mae'n sylweddoliad o hyd sy'n anghymesur â'r uned, fel , ,  .

 Rhifau cymhlyg 
de|bawd| Gwerth absoliwt rhif cymhlyg z yw'r pellter r o z i'r tarddiad
Ar gyfer unrhyw rif cymhlyg



rhoddir y gwerth absoliwt neu'r modwlws gan



Felly mae'r tri maint, r, x ac y yn gysylltiedig â hafaliad Pythagoras,



Sylwch fod r wedi'i ddiffinio i fod yn rhif positif neu'n sero ond gall x ac y fod yn negydd yn ogystal â bod yn bositif. Yn geometregol r yw pellter z o sero neu'r tarddiad O yn yr plân cymhlyg.

Gellir cyffredinoli hyn i ddarganfod y pellter rhwng dau bwynt, dywed z1 a z2. Rhoddir y pellter gofynnol gan



felly unwaith eto maent yn gysylltiedig â fersiwn o hafaliad Pythagoras,



 Pellter Ewclidaidd 
Mae'r fformiwla pellter mewn cyfesurynnau Cartesaidd yn deillio o'r theorem Pythagoras. Os yw  a  yn bwyntiau yn y plân, yna rhoddir y pellter rhyngddynt, a elwir hefyd yn bellter Ewclidaidd gan



Yn fwy cyffredinol, mewn n-gofod Euclidaidd, diffinnir y pellter Ewclidaidd rhwng dau bwynt,  a , trwy gyffredinoli theorem Pythagoras, fel:



Os defnyddir sgwâr y gwerth hwn (y pellter Ewclidaidd sgwâr, neu SED) yn lle pellter Ewclidaidd, mae'r hafaliad sy'n deillio o hyn yn osgoi'r ail isradd ac yn syml mae'n swm o SED y cyfesurynnau:



Mae'r ffurf ail isradd yn ffwythiant llyfn, amgrwm o'r ddau bwynt, ac fe'i defnyddir yn helaeth mewn theori optimeiddio ac ystadegau, sy'n sail i'r 'sgwariau lleiaf'.

 Pellter Ewclidaidd mewn systemau cyfesurynnau eraill 
Os na ddefnyddir cyfesurynnau Cartesaidd, er enghraifft, os defnyddir cyfesurynnau polar mewn dau ddimensiwn neu, yn fwy cyffredinol, os defnyddir cyfesurynnau cromliniol, mae'r fformwlâu sy'n mynegi'r pellter Ewclidaidd yn fwy cymhleth na theorem Pythagoras, ond gellir eu cael ohonynt. Gellir gweld enghraifft nodweddiadol lle mae'r pellter llinell syth rhwng dau bwynt yn cael ei drawsnewid yn gyfesurynnau cromliniol yng nghymwysiadau polynomialau Legendre mewn ffiseg a gellir darganfod y fformwlâu trwy ddefnyddio theorem Pythagoras gyda'r hafaliadau sy'n cysylltu'r cyfesurynnau cromliniol â chyfesurynnau Cartesaidd. Er enghraifft, gellir cyflwyno'r cyfesurynnau  fel



Yna mae dau bwynt gyda lleoliadau  a  yn cael eu gwahanu gan bellter s :



Gan berfformio'r ail isradd a chyfuno termau, mae fformiwla Pythagoras ar gyfer pellter mewn cyfesurynnau Cartesaidd yn cynhyrchu'r gwahaniad mewn cyfesurynnau polar fel:



gan ddefnyddio'r fformwlâu trigonometrig cynnyrch-i-swm. Y fformiwla hon yw deddf cosin, a elwir weithiau yn "theorem Pythagoras cyffredinol"., Exercises, page 116 O'r canlyniad hwn, ar gyfer yr achos lle mae'r radiws i'r ddau leoliad ar ongl sgwâr, mae'r ongl gaeedig  a'r ffurf sy'n cyfateb i theorem Pythagoras yn cael ei hadennill:  Felly mae theorem Pythagoras, sy'n ddilys ar gyfer trionglau sgwar, yn achos arbennig o ddeddf fwy cyffredinol cosin, sy'n ddilys ar gyfer trionglau mympwyol.

 Unfathiant trigonometrig Pythagoras 
bawd|Trionglau sgwar tebyg yn dangos sin a chosin ongl θ
Mewn triongl ongl sgwâr gydag ochrau a, b a hypotenws c, mae trigonometreg yn pennu sin a chosin yr ongl θ rhwng ochr a a'r hypotenws fel:



O hynny mae'n dilyn:



lle mae'r cam olaf yn berthnasol i theorem Pythagoras. Weithiau gelwir y berthynas hon rhwng sin a cosin yn unfathiant sylfaenol trigonometrig Pythagoras. Mewn trionglau tebyg, mae cymarebau'r ochrau yr un fath waeth beth yw maint y trionglau, ac yn dibynnu ar yr onglau.

Cyfeiriadau

Pythagoras
Categori:Pythagoras
Categori:Hafaliadau
Categori:Arwynebedd