3.1.2. Trójki pitagorejskie Efektem dowodu jest również nowy, łatwy sposób znajdowania możliwych rozwiązań (3.1) (czyli trójek pitagorejskich) dla N = 2 . Wprowadzona w dowodzie nowa zmienna x wraz z drugą zmienną pomocniczą e = c - a prowadzą do następujących zależności. |
|
b2=((c − a)+x)2=(e+x)2=e2+2‧ e‧ v+x2 oraz | (3.9) |
b2=c2- a2=(e+a)2− a2=e2+2‧ e‧ v | (3.10) |
Porównując (3.9) i (3.10) mamy | |
x2=2‧ (a − x) , | (3.11) |
gdzie widać, że x musi być liczbą parzystą, czyli możemy wprowadzić nową zmienną całkowitą y taką, że x=2‧ y, co wstawione do (3.11) daje | |
. | (3.12) |
Z tego wnioskujemy, że e oraz y muszą mieć postać
e=2‧ re2 oraz
y=re‧ ry , gdzie re jest dzielnikiem e oraz ry jest drugim oprócz re dzielnikiem y. Gdyby tak nie było, to a, e i y
miałyby wspólny dzielnik, a to oznaczałoby, W tej sytuacji otrzymujemy |
|
, | (3.13) |
gdzie ry nie może być liczbą parzystą, bo liczba
2 jest dzielnikiem e.
Należy zatem przyjąć |
|
a=ry‧ (ry+2‧ re)= (2‧ ry+1)‧ (2‧ (rj+re)+1) , | (3.15a) |
b=2‧ re‧ (2‧ rj+1)+2‧ re2)= 2‧ re‧ (2‧ rj+re+1) , | (3.15b) |
c=ry‧ (ry+2‧ re)+2‧ re2= (2‧ rj+1)‧ (2‧ (rj+re)+1)+2‧ re2 | (3.15c) |
i gdy je zapiszemy w postaci a=(2‧ ry+1)‧ 2‧ (rj+re)+1)= (2‧ rj+re+1) 2 - re2 , b=2‧ re‧ (2‧ rj+1)+2‧ re2)= 2‧ (2‧ rj+re+1)‧ re , c=(2‧ rj+1)‧ (2‧ (rj+re)+1)+2‧ re2= (2‧ rj+re+1)2+re2 to odpowiadają one znanym z literatury rozwiązaniom |
|
a=m2- n2 , b=2‧ m‧ n , c=m2+n2 . | (3.16) |
Otrzymane zależności (3.15) mają zaletę, że nie ma dodatkowych wymagań aby m i n nie były jednocześnie nieparzyste, co jest wymagane dla zależności (3.16). |