Pravougli trougao čije su dužine stranica prirodni brojevi zovemo Pitagorin trougao. Uredenu trojku prirodnih brojeva (x, y, z) zovemo Pitagorina trojka ako su x i y katete, a z hipotenuza nekog Pitagorinog
trougla, tj. ako vrijedi:
{\displaystyle x^{2}+y^{2}=z^{2}.}
Ako su x, y i z relativno prosti, onda kažemo da
je (x, y, z) primitivna Pitagorina trojka.
Proučavanje Pitagorinih trouglova u uskoj je vezi s diofantskom jednačinom

U svakom Pitagorinom trouglu važi
dužina bar jedne katete djeljiva je sa 3,
dužina bar jedne katete djeljiva je sa 4,
dužina bar jedne stranice djeljiva je sa 5.
Neka je Pitagorina trojka (x, y, z) primitivna.
Uocimo najprije da kvadrat prirodnog broja koji nije djeljiv s 3 pri dijeljenju s 3 daje ostatak 1.

{\displaystyle (3k+1)^{2}=9k^{2}+6k+1=3(3k^{2}+2k)+1}
{\displaystyle (3k-1)^{2}=9k^{2}-6k+1=3(3k^{2}-2k)+1}
Ako x i y i nisu djeljivi sa 3 , z2
pri dijeljenju sa 3 ima ostatak 2

{\displaystyle 1+1=2}
što je nemoguće jer smo pokazali da kvadrat prirodnog broja pri dijeljenju s 3 daje ostatak 0 ili 1

Pokažimo najprije da kvadrat neparnog broja pri dijeljenju sa 8 daje ostatak 1. Zaista,

{\displaystyle (2k+1)^{2}=4k^{2}+4k+1=4k(k+1)+1}
Broj {\displaystyle k(k+1)} je paran kao proizvod dva susjedna cijela broja. Odavde odmah slijedi da x i y ne mogu biti oba neparni jer bi u protivnom broj z2
pri dijeljenju sa 8 davao ostatak 2, tj. bio bi paran, a ne bi bio djeljiv sa 4. Dakle, zbog primitivnosti, možemo pretpostaviti da je x neparan, a y paran. Sada je z neparan, pa iz 
{\displaystyle y^{2}=z^{2}-x^{2}}

y2 djeljiv sa 8, odnosno y je djeljiv sa 4.

  

{\displaystyle 5k+1)^{2}=25k^{2}+10k+1=5(5k^{2}+2k)+1} ili

{\displaystyle (5k+2)^{2}=25k^{2}+20k+4=5(5k^{2}+4k)+4}

{\displaystyle 5k-1)^{2}=25k^{2}-10k+1=5(5k^{2}-2k)+1} ili

{\displaystyle (5k-2)^{2}=25k^{2}-20k+4=5(5k^{2}-4k)+4}

slijedi da kvadrat cijelog broja pri dijeljenju s 5 može dati ostatak O, 1 ili 4. Pretpostavimo sada da ni x ni y nisu djeljivi sa 5. 

Brojevi x2 i x2 pri dijeljenju s 5 mogu dati ostatke 1 ili 4, a to znači da broj {\displaystyle x^{2}+y^{2}=z^{2}} pri dijeljenju s 5 može dati ostatak 2, 3 ili O.

z2 kao kvadrat cijelog broja ne može pri dijeljenju sa 5 dati ostatak 2 ili 3, pa zakljucujemo da je z2 djeljiv s 5.
Pitagorine trojke mogu biti 3 uzastopna broja.
{\displaystyle (x-1)^{2}+x^{2}=(x+1)^{2}}

{\displaystyle x^{2}-2x+1+x^{2}=x^{2}+2x+1}

{\displaystyle x^{2}-4x=0}

{\displaystyle x(x-4)=0=>x=4}

Tražena Pitagorina trojka je (3,4,5)

