Redigerer Pytagoras’ læresetning

[[Fil:Pythagorean.svg|thumb|En rettvinklet trekant med de to katetene <math>a</math> og <math>b</math> og hypotenusen <math>c</math>.]]
'''Pytagoras’ læresetning''' eller '''den pytagoreiske læresetning''' er  i [[euklidsk geometri]] et fundamentalt [[teorem]] om sammenhengen mellom sidelengdene i en [[rettvinklet trekant]]:

:''«I en rettvinklet trekant er summen av kvadratene på katetene lik kvadratet på hypotenusen.»''

De to [[katet]]ene er de korteste sidene i trekanten, og [[hypotenus]]en er den lengste. Den rette vinkelen er motstående til hypotenusen.  Kaller man lengdene av katetene henholdsvis <math>a</math> og <math>b</math> samt lengden av hypotenusen for <math>c</math>, så kan læresetningen uttrykkes som en [[ligning (matematikk)|ligning]], ofte kalt '''Pytagoras ligning''':<ref name=JS>{{kilde bok |tittel=Roots to research: A vertical development of mathematical problems |forfatter=Judith D. Sally, Paul Sally |språk=en |side=63ff  |url=https://books.google.com/books?id=nHxBw-WlECUC&pg=PA63 |isbn=978-0-8218-4403-8 |år=2007 |forlag=American Mathematical Society Bookstore}}</ref>

:<math>a^2 + b^2 = c^2</math>.

Heltall som oppfyller Pytagoras’ læresetning kalles pytagoreiske tripler.  Et velkjent trippel er (3,4,5).  Dersom sidelengdene i en trekant danner et pytagoreiske trippel, så er trekanten rettvinklet.  

Det eksisterer mange generaliseringer av Pytagoras’ teorem.  En generalisering til en vilkårlig [[trekant]] kalles ''den utvidede pytagoreiske læresetning'' eller [[cosinussetningen]].

Det historiske opphavet til teoremet er bare mangelfullt kjent og har vært gjenstand for mye diskusjon.  Navnet har teoremet fått fordi mange tradisjonelt har knyttet læresetningen til den greske matematikeren [[Pytagoras]], som levde omkring 500 f.Kr.  Det eksisterer imidlertid ikke gode indikasjoner eller bevis for at han eller noen av hans følgesvenner skal ha vært opphavsmann til teoremet. Pytagoreiske tripler og andre former for teoremet har vært kjent i [[Babylonsk matematikk|babylonsk]], [[Oldtidens egyptiske matematikk|egyptisk]], [[kinesisk matematikk|kinesisk]] og [[indisk matematikk]] lenge før pytagoreerne.  Kanskje har læresetningen blitt oppdaget flere steder og til flere tider uavhengig av hverandre.  Det eldste deduktive bevis vi kjenner, er fra [[Euklids Elementer|Euklids ''Elementer'']], skrevet omkring 300 f.Kr.  I dag eksisterer det en lang rekke alternative bevis for teoremet.  

== Bevis ==
[[Fil:Illustration to Euclid's proof of the Pythagorean theorem2.svg|thumb|Geometri for Euklids bevis.]]
[[Fil:Euclidis elementorum libri priores sex Fleuron T145401-9.png|thumb|Illustrasjon til Euklids bevis fra 1756. Lignende figurer er blitt beskrevet som en «vindmølle», en «brudestol» og en «påfugl-hale».]]
Pytagoras’ læresetning antas å være et av de teoremene i matematikk som er bevist på flest alternative måter. Boken ''Pythagorean Proposition'' av Elisha Scott Loomis inneholder hele 370 bevis.<ref name=ESL1>[[#ESL| E.S. Loomis: ''The Pythagorean proposition'']] s.1 </ref>  I boken er 109 bevis karakterisert som algebraiske og 255 som geometriske.  De resterende seks er basert på vektorregning eller dynamiske argument.  Et ''geometrisk'' bevis bygger ifølge Loomis på sammenligning av [[areal]]et til de tre kvadratene konstruert fra sidelengdene, mens et ''aritmetisk'' er basert på lineære relasjoner mellom sidelengder eller areal, for eksempel ved bruk av [[Trekant#Formlike trekanter|formlike]] trekanter.  Denne inndelingen er kanskje ikke entydig, og mange bevis har innslag av både geometri og [[algebra]].  

=== Euklids bevis ===
I Euklids ''Elementer'', teorem 47 i bok I, finner man det eldste kjente beviset for Pytagoras’ teorem.<ref name=BO119>[[#BOYER|C.B.Boyer: ''A history of mathematics'']] s.119 </ref><ref name=P47>{{kilde www| url=http://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.01.0086%3Abook%3D1%3Atype%3DProp%3Anumber%3D47 |tittel=Euclid ''Elements''. Book I, Proposition 47 |språk=en |utgiver=Perseus Digital Library |besøksdato=2021-03-12}}</ref>  Det er vanlig å referere til Euklids bøker med romertall for bindet og et vanlig tall for den gjeldende satsen, slik at Pytagoras’ teorem er I.47.
Beviset for I.47 er basert på en sammenligning av areal.

La <math>A</math>, <math>B</math> og <math>C</math> være hjørnene i en rettvinklet trekant, med den rette vinkel ved <math>A</math> som vist på figuren. Til hver side i trekanten er det tegnet et [[kvadrat]].  En [[normal (geometri)|normal]] fra hjørnet <math>A</math> til hypotenusen <math>BC</math> deler kvadratet på hypotenusen i to [[rektangel|rektangler]], på figure vist i blått og rosa.  Euklid beviste setningen ved å vise at arealet til hver av de to minste kvadratene er lik arealet av ett av rektanglene, vist med fargene i figuren.  Arealsummen av de to minste kvadratene er dermed lik arealet til det største kvadratet.

Beviset bygger på flere [[lemma (matematikk)|hjelpesetninger]], som Euklid viser tidligere i bok I.  Disse vil bli brukt videre, uten bevis her.
# Hvis to trekanter er slik at to sider i den ene er lik tilsvarende to sider i den andre, og den mellomliggende vinkel er lik i begge, så er trekantene [[Kongruens (geometri)|kongruente]].
# Arealet av en gitt trekant er lik halvparten av arealet i et vilkårlig [[parallellogram]] med samme grunnlinje og høyde.
# Arealet av et  rektangel er lik produktet av to tilstøtende sider.   
# Arealet av et kvadrat er lik produktet av to sider.

Beviset er som følger:
#La <math>ACB</math> være en rettvinklet trekant, med den rette vinkelen gitt ved <math>\angle BAC</math>.
#På hver av sidene <math>BC</math>, <math>AB</math> og <math>CA</math> tegnes kvadrater, henholdsvis <math>CBDE</math>, <math>BAGF</math> og <math>ACIH</math>.
#Fra <math>A</math> trekkes en linje parallell med <math>BD</math> og <math>CE</math>. Den krysser <math>BC</math> og <math>DE</math> i rett vinkel ved henholdsvis <math>K</math> og <math>L</math>.
#Forbind <math>CF</math> og <math>AD</math>. Derved dannes trekantene <math>BCF</math> og <math>ADB</math>.
#Vinklene <math>\angle CAB</math> og <math>\angle BAG</math> er begge rette. Punktene <math>C</math>, <math>A</math> og <math>G</math> ligger derfor på samme linje. Tilsvarende ligger <math>B</math>, <math>A</math> og <math>H</math> på en rett linje.
#Vinklene <math>\angle CBD</math> og <math>\angle FBA</math> er begge rette. Dermed er <math>\angle ABD</math> lik <math>\angle FBC</math>, siden begge er summen av en rett vinkel og den felles <math>\angle ABC</math>.
#Siden <math>AB</math> og <math>BD</math> er tilsvarende like med <math>FB</math> og <math>BC</math>, må trekanten <math>ABD</math> være kongruent med trekanten <math>FBC</math>.
#Ved bruk av hjelpesetning nr.2 må rektangelet <math>BDLK</math> være dobbelt så stort som trekanten <math>ABD</math>.
#Ved bruk av hjelpesetning nr.2 må rektangelet <math>BAGF</math> være dobbelt så stort som trekanten <math>FBC</math>.
#Dermed må rektangelet <math>BDLK</math> ha samme areal som kvadratet <math>BAGF</math>, det vil si at <math>AB^2 = BD \times BK</math>.
#Tilsvarende kan det vises at rektangelet <math>CKLE</math> må ha samme areal som kvadratet <math>ACIH</math>, det vil si at <math>AC^2 = KL \times KC</math>.
#Ved å addere disse to resultatene: <math>AB^2 + AC^2 = BD \times BK + KL \times KC</math>.
#Siden <math>BD = KL</math>, så er <math> BD \times BK + KL \times KC = BD(BK \times KC) = BD \times BC</math>.
#Dermed er <math>AB^2 + AC^2 = BC^2</math>, siden <math>CBDE</math> er et kvadrat.

Beviset har tidligere vært pensum i norsk [[realskole]].{{tr}} Det finnes enklere bevis, men gjennomgang av fremgangsmåten kan være en egnet øvelse i matematisk tenkning.

Figuren til Euklids bevis, med hjelpelinjer til alle fire kvadrater, er berømt. Den er blitt beskrevet som en «vindmølle», en «brudestol» og en «påfugl-hale».<ref name=BO119/>
Også navnet [[pons asinorum]] er blitt brukt om figuren.<ref name=ESL120>[[#ESL| E.S. Loomis: ''The Pythagorean proposition'']] s.120 </ref>  Dette latinske utrrykket betyr
«eselbroen» eller «idiotbroen», og uttrykket knyttes vanligvis til en annen Euklid-figur, brukt i forbindelse med ''Elementer'' I.5.<ref>{{kilde bok | forfatter= David Eugene Smith |tittel=History of mathematics |bind=II |forlag=Ginn and Company |år= 1925 |språk=en |side=284 |url=https://archive.org/details/historyofmathema031897mbp/page/n299/mode/2up?q=pons }}</ref>

=== Bevis ved bruk av formlike trekanter ===
[[Fil:Proof-Pythagorean-Theorem.svg|thumb|right|Bevis ved bruk av likedannede trekanter.]]
Mange av bevisene for Pytagoras’ setning er basert på forhold mellom sidelengder i to formlike trekanter. Elisha Scott Loomis omtaler dette som det korteste av alle Pytagoras-bevisene og kaller det også for «Legendre-beviset».<ref name=ESL24>[[#ESL| E.S. Loomis: ''The Pythagorean proposition'']] s.24 </ref>
En lærebok i geometri fra 1858, basert på arbeid av [[Adrien-Marie Legendre]], gjengir beviset.  [[Thomas Heath]] foreslår dette som ett alternativ for et bevis som kan ha vært brukt av pytagoreerne.<ref name=TH144>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.144-149 </ref>

La <math>ABC</math> være en rettvinklet trekant.  Den rette vinkelen er ved <math>C</math>, slik figuren viser. Høyden fra hjørnet <math>C</math> treffer siden <math>AB</math> i fotpunktet <math>H</math>. 
Trekanten <math>ACH</math> er formlik med trekanten <math>ABC</math>, da begge er rettvinklede og vinkelen ved <math>A</math> er felles.  Tilsvarende er trekanten <math>CBH</math> formlik med <math>ABC</math>. 
Til sammen resulterer dette i følgende forhold mellom sidelengder:

:<math> \frac{a}{c}=\frac{HB}{a} \qquad \text{og} \qquad \frac{b}{c} = \frac{AH}{b} \ .</math>

Dette kan skrives som 

:<math>a^2=c\times HB \qquad \text{og} \qquad b^2= c \times AH \ .</math>

Summasjon av de to uttrykkene gir 

:<math>
a^2+b^2=c\times HB+c\times AH=c\times(HB+AH)=c^2 .
</math>

=== Garfields bevis ===
[[Fil:Aa garfield pythag.svg|thumb|right|Geometri brukt i Garfields bevis.]]
[[James Garfield]] er opphavsmann for det følgende beviset.<ref>{{kilde www |utgiver= Angie Head, University of Georgia | url=http://jwilson.coe.uga.edu/EMT668/emt668.student.folders/HeadAngela/essay1/Pythagorean.html |tittel=Pythagorean theorem |språk=en |besøksdato=2021-03-12}}</ref><ref name=MAA>{{kilde www | url=https://www.maa.org/press/periodicals/convergence/mathematical-treasure-james-a-garfields-proof-of-the-pythagorean-theorem | tittel=Mathematical Treasure: James A. Garfield's Proof of the Pythagorean Theorem | språk=en | utgiver=Mathematical Association of America | besøksdato=2021-03-12 | arkiv-dato=2021-12-06 | arkiv-url=https://web.archive.org/web/20211206052548/https://www.maa.org/press/periodicals/convergence/mathematical-treasure-james-a-garfields-proof-of-the-pythagorean-theorem | url-status=yes }}</ref> 
Han var jurist og medlem av den amerikanske [[Kongressen (USA)|Kongressen]], og han oppdaget beviset i 1876 som følge av en matematisk diskusjon med andre kongressmedlemmer.  Garfield ble president i [[USA]] i 1881, men han ble skutt og drept etter bare fire måneder i embetet.  

Arealet av et generelt [[trapes]] med høyde <math>h</math> og lengder av de to parallelle sidene <math>s_1</math> og <math>s_2</math> er gitt ved

:<math>A=\frac{h}{2}(s_1 + s_2).</math>

Da er arealet av trapeset vist i figuren:
:<math>A=\frac{(a+b)}{2}(a + b) = \frac{(a+b)^2}{2} .</math>

Trekant 1 og 2 er identiske, med areal

:<math>A_1 = A_2 = \frac{ab}{2}.</math>.

Trekant 3 er rettvinklet, og arealet er lik halvparten av kvadratet på hypotenusen:

:<math>A_3 = \frac{c^2}{2}. </math>

Et alternativt uttrykk for arealet til trapeset finner en ved å summere arealene til de tre trekantene:

: <math>A = A_1 + A_2 + A_3 = \frac{ab}{2} + \frac{ab}{2} +  \frac{c^2}{2} = ab +  \frac{c^2}{2} \ .</math>

En sammenstillingen av de to uttrykkene for trapesarealet gir

:<math>
\begin{alignat}{2}
\frac{(a+b)^2}{2} \ &= \ ab +  \frac{c^2}{2} \\[5pt]
a^2 + 2ab + b^2 \ &= \ 2ab +  c^2  \\[5pt]
a^2 + b^2 \ &= \ c^2 .
\end{alignat}
</math>

=== Bevis ved reorganisering ===
[[Fil:Pythagoras-proof-anim.svg|thumb|Bevis av Pytagoras’ teorem ved reorganisering.  Klikk på bildet for animasjon.|left]]

Det eksisterer flere bevis basert på å reorganisere areal.  Et eksempel er vist i figuren til venstre.  De to store kvadratene i figuren er like store, begge med sidelengde <math>a + b</math>.
De to kvadratene skiller seg kun ved den innvendige plasseringen av de fire trekantene. Arealet av de hvite områdene i de to store kvadratene må derfor være like, og dette gir Pytagoras’ setning.

Thomas Heath omtaler dette beviset og et forslag fra de to matematikerne [[Carl Anton Bretschneider]] og [[Hermann Hankel]] om at dette kan ha vært kjent av pytagoreerne.<ref name=TH144/>
Heath vil ikke avvise en slik teori, men mener selv at det er mer sannsynlig at pytagoreerne kjente beviset basert på formlike trekanter.  

=== Algebraisk bevis ===
[[Fil:Pythagproof.svg|thumb|Algebraisk bevis med fire identiske trekanter i et større kvadrat.]]

Et algebraisk bevis kan gjennomføres ved å betrakte fire identiske trekanter plassert i hjørnene til et større kvadrat.<ref name=CUT4>{{kilde www |url=http://www.cut-the-knot.org/pythagoras/index.shtml#4 |tittel=Pythagorean theorem. Proof 4 |språk=en |utgiver=Cut the Knot |besøksdato=2021-03-13}}</ref>
Beviset er gjengitt av den indiske matematikeren [[Bhaskara]], som levde på 1200-tallet.  

Sidelengdene i trekantene er <math>A</math>, <math>B</math> og <math>C</math>, og det store kvadratet har sidelengde <math>A + B</math>.

Arealet <math>S_T</math> av hver av de fire trekantene er gitt ved:

:<math>S_T = \frac{1}{2} AB \ .</math>

I hver trekant er motstående vinkel til <math>A</math>-siden og <math>B</math>-siden [[komplementvinkler]]. Også det blå området er derfor et kvadrat, med areal lik <math>C^2</math>. 
Arealet <math>S</math> til det store kvadratet med sidelengde <math>(A + B)</math> er gitt ved

:<math>S = (A + B)^2</math>

Alternativt kan dette uttrykkes som arealsummen for de fire trekantene og det blå kvadratet:

:<math>S = 4S_T + C^2 = 4\left(\frac{1}{2}AB \right) + C^2 \ .</math>

En sammenstilling av de to uttrykkene for <math>S</math> gir Pytagoras’ teorem.  

== Det omvendte teoremet ==

Euklid viste i teorem I.48 at også det omvendte Pytagoras’ teorem er gyldig, der en bytter forutsetning og konklusjon:<ref name=P48>{{kilde www| url=http://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.01.0086%3Abook%3D1%3Atype%3DProp%3Anumber%3D48 |tittel=Euclid ''Elements''. Book I, Proposition 48 |språk=en |utgiver=Perseus Digital Library |besøksdato=2021-03-12}}</ref>

:''«For tre vilkårlige, positive tall a, b og c der {{Nowrap|a<sup>2</sup> + b<sup>2</sup> {{=}} c<sup>2</sup>}}, finnes det en rettvinklet trekant med sider a, b og c. Den rette vinkelen er mellom sidene med lengde a og b.»''

Teoremet kan bevises som følger:

La <math>ABC</math> være en trekant med sidelengder <math>a</math>, <math>b</math> og <math>c</math>.  Anta også at <math>a^2 + b^2 = c^2</math>. Konstruerer en ny rettvinklet trekant <math>KLM</math>, med den rette vinkelen mellom sider med lengde <math>a</math> og <math>b</math>. Fra Pytagoras’ setning følger det at hypotenusen i trekant <math>KLM</math> har lengde <math>c</math>. Trekantene <math>ABC</math> og <math>KLM</math> har tre like sider og er derfor kongruente. Følgelig har de også like vinkler. I trekant <math>ABC</math> må derfor vinkelen mellom sidelengdene <math>a</math> and <math>b</math> være en rett vinkel.

== Pytagoreiske tripler ==
{{Utdypende|Pytagoreisk trippel}}
Et pytagoreisk trippel består av tre positive [[heltall]] <math>a</math>, <math>b</math>, og <math>c</math>, slik at <math>a^2 + b^2 = c^2</math>.<ref name=HW245>{{Kilde bok | forfatter= G.H. Hardy, E.W. Wright| utgivelsesår=2008| tittel=An introduction to the theory of numbers| forlag=Oxford University Press| utgivelsessted=Oxford| side=245-247| isbn=978-0-19-921985-8}}</ref>
En vanlig skrivemåte for et slikt trippel er <math>(a, b, c)</math>.  Et pytagoreiske trippel representerer sidelengdene i en rettvinklet trekant, når alle tre lengdene har heltallsverdier. Eksempler på pytagoreiske tripler er (3,4,5) og (5,12,13).

Dersom <math>(a, b, c)</math> er et pytagoreisk trippel, så vil også <math>(na, nb, nc)</math> være det, for et vilkårlig heltall <math>n</math>.  Dersom de tre tallene <math>a</math>, <math>b</math>, og <math>c</math> ikke har noen felles faktor, så kalles de tre tallene for et ''primitivt'' trippel.<ref name=JS/>  Tallene er da [[relativt primisk]]e.  Mens (3, 4, 5) er et primitivt trippel, er (6, 8, 10) et trippel med en felles faktor 2. 

Pytagoreiske tripler kan brukes til å konstruere rette vinkler og til å kontrollere om en gitt vinkel er rett.  Et hendig trippel er (60,80,100), et ikke-primitivt trippel som kan dannes ved å multiplisere tallene i (3,4,5)
med 20.  En vinkel i et innvendig hjørne i et rom kan kontrolleres ved å avsette henholdsvis 60&nbsp;cm langs den ene veggen, 80&nbsp;cm langs den andre. Om nå en meter-lengde passer mellom merkene, så er vinkelen rett. 

== Konsekvenser og bruk av læresetningen ==

=== Inkommensurable lengder og irrasjonale tall ===
En konsekvens av Pytagoras’ teorem er at det er mulig å konstruere [[Kommensurablitet (matematikk)|inkommensurable]] lengder, det vil si lengder med et forhold lik et [[irrasjonalt tall]]. Et enkelt eksempel er gitt ved rettvinklet trekant der begge katetene har lengde 1. Pytagoras’ setning gir at hypotenusen i en slik trekant har lengde lik kvadratroten av 2.  At dette tallet er et irrasjonalt tall, kan vises ved et enkelt algebraisk bevis, se [[Kvadratroten av 2]].

For greske matematikere var en irrasjonell størrelse definert som et forhold mellom lengder og ikke som et tall. Det skulle gå lang tid før en forståelse av irrasjonale ''tall'' skulle bli etablert.  
Eksistensen av inkommensurable lengder har opphav hos pytagoreerne, men det er ikke kjent nøyaktig når og hvordan kjennskap til slike størrelser ble etablert.<ref name=TH154>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.154-157 </ref> Historikeren [[Proklos]], som levde i det femte århundre etter Kristus, gir æren til Pytagoras selv, men ifølge Thomas Heath er det mest sannsynlig at kunnskapen oppstod en god stund etter at Pytagoras var død. En av flere alternative historier om pytagoreeren [[Hippasos]] et at han ble druknet, etter å ha røpet kunnskapen om inkommensurable størrelser.<ref name=TH65>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.65 </ref>
Euklid bruker bok X til å diskutere inkommensurable lengder og areal.<ref name=TH402>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.402ff </ref> 

=== Distanse i euklidske rom ===
[[Metrikk]]en eller avstandsmålet i euklidsk geometri er basert på Pytagoras’ teorem.   Hvis  <math>a = (x_1,y_1)</math> og <math>b = (x_2, y_2)</math> er [[Kartesisk koordinatsystem|kartesiske koordinater]] til to punkt i planet, så er avstanden mellom disse gitt ved 

:<math>d(a,b) = \sqrt{(x_2-x_1)^2 + (y_2-y_1)^2}. </math>

Dette avstandsmålet kalles ''euklidsk avstand'' eller ''euklidsk metrikk''.

I et generelt [[euklidsk rom|euklidsk n-dimensjonalt rom]] er avstanden mellom to vektorer <math>v_1 = (a_1,a_2,\dots,a_n)</math> og <math>v_2 = (b_1,b_2,\dots,b_n)</math> definert ved

:<math>d(v_1,v_2) = \sqrt{(a_1-b_1)^2 + (a_2-b_2)^2 + \cdots + (a_n-b_n)^2} = \sqrt{\sum_{i=1}^n (a_i-b_i)^2}.</math>

=== Bruk i kompleks analyse ===

[[Fil:Complex picture.svg|right|thumb|Absoluttverdien av et komplekst tall ''z'' svarer til avstanden ''r'' fra ''z'' til origo]]
Et vilkårlig [[komplekst tall]] kan skrives på formen

:<math>z = x + iy.</math>

Absoluttverdien eller modulus til dette tallet er definert ved<ref>{{Kilde bok| forfatter=R.V Churchill, J.W. Brown, R.F. Verhey| utgivelsesår=1974| tittel=Complex variables and applications| utgivelsessted=Tokyo| forlag=McGraw-Hill Kogakusha| side=7| isbn=0-07-010855-2 }}</ref>

:<math>r = |z|=\sqrt{x^2 + y^2}.</math>

Sammenhengen mellom de tre størrelsene <math>r</math>, <math>x</math> og <math>y</math> er gitt ved Pytagoras’ ligning:

:<math>r^2 = x^2 + y^2.</math>

Absoluttverdien <math>r</math> er alltid definert positiv, selv om <math>x</math> og <math>y</math> kan ha både positive og negative verdier.  Geometrisk er <math>r</math> avstanden fra origo til <math>z</math> i det komplekse planet.  

Avstanden mellom to komplekse tall <math>z_1</math> og <math>z_2</math> kan defineres ved

:<math>|z_1 - z_2|=\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}.</math>

Denne avstanden og de to gitte tallene er igjen relatert ved en ligning tilsvarende Pytagoras’ ligning:

:<math>|z_1 - z_2|^2 = (x_1 - x_2)^2 + (y_1 - y_2)^2.</math>

=== Den pytagoreiske trigonometriske identiteten ===
[[Fil:Trig functions.svg|thumb|Formlike rettvinklede trekanter med sinus og cosinus til en vinkel θ]]
For en rettvinklet trekant, som vist nederst i figuren til høyre, kan de [[Trigonometrisk funksjon|trigonometriske funksjonene]] sinus og cosinus defineres ved

:<math>
\begin{alignat}{2}
\sin \theta &= \frac{b}{c} \\
\cos \theta &= \frac{a}{c}
\end{alignat}
</math>

Ved å bruke Pytagoras' teorem, følger det fra disse definisjonene at

:<math>\sin^2 \theta + \cos^2 \theta = \frac{a^2 + b^2}{c^2} = 1 </math>

Denne grunnleggende identiteten blir kalt [[enhetsformelen]] og noen ganger også ''den pytagoreiske trigonometriske identiteten''.{{tr}}  For to formlike trekanter er forholdet mellom samsvarende sidelengder det samme,
og dette vil også gjelde for de to trekantene i figuren.  Den øverste rettvinklet trekanten har hypotenusen med lengde 1, og katetene har lengde <math>\sin \theta</math> og <math>\cos \theta</math>.

== Generaliseringer ==

=== Cosinussetningen ===
[[Fil:Triangle.Acute.png|thumb|Spissvinklet trekant]]
[[Fil:Triangolo-Ottuso.png|thumb|Stumpvinklet trekant]]
Pytagoras’ teorem er et spesialtilfelle av et mer generelt teorem om forholdet mellom sidelengder i en vilkårlig trekant, kjent som  [[cosinussetningen]] eller ''den utvidede pytagoreiske læresetning''.<ref name=EJW85>{{kilde bok | tittel=Plane trigonometry and applications |forfatter=Ernest Julius Wilczynski, Herbert Ellsworth Slaught |url=https://archive.org/details/planetrigonomet00wilcgoog |år=1914 |forlag=Allyn and Bacon |side=85ff}}</ref><ref>{{Kilde bok |utgivelsesår = 1986 |tittel = Matematikk for den videregående skole |isbn = 82-05-16032-5 |utgivelsessted = Oslo |forlag = Gyldendal |url = http://urn.nb.no/URN:NBN:no-nb_digibok_2014073005007 | side =25 }}</ref>
For en vilkårlig trekant med sidelengder <math>a</math>, <math>b</math> og <math>c</math> er

:<math>a^2+b^2-2ab\cos{\gamma}=c^2 </math>.

Her er <math>\gamma</math> vinkelen mellom sidene med lengde <math>a</math> og <math>b</math>.  For <math>\gamma</math> lik 90 grader er <math>\cos \gamma = 0</math>, og ligningen reduserer seg til den vanlige 
pytagoreiske ligningen.

Cosinussetningen gir en enkel metode for å bestemme om en trekant er rett, spissvinklet eller stumpvinklet. Siden cosinus-funksjonen er positiv for en spiss vinkel, men negativ for en stump vinkel, så gjelder følgende: 

* <math>a^2 + b^2 = c^2</math> hvis og bare hvis trekanten er rettvinklet.
* <math>a^2 + b^2 < c^2</math> hvis og bare hvis trekanten er spissvinklet.
* <math>a^2 + b^2 > c^2</math> hvis og bare hvis trekanten er stumpvinklet.

Her er forutsatt at <math>c</math> er den lengste siden.  En vanlig notasjon er å la vinklene i trekanten være <math>\alpha, \beta, \gamma</math>, slik at <math>\alpha</math> er motstående til sidelengden <math>a</math> og <math>\beta</math> motstående til sidelengden <math>b</math>.  Forholdene over kan da også uttrykkes slik:

* I en spissvinklet trekant er <math>\alpha + \beta > \gamma</math> og <math>a^2 + b^2 < c^2</math>.
* I en stumpvinklet trekant er <math>\alpha + \beta < \gamma</math> og <math>a^2 + b^2 > c^2</math>.

[[Edsger Dijkstra]] har samlet disse resultatene ved hjelp av [[Signum (matematikk)|fortegnsfunkjonen]]:<ref>{{kilde www||url=http://www.cs.utexas.edu/users/EWD/ewd09xx/EWD975.PDF |tittel=On the theorem of Phytagoras |utgiver=Edsger Dijkstra, University of Texas | besøksdato=2021-03-13}}</ref>

:<math>\sgn(\alpha + \beta - \gamma) = \sgn(a^2 + b^2 - c^2)</math>

=== Parallellogramloven ===
[[Image:Color parallelogram.svg|right|thumb|Sider i et parallellogram vist i blått og diagonalene i rødt]]
[[Parallellogramloven]] er en generalisering av Pytagoras’ sats til et vilkårlig parallellogram, tilskrevet [[Apollonios fra Perge]].<ref name=AH309>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.309 </ref>

: <math>2(AB)^2+2(BC)^2=(AC)^2+(BD)^2\ .</math>

For et rektangel er de to diagonalene like lange:  <math>AC = BD</math>, og parallellogramloven reduserer seg til Pytagoras’ læresetning.

=== Formlike figurer ===
Pytagoras’ læresetning kan tolkes som en relasjon mellom arealet til kvadrater på sidekantene.  Ved å multiplisere alle tre leddene i Pytagoras’ ligning med <math>\pi /8</math>, ser en umiddelbart at samme
relasjon også gjelder for arealene til halvsirkler med diameter langs sidekantene.  Dette resultatet er referert uten bevis av [[Hippokrates fra Khíos]], som levde i det femte århundre før Kristus.<ref name=TH397>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.397 </ref>
Euklid viste i bok VI av ''Elementer'' et bevis for a resultatet gjelder for vilkårlige formlike [[konveks polygon|konvekse polygon]].<ref name=TH397/>  I ettertid er det vist at resultatet er gyldig for vilkårlige formlike 
figurer, også figurer der sider er definerte ved kurver:{{tr}} 

:''«Hvis en reiser formlike figurer på sidene av et rett trekant, så er summen av arealene på de to minste sidene lik arealet av figuren på den største siden.»''

De tre sidelengdene i den rette trekanten er lik sidelengder i de tilstøtende figurene, slik at disse må være formlike i forholdet <math>a:b:c</math>.  Den grunnleggende idéen bak generaliseringen er at i formlike 
figurer er forholdet mellom arealet og kvadratet av en vilkårlig karakteristisk lengde det samme:

:<math>
\begin{alignat}{2}
&\frac{A}{a^2} = \frac{B}{b^2} = \frac{C}{c^2} \\[7pt]
&\Rightarrow A + B = \frac{a^2}{c^2}C + \frac{b^2}{c^2}C = C
\end{alignat}
</math>

{|
| [[Fil:Pythagoras applied to similar triangles.svg|thumb|Generalisering med formlike trekanter. For arealene gjelder ''A'' + ''B'' = ''C'']]
| [[Fil:Pythagoras by pentagons.svg|thumb|Generalisering med regulære pentagoner]]
|} 

=== Pappos arealteorem ===
[[Pappos fra Alexandria|Pappos]]  (3-4. århundre) gir et ''arealteorem'' han selv kaller en utviding av Euklid I.47.<ref name=TH369>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. II) s.369-371 </ref>
Dersom en på to sider i en vilkårlig trekant tegner to vilkårlige parallellogram, så kan en konstruere et parallellogram på den tredje siden, slik at arealet av dette er lik summen
av arealene til de to første.  

{|
| [[Fil:Pappus area theorem proof2.svg|thumb|Pappos' arealteorem: Summen av de to mørkegrå arealene er lik det lysegrå arealet]]
|} 

===Romgeometri ===
[[Fil:Pythagoras 3D.svg|thumb|Euklidsk avstand i rommet]]

En lengde i det tredimensjonale rommet kan defineres ved gjentatt bruk av Pytagoras’ setning.  I figuren til høyre kan en finne lengden av linjestykket <math>AD</math> ved å bruke den rettvinklede trekanten <math>ABD</math>:

:<math> AD^2 = AB^2 + BD^2 \ .</math>

Kateten <math>BD</math> i denne er gitt ved å bruke Pytagoras’ sats på trekanten <math>BCD</math>:

:<math> BD^2 = BC^2 + CD^2 \ .</math>

Kombinasjon av disse to ligningene gir

:<math> AD^2 = AB^2 + BC^2 + CD^2 \ .</math>

Resultatet er det tredimensjonale uttrykket for lengden av en vektor <math>\mathbf{v} = (v_1, v_2, v_3)</math>, basert på komponentene.  Vektoren svarer til diagonalen <math>AD</math>

:<math>\|\mathbf{v}\|^2 = \sum_{i=1}^3 v_i^2.</math>

=== de Guas teorem ===
I tre romdimensjoner er [[de Guas teorem]] en generalisering av Pytagoras’ læresetning til et [[tetraeder]]:<ref>{{kilde www| url=https://mathworld.wolfram.com/deGuasTheorem.html |tittel=De Gua's theorem |utgiver=Wolfram MathWorld |besøksdato=2021-03-14}}</ref>

:''«Hvis et tetraeder har et rettvinklet hjørne, så er kvadratet av arealet på den motstående side til den rette vinkel lik summen av kvadratene av arealene på de tre andre sidene.»''

Et rettvinklet hjørne er som hjørnet i en [[kube]].  Teoremet er navngitt etter [[Jean Paul de Gua de Malves]] (1713-1785).   

=== Indreproduktrom ===

Pytagoras’ sats kan generaliseres til et vilkårlig [[indreprodukt]]rom, som igjen er en generalisering av det euklidske rommet i to og tre dimensjoner.<ref name=MILNE>{{Kilde bok| forfatter= Ronald Douglas Milne| utgivelsesår=1980| tittel=Applied functional analysis, an introductory treatment| utgivelsessted= London| forlag= Pitman Publishing Limited| isbn=0-273-08404-6 }}</ref>  
Et indreproduktrom kan ha både endelig og uendelig dimensjon.  Elementene i et indreproduktrom, [[vektor]]ene, kan for eksempel være [[funksjon (matematikk)|funksjoner]]. 
I et indreproduktrom kan en definere lengden av elementer, avstanden mellom to elementer og også vinkelen mellom to elementer.  

Indreproduktet mellom to elementer <math>\mathbf{u}</math> og <math>\mathbf{v}</math> kan betegnes som <math>\langle \mathbf{u},\mathbf{v} \rangle</math>, og dette generaliserer det vanlige skalarproduktet mellom to endelig-dimensjonale vektorer.
To vektorer står [[ortogonalitet|ortogonalt]] på hverandre dersom indreproduktet mellom dem er lik null.  Lengden av en vektor er definert ved [[norm (matematikk)|normen]]:

:<math>\| \mathbf{u} \| = \sqrt{\langle \mathbf{u},\mathbf{u}\rangle} \, .</math>

I et indreproduktrom sier Pytagoras’ teorem at for to ortogonale vektorer <math>\mathbf{u}</math> og <math>\mathbf{v}</math> gjelder at 

:<math>\|\mathbf{u}+\mathbf{v}\|^2 = \|\mathbf{u}\|^2 + \|\mathbf{v}\|^2 \ .</math>

Vektorene <math>\mathbf{u}</math> og <math>\mathbf{v}</math> spiller samme rolle som katetene i en rettvinklet trekant, med hypotenusen gitt som vektorsummen <math>\mathbf{u} + \mathbf{v}</math>.
Teoremet følger av egenskaper til indreproduktet:

:<math>\left\| \mathbf{u} + \mathbf{v} \right\|^2 =\langle \mathbf{ u+v},\ \mathbf{ u+v}\rangle = \langle \mathbf{u},\ \mathbf{ u}\rangle +\langle \mathbf{v},\ \mathbf{v}\rangle +\langle\mathbf{ u,\ v }\rangle + \langle\mathbf{ v,\ u }\rangle \ = \left\| \mathbf{u}\right\|^2 + \left\| \mathbf{v}\right\|^2 . </math>

Ligningen kan generaliseres til et vilkårlig endelig antall parvis ortogonale vektorer:

:<math>\left\|\,\sum_{k=1}^{n}\mathbf{u}_k\,\right\|^2 = \sum_{k=1}^n \|\mathbf{u}_k\|^2.</math>

Også parallellogramloven kan generaliseres til et vilkårlig indreproduktrom, da med formen

::<math>2\|\mathbf{u}\|^2 +2 \|\mathbf{v}\|^2 = \|\mathbf {u + v} \|^2 +\| \mathbf{u-v}\|^2 \ . </math>

=== Differensialgeometri ===

I [[differensialgeometri]] blir det for det tredimensjonale euklidske rommet definert en infinitesimal lengde <math>ds</math> ved<ref>{{Kilde bok| forfatter= D.J. Struik| utgivelsesår=1961| tittel=Lectures on classical differential geometry| utgivelsessted=New York| forlag=Dover Publications| side=5-10| isbn=0-486-65609-8 }}</ref>

:<math>ds^2 = dx^2 + dy^2 + dz^2</math>.

Dette svarer til bruk at Pytagoras’ setning for en infinitesimal avstand mellom to punkt.  For en glatt parametrisk [[kurve]] gitt på formen

:<math>\mathbf{r}(t) = x(t)\mathbf{i}+ y(t)\mathbf{j} + z(t)\mathbf{k} \qquad  t \in [a,b] \, </math>

brukes dette til å definere [[buelengde]]n av kurven:

:<math>L =  \int_a^b \sqrt{ x'^2 + y'^2 +  z'^2} \; dt \ . </math>

=== Ikke-euklidsk geometri ===
Pytagoras’ setning er basert på aksiomer i euklidsk geometri, og den euklidske formen er ikke gyldig i [[ikke-euklidsk geometri]].  I 
[[sfærisk geometri]] vil for eksempel alle tre sidene i en rettvinklet trekant som begrenser en oktant i en enhetskule, ha sidelengder <math>\pi/2</math>. 
Dette bryter opplagt med Pytagoras’ ligning.  

For ikke-euklidsk geometri kan en utlede alternative former for Pytagoras’ teorem.  I sfærisk geometri gjelder det at 
for enhver rettvinklet [[sfærisk trekant]], på en kule med radius <math>R</math>, kan Pytagoras’ teorem skrives som:

:<math> \cos \left(\frac{c}{R}\right)=\cos \left(\frac{a}{R}\right)\,\cos \left(\frac{b}{R}\right).</math>

Når radien <math>R</math> går mot uendelig, vil kuleflaten nærme seg en plan flate.  Tilsvarende vil den sfæriske formen på Pytagoras’ teorem gå mot den euklidske formen.  
Dette kan vises ved å utvikle cosinus-leddene som [[Taylorrekke|maclaurinrekke]]r.  

I en [[hyperbolsk geometri]] med uniform krumning <math>1 / R^2</math> kan Pytagoras’ teorem uttrykkes som:

:<math> \cosh \frac{c}{R}=\cosh \frac{a}{R}\,\cosh \frac{b}{R}</math>

Ved å rekkeutvikle den hyperbolske funksjonen som en maclaurinrekke, vil (når man tar med de to første leddene) <math>\cosh x \approx 1 + x^2/2</math>. Det kan da vises at når en hyperbolsk trekant blir lite (altså når ''a'', ''b'' og ''c'' alle går mot null), vil den hyperbolske formen av teoremet gå mot den euklidske formen.

== Historie ==

Opphavet og historien til Pytagoras’ teorem har gjennom tidene skapt mye diskusjon, og mange teorier er fremsatt. Det kan være vanskelig å skille mellom fakta, tolkninger, grunngitte hypoteser og rene gjetninger. Kanskje har kunnskapen om sammenhengen mellom trekantsidene oppstått på ulike steder til ulike tider, uavhengig av hverandre.

Samtidig har mye kunnskap også blitt utvekslet på tvers av landegrenser og tidsepoker, uten at vi i dag har kjennskap til dette.  At en forståelse av teoremet har eksistert svært lenge før Pytagoras levde og virket, er nå allment akseptert.<ref name="AH26">[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.26 </ref><ref>{{Kilde artikkel|tittel=Pythagoras: Everyone knows his famous theorem, but not who discovered it 1000 years before him|publikasjon=Journal of Targeting, Measurement and Analysis for Marketing|doi=10.1057/jt.2009.16|url=https://doi.org/10.1057/jt.2009.16|dato=2009-09-01|fornavn=|etternavn=|serie=3|språk=en|bind=17|sider=229–242|issn=1479-1862|besøksdato=2023-10-05}}</ref> Antagelig har forståelsen for teoremet vokst fram gjennom ulike stadier: en oppfatning av en rett vinkel, kunnskap om pytagoreiske tripler, kjennskap til sammenhengen mellom sidene i en rettvinklet trekant, kjennskap til sammenhengen mellom trekantvinkler og endelig teoremets bevis.

Det er verdt å være oppmerksom på at bruk av begrep som «Pytagoras’ teorem» og «bevis» i forbindelse med oldtidens matematikk lett kan skape feil inntrykk. Et utsagn som «xxx hadde et bevis for Pytagoras teorem tusen år før Pytagoras» kan som regel møtes med mange spørsmål, både når det gjelder kildebruk, tidsbestemmelse, formen på «teoremet» og kvaliteten av «beviset».  

=== I forhistorisk matematikk ===
Oppmåling av europeiske og egyptiske [[Megalittiske monument|megalittiske monumenter]] fra ca. 2500 år f.Kr. har ført til at det er framsatt teorier om at steinene i disse monumentene er plassert i former basert på rettvinklede trekanter med heltalssider.<ref>{{Kilde www|url=http://hyperion.cc.uregina.ca/~astro/Mega_circ.html |tittel=Megalithic monuments |besøksdato=2010-01-17|arkiv-url=https://web.archive.org/web/20110706211316/http://hyperion.cc.uregina.ca/%7Eastro/Mega_circ.html|arkivdato=2011-07-06|url-status=død}}</ref> Den nederlandske matematikeren [[Bartel Leendert van der Waerden]] gjetter på at de involverte pytagoreiske triplene ble funnet algebraisk.<ref>[[#WAE| B.L. van der Waerden: ''Geometry and algebra ...'']] s.??</ref>

=== I babylonsk matematikk ===
{{utdypende|Babylonsk matematikk}}
[[Fil:Plimpton 322.jpg|thumb|Plimpton 322 med en tabell for pytagoreiske tripler]]
Funn av steintavler fra viser at [[Babylon|babylonerne]] var godt fortrolige med ulike former for algebra, inkludert beregning av pytagoreiske tripler.<ref name=AH21>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.21ff </ref>  
Det har vært spekulert i hva babylonerne brukte de pytagoreiske triplene til, og en mulighet kan ha vært i løsning av systemer av andregradsligninger med to ukjente.  
Babylonerne var også kjent med sammenhengen mellom en rettvinklet trekant og pytagoreiske tripler.  

En svært viktig kilde til kunnskap er [[kileskrift]]tavlen [[Plimpton 322]] fra [[Mesopotamia]], skrevet i perioden 1822-1784 f.Kr.<ref name=AH21/> Den antas å stamme fra den babylonske byen [[Larsa]]. Tavlen inneholder en tabell 
med fire kolonner og 15 rader.  Kolonne nummer fire fra venstre nummererer radene, med tall fra 1 til 15.  Kolonne nummer en er delvis ødelagt.  Kolonne nummer to og tre har som overskrift henholdsvis
«Bredde» og «Diagonal».  Tabellen er tolket som å inneholde tall brukt for å konstruere pytagoreiske tripler, inkludert de følgende:

:<math>
\begin{alignat}{2}
(56, 90, 106) \\
(119, 120, 169) \\
(12709, 13500, 18541)
\end{alignat}
</math>.

En slik tolkning viser at babylonerne hadde metoder til å regne ut triplene, og tallene i tavlen kan indikere at de kjente Diofants konstruksjonsmåte.

En annen tavle i kileskrift, fra [[Hammurabi|Hammurabi-dynastiet]] (1829–1530 f.Kr.), finnes nå i [[British Museum]].<ref name=BM1>{{kilde www |url=https://www.britishmuseum.org/collection/object/W_1899-0415-3 |tittel=Tablet 85196 |utgiver=British Museum |besøksdato=2021-03-14}}</ref> 
Tavlen inneholder et geometrisk problem, med løsning gitt i det [[Seksagesimalsystem|seksagesimale tallsystem]]:<ref>[[#HG| H. Geriche: ''Mathematik in Antike und Orient '']] s.33f </ref><ref>[[#KV| K. Vogel: ''Vorgriechische Mathematik'']] s.67f </ref>
[[Fil:Pythagoras_Sexagesimal.gif|thumb|left|En stav med lengde 0;30 senkes 0;6 ved at foten flyttes til siden. Hvor langt til siden flyttes fotpunktet?]]
{|
|
|----- bgcolor="#DDDDDD"
! 
! 
|----- bgcolor="#BBBBBB"
|Originalteksten i oversettelse || Kommentarer
|----- bgcolor="#EEEEEE"
| ''En stav: 0;30 GAR'' || 30/60 GAR = 1/2 GAR ≈ 3 m lang.<ref>[[#KV| K. Vogel: ''Vorgriechische Mathematik'']] s.20 </ref>
|----- bgcolor="#EEEEEE"
| ''foroven er den sunket 0;6'' || Når toppen er senket 6/60
|----- bgcolor="#EEEEEE"
| ''nedentil har den fjernet seg'' || ..hvor langt har foten fjernet seg fra vertikalen?
|----- bgcolor="#EEEEEE"
| ''0;30 kvadrere: 0;15, skjønner?'' || (30/60)<sup>2</sup> = 900/3500 = 15/60
|----- bgcolor="#EEEEEE"
| ''trekke 0;6 fra 0;30: 0;24, skjønner?'' || -6/60 + 30/60 = 24/60
|----- bgcolor="#EEEEEE"
| ''0;24 kvadrere: 0;9,36, skjønner?'' ||(24/60)<sup>2</sup> = 576/3600 = 0;9,36
|----- bgcolor="#EEEEEE"
| ''trekk 0;9,36 fra 0;15: 0;5,24, skjønner?'' || - 576/3600 + 15/60 = 324/3600 = 0;5,24 
|----- bgcolor="#EEEEEE"
| ''0;5,24 har kvadratroten? 0;18'' || (324/3600)<sup>−2</sup> = 18/60 = 0;18
|----- bgcolor="#EEEEEE"
| ''0;18 GAR har den fjernet seg ved bakken'' || 
|}
{{Clear}}
Løsningen i tavlen kan skrives som:

:<math>0;18^2 = 0;30^2 - 0;24^2\ .</math> 

Dette svarer til Pytagoras’ sats på formen <math> a^2 = c^2 - b^2</math>.  Fra denne kilden fremgår imidlertid ikke om babylonerne kjente noe matematisk bevis.

Ifølge historikeren [[Jamblikos]] skal Pytagoras ha oppholdt seg tolv år i Babylon.<ref name=AH169>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.169 </ref>  

=== I egyptisk matematikk ===
{{utdypende|Oldtidens egyptiske matematikk}}
En vanlig oppfatning er at egyptisk matematikk ikke nådde like langt som den babylonske, spesielt ikke innenfor algebra.<ref name=AH59>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.59ff </ref><ref name=BO40>[[#BOYER|C.B.Boyer: ''A history of mathematics'']] s.40 </ref> 
Om de utviklet ''ny'' geometrisk kunnskap er omdiskutert.<ref name=BO40/>  Gjennom landmåling la imidlertid egypterne et grunnlag for den etterfølgende greske geometrien, og egypterne har brukt 
pytagoreiske tripler til hjelp for å konstruere rette vinkler.  En tau-ring med tolv ekvidistante knuter kan brukes til å danne en trekant med sidene 3,4,5, og derved danne en rett vinkel.  

Det er lite funn av direkte kilder om egyptisk kjennskap til den pytagoreiske læresetningen.  Verken [[Moskva-papyrusen]] eller [[Rhind-papyrusen]] nevner problemstillinger der denne er i bruk.  
[[Berlinpapyrus 6619|Berlin-papyrus 6619]] er skrevet mellom 2000 og 1786 f.Kr. i [[Mellomriket i Egypt|Mellomriket]], og her forekommer fire ligninger som alle er basert på det pytagoreiske trippelet 
(3,4,5):<ref>{{kilde bok| forfatter=Stephen Hawking |tittel=God created the integers: The mathematical breakthroughs that changed history |forlag=Greenworld Books |år=2005 |isbn=978-0762419227 |url=https://books.google.no/books?id=Lu83DgAAQBAJ&pg=PT23&lpg=PT23#v=onepage&q&f=false}}</ref>

:<math>
\begin{alignat}{2}
1^2 + ( \frac{3}{4} )^2 &= ( 1\frac{1}{4} )^2 \\
8^2 + 6^2 &= 10^2 \\
2^2 + ( 1\frac{1}{2} )^2 &= ( 2\frac{1}{2} )^2 \\
16^2 + 12^2 &= 20^2 
\end{alignat}
</math>

Papyrusen inneholdet imidlertid ingen referanse til trekanter.

Mye av kunnskapen om egyptisk geometri kommer fra greske kilder.<ref name=TH123>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.123ff</ref>
Den antikke historikeren [[Herodot]] forteller om egyptisk landmåling og gir dette æren for opphavet til geometri.  
Proklos forteller at grekeren [[Tales fra Milet]] reiste til Egypt og lærte geometri der.
Også Pytagoras skal ha vært på reise i Egypt.<ref name=AH169/>
[[Demokrit]] skryter av at ingen har overgått ham i geometrisk kunnskap, ikke en gang de egyptiske «tau-strekkerne».<ref name=TH123/>

=== I indisk matematikk ===
{{utdypende|Indisk matematikk}}
[[File:Pythagoras sulbasutram50.png|thumb|Geometri i Sutra 50]]
[[Śulbasūtraene]] er en samling av indiske [[sutra|sutra-tekster]] fra engang mellom det 8. og 2. århundre f.Kr.  Dette verket er en del av en større samling av religiøse tekster, 
og delen omtaler matematikk for å kunne konstruere brennalter og for å sette opp en kalender over religiøse høytider<ref name=SV>{{kilde bok|forfatter=Swami Vishnu |tittel=Vedic science & history |forlag=Gosai Publishers |år=2018 |isbn=978-8-1926601-3-4 |side=65f}}</ref>
Tittelen kan oversettes med «Regler for bruk av snoren».<ref name=AH122>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.122 </ref>
Teksten lister fem pytagoreiske tripler, gir en form for Pytagoras’ teorem og viser i tillegg at teoremet er gyldig for en likesidet trekant.<ref>[[#HG| H. Geriche: ''Mathematik in Antike und Orient '']] s.68</ref><ref name=OB>{{kilde bok |forfatter=Oskar Becker |tittel=Das mathematische Denken der Antike |forlag=Vandenhoeck & Ruprecht |utgivelsessted=Göttingen |år=1966 |side=55f}}</ref><ref>[[#EUKLID| Euclid: ''The thirteen books of...'']] s.360-364</ref>

Der eksisterer minst fire versjoner av Sulbasutraene, men geometri-beskrivelsen er relativt like i disse fire.<ref name=DWH>{{kilde bok| tittel=Experiencing geometry |forfatter=David W. Henderson, Daina Tamina |forlag=Project Euclid |isbn=978-0131437487 |url=https://projecteuclid.org/ebooks/books-by-independent-authors/Experiencing-Geometry/chapter/Chapter-13-Square-Roots-Pythagoras-and-Similar-Triangles/10.3792/euclid/9781429799850-17 |side=174ff}}</ref>
Versjonen som skal være laget av Baudhayana er anslått å være fra omkring 600 f.Kr., det vil si rundt hundre år før Pytagoras. Mye tyder på at kunnskapen som er samlet i teksten kan være betydelig eldre.  
Baudhayana-Sulbasutra drøfter flere problem der oppgaven er å konstruere en figur med samme areal som en eller flere andre figurer.  I Sutra 50 gir teksten en oppskrift for å summere arealet av to kvadrat, illustrert ved figuren til høyre:

{{sitat|Hvis du vil slå sammen to ulike kvadrater til ett, ta det største kvadratet og legg til et bit av det største. Biten skal være laget med en side lik siden i det minste kvadratet.  Diagonalen i denne biten er siden i det kombinerte kvadratet.|Baudhayana Sutra 50<ref name=DWH/>}}

Sutra 50, 51 og 54 gir sammen en form for godtgjøring for at Pytagoras’ sats er riktig. Om dette kan gjelde som et generelt «bevis» er omdiskutert.<ref name=DWH/><ref name=TH144/>

Det er blitt foreslått at inderne hentet kunnskap fra Mesopotamia,<ref name=BO229>[[#BOYER|C.B.Boyer: ''A history of mathematics'']] s.229 </ref> men også motsatt, at Mesopotamia fikk kunnskap fra India.<ref name=DWH/>

=== I kinesisk matematikk ===
{{utdypende|Kinesisk matematikk}}
[[Fil:Chinese pythagoras.jpg|thumb|Grafisk bevis for en (3, 4, 5) trekant, gjengitt i ''Zhoubi suanjing'']]
Også kinesisk matematikk har i lang tid kjent til former for Pytagoras’ teorem.
Den eldste kjente kinesiske matematiske teksten er antagelig ''[[Soluret og himmelens sirkler|Zhoubi suanjing]]'' (''Soluret og himmelens sirkler'').<ref name=BO217>[[#BOYER|C.B.Boyer: ''A history of mathematics'']] s.217 </ref> 
Tidfestingen av gamle kinesiske matematiske verk er svært usikker, og datering varierer sterkt i ulike kilder. Historien til ''Zhoubi suanjing'' kan gå helt tilbake til 1200 f.Kr, men verket har kanskje fått
en endelig form en gang mellom 500 f.Kr. og 200 e.Kr.  Innholdet er astronomiske beregninger, men også geometri for trekanter og litt om brøkregning.  I likhet med både babylonske, indisk og egyptiske tekster, er dette en samling av problemer, med løsning. 
Blant de 246 problemene som er med i verket, inngår en figur som viser at kineserne kjente til den pytagoreiske læresetningen, med en trekant med sidelengder 
3, 4 og 5.<ref name=OB/><ref name=AH87>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.87 </ref>  
Figuren er gjengitt til høyre. Den vertikale teksten til venstre for figuren er som følger: 

:勾股幂合以成弦幂
:''gōu gǔ mì hé yǐ chéng xián mì'' 
{{sitat|Summen av lengdene til kvadratene til høyden og basen er lik lengden til hypotenusen.|''Soluret og himmelens sirkler''{{tr}}}}

Nesten like gammelt som ''Zhoubi suanjing'', og kanskje vel så innflytelsesrikt, er verket ''[[Ni kapitler om den matematiske kunst|Chiu chang suan shu]]'' («Ni kapitler om den matematiske kunst»).<ref name=BO217/><ref name=AH87/>
Også dette er en problem-samling, med løsning på 263 matematiske problemer. I det niende og siste kapittelet omtales pytagoreiske tripler og rette trekanter.<ref>[[#FS|F. Swetz, T.I. Kao: ''Was Pythagoras Chinese? ...'']] s.?? </ref> 
Et klassisk problem, som en også finner i indiske tekster, er «problemet med den brukne bambusen»:<ref name=AH87/> Et bambustre som er 10 lengder høyt, knekker.  Toppen når da bakken 3 lengder fra foten av stammen.  Hvor høyt oppe er
bambusen brukket?  Løsningen krever bruk av Pytagoras’ sats.  Hvis <math>x</math> er høyden til fra foten til knekkpunktet, så er

:<math>
\begin{alignat}{2}
&(10 - x)^2 = x^2 + 3 \\
&\Rightarrow 20x = 91
\end{alignat}
</math>

En kommentar til ''Chiu chang suan shu'', med tittel ''[[Jiuchang suan shu]]'', ble skrevet av [[Liu Hui]] i året 263 e.Kr. Her blir det gitt et bevis{{utdyp|For hva?}} i kapittel 9.<ref>{{kilde bok |forfatter=Karine Chemla, Guo Shuchun |tittel= Les neuf chapitres. Le classique de la Chine ancienne et ses commentaires. Édition critique. |forlag=Dunod |år=2005 |side=680 |isbn=978-2100495894}}</ref>

Den pytagoreiske læresetningen var kjent i Kina under navnet ''Gōugŭ'' (勾股), «base og høyde». For en trekant med sidene 3, 4 og 5 ble læresetningen kalt ''Gōugŭ-teoremet'' (勾股定理, Gōugŭ Dìnglĭ).{{tr}}

=== Pytagoras’ rolle ===
{{utdypende|Pytagoras}}
[[Fil:Kapitolinischer Pythagoras adjusted.jpg|thumb|Byste av Pytagoras i [[Kapitolmuseene]] i Roma.]] 
Svært lite håndfast er kjent om personen Pytagoras. Det er ikke funnet noe skriftlig verken fra ham eller fra miljøet rundt ham, og all kunnskap kommer fra senere omtale.  Nøyaktig leveår for Pytagoras er ikke kjent, men det er antatt at han levde i perioden 580-475 f.Kr.<ref name=AH164>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.164 </ref> Beretninger om Pytagoras reiser til Babylonia og Egypt, fortalt av blant annet [[Jamblikos]], har i ettertiden blitt møtt med både tillit og skepsis, men det er grunn til å tro at de inneholder en kjerne av sannhet.<ref name=AH169/><ref name=AH178>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.178f </ref> Pytagoras ble leder for et filosofisk, matematisk og religiøst brorskap i [[Crotone|Kroton]], kjent som pytagoreerne.  

Hvor mye kunnskap pytagoreerne hadde om sammenhengen mellom sidene i en rettvinklet trekant, er ikke kjent. Både Pytagoras og senere følgesvenner var nok fortrolige med pytagoreiske tripler, og etter tradisjonen skal kjennskapen til (3,4,5) ha kommet fra Egypt.<ref name=ESL4/> Om de hadde et bevis for sammenhengen mellom sidelengdene i en trekant, er omdiskutert.  Thomas Heath gir flere bevis som ''kan'' ha vært brukt av pytagoreerne.  Det er heller ikke kjent hva som ga støtet til kunnskapen om inkommensurable størrelser.  Muligens kom dette fra arbeid med [[pentagram]]et, som var viktig for pytagoreerne, men det er også naturlig å anta at en likesidet trekant har vært involvert.  
 
En tidlig kilde som tilegner teoremet til Pytagoras, skal ha vært en [[Apollodoros Arithmetikos]], og han blir sitert av flere senere kilder.<ref name=TH144/>  Detaljer om Apollodoros liv er ikke kjent. Verset som blir sitert etter Apollodoros er heller ikke entydig:

{{Sitat|''Da Pytagoras, som første, den berømte tegningen fant,<br />
han brakte da som offer et guddommelig oksedyr.''|{{tr}}}}

Apollodoros sier ingenting om hvilken «berømt tegning» han viser til.  Det greske ordet brukt om «tegning» kan også tolkes som «teorem».<ref name=TH144/>  Fortellinger om dyreoffer som takk for kunnskap var også tidligere blitt knyttet til andre, inkludert til Tales.  [[Diogenes Laertios]] (3. århundre f.Kr.) og flere andre går ut fra at verset gjelder oppdagelsen av Pytagoras’ sats.  Romeren [[Marcus Tullius Cicero|Cicero]] (106-43 f.Kr.) bruker fortellingen om Pytagoras og dyreofferet, uten å spesifisere hvilken geometrisk oppdagelse det gjaldt.  Han er imidlertid skeptisk, fordi dyreoffer ikke var godtatt blant pytagoreerne.  En annen romer, [[Vitruvius]] (ca. 80-ca.15 f.Kr.), knytter fortellingen til oppdagelsen av det pytagoreiske trippelet (3,4,5). [[Plutark]] (45-120) var kritisk til å tolke verset i tilknytning til Pytagoras’ teorem. Trass denne uenigheten, var det mange som i ettertid ga Pytagoras æren for å ha oppdaget teoremet.<ref name=TH144/> Proklos i det femte århundre etter Kristus stadfester dette, uten selv å ta stilling til sannhetsinnholdet. Ifølge Proklos bør Euklid bli gitt største æren, for han var den ga bevis for teoremet.

I sitt store verk om historien til gresk matematikk, sier Thomas Heath i avsnittet om Pytagoras’ teorem:

{{sitat|Though this is the proposition universally associated with the name of Pythagoras, no really trustworthy evidence exists that it was actually discovered by him. <br/>
... <br/>
I would not go so far as to deny to Pythagoras the credit of the discovery of our proposition; nay, I like to believe that the tradition is right, and that it was really his.|Thomas Heath<ref name=TH144/>}}

I ettertiden har det vært stor uenighet om Pytagoras’ rolle, og flere hypoteser er gjeldende:
* Pytagoras overtok satsen fra babylonerne. Han var kun en formidler av orientalsk kunnskap til grekerne. Dette er synet til vitenskapshistorikeren [[Walter Burkert]].<ref>{{kilde bok| forfatter=Walter Burkert |tittel=Weisheit und Wissenschaft |utgivelsessted=Nürnberg |år=1962 |side=405f, 441ff}}</ref>  
* Pytagoras oppdaget og beviste satsen uavhengig av orientalsk matematikk. Dette var en vanlig oppfatning i antikken og er også synet til vitenskapshistorikeren [[Leonid Zhmud]].<ref>{{kilde bok| forfatter=Leonid Zhmud |tittel=Wissenschaft, Philosophie und Religion im frühen Pythagoreismus |utgivelsessted=Berlin |år=1997 |side=141-151, 160-163}}</ref><ref>[[#EUKLID| Euclid: ''The thirteen books of...'']] s.350-360</ref>
* Pytagoras støttet seg til orientalske kilder, men var den første som fant et bevis. Egypterne og babylonerne var primært interessert i satsens anvendelse og ikke i et generelt bevis. 
* Pytagoras hadde selv få eller ingen bidrag. Andre pytagoreere kan på et senere tidspunkt ha funnet et bevis og så har dette blitt knyttet til Pytagoras.

Oppfatningen til Thomas Heath ligger kanskje et sted mellom de to siste hypotesene.    

=== Euklids rolle ===
{{utdypende|Evklid}}
Euklid hadde mesteparten av sitt virke i [[Alexandria]], omkring 300 f.Kr.  
Beviset som Euklid bruker for Pytagoras’ teorem i I.47 er antagelig hans eget.<ref name=TH378>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.378 </ref>  Det betyr ikke at det ikke eksisterte eldre bevis eller at Euklid ikke kjente til disse.  Euklid bygger opp ''Elementer'' svært systematisk, og beviser satsene steg for steg.  Beviset for I.47 ble antagelig valgt fordi det ikke trengte bruk av formlike figurer og forhold mellom lengder.  Dette emnet ble først introdusert i bok V.  Pytagoras’ teorem og det omvendte teoremet avslutter bok I, som høydepunkt.  Så om beviset for I.47 i dag kan synes unødig komplisert, så er Euklids fortjeneste at han greidde å gjennomføre dette kun basert på innholdet i bok I.  

Euklids ''Elementer'' ble antagelig skrevet som en lærebok og ikke som et forsøk på å samle all kjent geometrisk kunnskap eller presentere ny kunnskap.<ref name=TH354>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.354ff </ref> Ingenting blir nevnt om opphavet til innholdet, og heller ikke Pytagoras er nevnt. Det er antatt at store deler av innholdet i bok I, II, IV og VI var kjent for pytagoreerne.<ref name=TH201>[[#TH|T. Heath ''A history of Greek mathematics'']] (Vol. I) s.201 </ref> Euklid gjør ingen krav på originalitet, men han har antagelig laget nye bevis der dette har vært nødvendig for sammenhengen.<ref name=TH354/> Det store bidraget til Euklid var den systematiske oppbyggingen av teorien, der alt blir stringent bevist.

{{sitat|In rectangulis triangulisquadratum, quod a latere rectum angulum subtendentedescribitur, aequale est eis, quae a lateribus rectumangulum continentibus describuntur.|Euklid I.47 i latinsk versjon<ref name=ESL4>[[#ESL| E.S. Loomis: ''The Pythagorean proposition'']] s.4 </ref>}}

{{sitat|I rettvinklede trekanter er kvadratet på siden motstående til den rette vinkelen lik kvadratene på sidene som avgrenser den rette vinkelen|Euklid I.47 i norsk omsetting etter T. Heath<ref name=AH264>[[#AH| A. Holme: ''Matematikkens historie'']] (Bind 1) s.264 </ref>}}

== I kulturen ==
Pytagoras’ læresetning er gjennom tidene referert til eller gjengitt i en lang rekke sammenhenger:

* Et vers i «Generalmajorens sang» i musikalen ''The Pirates of Penzance'' av [[Gilbert og Sullivan]] har referansen: «About binomial theorem I'm teeming with a lot o' news, With many cheerful facts about the square of the hypotenuse.»
* Fugleskremselet Scarecrow i [[Trollmannen fra Oz]] gir en referanse til teoremet idet han mottar eksamensbevis fra trollmannen. Han fremviser umiddelbart sin «kunnskap» ved å gjengi en radbrukket og ukorrekt versjon av teoremet: «Summen av kvadratroten på to tilfeldige sider av en likesidet trekant er lik kvadratroten av den siste siden. Oh, hurra! Jeg har vel en hjerne!»
* I en episode av ''[[Simpsons|The Simpsons]]'', etter å ha funnet [[Henry Kissinger]]s briller på toalettet i Springfield Nuclear Power Plant, tar [[Homer Simpson|Homer]] dem på og gjengir Oz Scarecrows forenklede versjon av teoremet. En mann i nærheten roper ut: «Det er en rettvinklet trekant – din idiot!»
* I talesynteseprogramvaren i [[macOS|Mac OS X]] finnes en stemme kalt Ralph, som gjengir teoremet i en eksempeltekst. 
* For en ''Past Master'' bruker [[frimureri|frimuerere]]et symbol som er et diagram Euklid brukte i sitt bevis av teoremet.
* I [[Neal Stephenson]]s spekulative fiction ''Anathem'' er Pytagoras’ teorem gjengitt som ''the Adrakhonic theorem''. Et geometrisk bevis er gjengitt på et romskip, for å vise eiernes kunnskap om matematikk.
* I den engelske versjonen av den syttende boken om [[Asterix]], ''The Mansions of the Gods'', benytter [[Julius Cæsar]] seg av tjenesten til arkitekten ''Squareonthehypotenus'' (''Kvadratetpåhypotenusen'').
* I 2000 utga Uganda en mynt med form som en rett trekant. Myntens bakside har en illustrasjon av Pytagoras og Pytagoras’ teorem, sammen med teksten «Pythagoras Millennium».<ref>{{Kilde www| url=http://homepage.sefanet.ch/meylan-sa/saviez-vous1.htm| tittel=Le Saviez-vous ?| url-status=død| arkivurl=https://web.archive.org/web/20090921060307/http://homepage.sefanet.ch/meylan-sa/saviez-vous1.htm| arkivdato=2009-09-21}}</ref> 
* Hellas, Japan, San Marino, Sierra Leone og Surinam er alle land som har gitt ut frimerker med motiver av Pytagoras og Pytagoras’ teorem.<ref>{{Kilde www| url=http://members.tripod.com/jeff560/index.html| tittel=Images of mathematicians on postage stamps| forfatter=Miller, Jeff| dato=3. august 2007| besøksdato=6. august 2007}}</ref>

Historien om dyreofferet til Pytagoras har inspirert dikteren [[Adelbert von Chamisso]] til en [[sonett]], ''Vom pythagoreischen Lehrsatz'', der første vers lyder:{{tr}}

{{Sitat|Die Wahrheit, sie besteht in Ewigkeit, <br />
Wenn erst die blöde Welt ihr Licht erkannt; <br />
Der Lehrsatz nach Pythagoras benannt <br />
Gilt heute, wie er galt zu seiner Zeit.}}

Oversatt til norsk kan det gjengis slik:

{{Sitat|Evighet er Sannhetens byggekloss, <br />
At verden så lyset, er hva det krevde; <br />
Den læresetningen Pytagoras ga oss <br />
Gjelder like mye i dag som da han levde.}}

== Referanser ==
<references/>

== Litteratur ==

'''På norsk''':

*{{Kilde bok
| ref=AH                                           
| forfatter= Holme, Audun
| utgivelsesår=2008
| tittel=Matematikkens historie
| utgivelsessted=Bergen
| forlag=Fagbokforlaget
| bind=1
| isbn=978-82-450-0697-1}}

'''På engelsk:'''

*{{Kilde bok
| ref=BOYER
| forfatter= Boyer, Carl B.
| utgivelsesår=1968
| tittel=A history of mathematics
| utgivelsessted= Princeton, USA
| forlag= John Wiley & Sons, Inc
| isbn= 0-691-02391-3 }}
* {{kilde bok
| ref=EUKLID
| forfatter=Euclid 
| tittel=The thirteen books of the Elements. Translated with an introduction and commentary by Sir Thomas L. Heath 
| bind=I, II og III 
| forlag=Dover 
| isbn=978-0-486-60088-8 
| utgivelsesår=1956}}
*{{Kilde bok
| ref=TH 
| forfatter= Heath, Thomas
| utgivelsesår=1981
| tittel=A history of Greek mathematics
| bind=I og II
| utgivelsessted=New York
| forlag=Dover Publications
| isbn=0-486-24073-8 }}
*{{kilde bok
| ref=ESL 
| forfatter=Loomis, Elisha Scott 
| tittel=The Pythagorean proposition
| utgivelsessted=Washington, D.C 
| forlag=The National Council of Teachers of Mathematics 
| utgivelsesår=1968 
| isbn=978-0873530361
| url=https://files.eric.ed.gov/fulltext/ED037335.pdf }}
*{{kilde bok
| forfatter=Maor, Eli 
|tittel=The Pythagorean theorem: A 4,000-Year History 
|utgivelsessted==Princeton, New Jersey 
|forlag=Princeton University Press 
|år=2007 
|isbn=978-0-691-12526-8}}
*{{kilde bok
| forfatter=Stillwell, John 
|tittel=Mathematics and its history 
|forlag=Springer-Verlag 
|år=1989 
|isbn=3-540-96981-0}}
*{{kilde bok
|ref=FS 
|forfatter=Swetz, Frank, Kao, T. I. 
|tittel=Was Pythagoras Chinese? An examination of right triangle theory in ancient China 
|forlag=Pennsylvania State University Press 
|år=1977}}
*{{kilde bok
| ref=WAE 
| forfatter=van der Waerden, B.L. 
|tittel=Geometry and algebra in ancient civilizations 
|forlag=Springer 
|år=1983 
|isbn= 978-0387121598}}

'''På tysk:'''

*{{kilde bok| forfatter=Fraedrich, Anna M. |tittel=Die Satzgruppe des Pythagoras |forlag=Spektrum Akademischer Verlag |utgivelsessted=Heidelberg |år=1994 |isbn=3-86025-669-6}}
*{{kilde bok |ref=HG |forfatter=Gericke, Helmuth |tittel=Mathematik in Antike und Orient |forlag=Springer |utgivelsessted=Berlin |isbn= 978-3-642-68630-6 |år=1984}}
*{{kilde bok |ref=KV |forfatter=Vogel, Kurt |tittel=Vorgriechische Mathematik |forlag=Hermann Schroedel |bind=Teil II: Die Mathematik der Babylonier |utgivelsessted=Hannover |år=1959}}

== Eksterne lenker ==
* {{Offisielle lenker}}
* {{kilde www|url=http://www.cut-the-knot.org/pythagoras/index.shtml |tittel=Pythagorean Theorem |utgiver=Cut the Knot |språk=en |besøksdato=2021-03-15 |kommentar=Mer enn 70 bevis}} 
* {{kilde www|url=http://www-groups.dcs.st-and.ac.uk/~history/PrintHT/Babylonian_Pythagoras.html |tittel=Pythagoras's Theorem in Babylonian Mathematics |utgiver=MacTutor |språk=en |besøksdato=2021-03-15 }} 
* {{kilde www|url=http://mathworld.wolfram.com/PythagoreanTheorem.html |tittel= Pythagorean Theorem |utgiver=Wolfram MathWorld |språk=en |besøksdato=2021-03-15 }} 
* {{kilde www|url=https://mathcs.clarku.edu/~djoyce/java/elements/toc.html |tittel=Euclid's Elements|utgiver = Clark University, USA| språk=en |besøksdato=2021-03-15 }} 

{{Matematikk}}
{{Utmerket}}
{{Autoritetsdata}}

[[Kategori:Euklidsk plangeometri]]
[[Kategori:Matematikkens historie]]
[[Kategori:1000 artikler enhver Wikipedia bør ha]]
[[Kategori:Ligninger]]