Pitagorine trojke mogu biti 3 uzastopna člana aritmetičkog niza
{\displaystyle (x-k)^{2}+x^{2}=(x+k)^{2}}
{\displaystyle x^{2}-2kx+k^{2}+x^{2}=x^{2}+k2x+k^{2}}
{\displaystyle x^{2}-4kx=0}
{\displaystyle x(x-4k)=0=>x=4k}
Tražena Pitagorina trojka je (3k,4k,5k)
Sve primitivne Pitagorine trojke (x,y,z) kojima je y paran, date su formulama:

{\displaystyle x=m^{2}-n^{2}}
{\displaystyle y=2mn}
{\displaystyle z=m^{2}+n^{2}}
gdje je {\displaystyle m>n} i m, n su relativno prosti brojevi različite parnosti.
{\displaystyle x^{2}+y^{2}=z^{2}}
{\displaystyle y^{2}=(z+x)(z-x)}
Neka je :{\displaystyle y=2c}. Brojevi {\displaystyle z+x} i {\displaystyle z-x} su parni pa postoje pa postoje prirodni brojevi a i b takvi da je

{\displaystyle z+x=2a} i
{\displaystyle z-x=2b}
{\displaystyle 4c^{2}=4ab=>c=ab}
Kako su {\displaystyle z=a+b} i {\displaystyle x=a-b} to su {\displaystyle a} i {\displaystyle b} relativno prosti. Prema tome postoje relativno prosti prirodni brojevi {\displaystyle m} i {\displaystyle n} takvi da je 
{\displaystyle a=m^{2}} i {\displaystyle b=n^{2}}
pa je

{\displaystyle x=m^{2}-n^{2}}
{\displaystyle y=2mn}
{\displaystyle z=m^{2}+n^{2}}
Brojevi m i n ne mogu biti oba parni jer su relativno prosti i ne mogu biti oba neparni jer je {\displaystyle x=m^{2}-n^{2}} neparan. Prema tome, brojevi m i n su različite parnosti.

{\displaystyle (m^{2}-n^{2})2+(2mn)^{2}=(m^{2}+n^{2})^{2}.:}
{\displaystyle (m^{4}-2m^{2}n^{2}+m^{4}+4m^{2}n^{2}=m^{4}+2m^{2}n^{2}+n^{4}=(m^{2}+n^{2})^{2}}

  

Treba provjeriti da su relativno prosti. Pretpostavimo da brojevi {\displaystyle x} i {\displaystyle y}

imaju zajednički faktor d > 1 , d je neparan

{\displaystyle d/(m^{2}+n^{2})-(m^{2}-n^{2})=2n^{2}}

Ovo je u kontradikciji s pretpostavkom da su m i n pa i m2 i n2 relativno prosti.
Sve Pitagorine trojke date su identitetom

{\displaystyle (d(m^{2}-n^{2}))^{2}+(2dmn)^{2}=(d(m^{2}+n^{2}))^{2}}
Sve Pitagorine trojke čiji su članovi manji od 51 su

|  |  |  |  |
| --- | --- | --- | --- |
| (3,4,5) | (12,16,20) | (18,24,30) | (24,32,40) |
| (6,8,10) | (15,20,25) | ( 16,30,34) | (9,40,41) |
| (5,12,13 | ((7,24,25) | (21,28,35) | (27,36,45) |
| (9,12,15) | (10,24,26) | (12,35,37) | (30,40,50) |
| (8,15,17) | (20,21,29) | (15,36,39 | (14,48,50) |

Ima ih 20 ako trojke {\displaystyle (x,y,z)} i {\displaystyle (y,x,z)} smatramo jednakima. Među njima je 7 primitivnih. 

Broj {\displaystyle P\_{h}(n)} primitivnih Pitagorinih trokuta s hipotenuzom {\displaystyle \leq n} približno jednak {\displaystyle {\frac {n}{2\pi }}}

{\displaystyle \lim \_{n\to \infty }{\frac {P\_{h}(n)}{n}}=\pi }

Izvor
-----

Pitagorine trojke