Tekst źródłowy strony Trójki pitagorejskie

[[Plik:Plimpton 322.jpg|mały|Pochodząca z ok. 1800 r. p.n.e. [[Babilonia|babilońska]] gliniana tabliczka [[Pismo klinowe|pisma klinowego]] zwana [[Plimpton 322]] być może zawierająca liczby powiązane z trójkami pitagorejskimi]]
[[Plik:Pythagorean triple scatterplot.svg|mały|Pary liczb należące do trójek pitagorejskich zaznaczone w [[Układ współrzędnych kartezjańskich|kartezjańskim układzie współrzędnych]]]]

'''Trójka pitagorejska''' (albo '''liczby pitagorejskie'''<ref name="epwn">{{Encyklopedia PWN | id = 3932374 | tytuł = liczby pitagorejskie | data dostępu = 2021-10-02}}</ref>) – trzy [[liczby całkowite]] [[Znak liczby|dodatnie]] <math>a, b, c</math> spełniające tzw. ''równanie Pitagorasa'':
: <math>a^2 + b^2 = c^2.</math>

Ich nazwa pochodzi od [[Twierdzenie Pitagorasa|twierdzenia Pitagorasa]], na mocy którego boki [[Trójkąt prostokątny|trójkąta prostokątnego]] spełniają powyższą zależność. W poniższej tabeli przedstawiono kilka pierwszych (względem krótszej przyprostokątnej) trójek pitagorejskich:
: {| class="wikitable" align="center" style="text-align:right"
! <math>a</math> || <math>b</math> || <math>c</math>
|-
| 3 || 4 || 5
|-
| 5 || 12 || 13
|-
| 6 || 8 || 10
|-
| 7 || 24 || 25
|-
| 8 || 15 || 17
|-
| 9 || 12 || 15
|-
| 10 || 24 || 26
|-
| 12
| 16
| 20
|}

== Własności ==
Jeżeli trójka <math>(a, b, c)</math> jest pitagorejska, to jest nią też <math>(da, db, dc),</math> dla dowolnej liczby całkowitej dodatniej <math>d.</math> Trójkę pitagorejską nazywamy '''pierwotną''', jeśli <math>a,</math> <math>b</math> i <math>c</math> nie mają wspólnego dzielnika większego od 1. Zatem z każdej trójki pitagorejskiej możemy uzyskać pierwotną przez podzielenie jej przez [[największy wspólny dzielnik]] i dowolną trójkę pitagorejską możemy otrzymać z pierwotnej przez pomnożenie jej wszystkich trzech elementów przez odpowiednią tę samą liczbę całkowitą dodatnią.

Jeśli <math>m > n</math> są liczbami całkowitymi dodatnimi, to
: <math>a=m^2-n^2,</math>
: <math>b=2\cdot m\cdot n,</math>
: <math>c=m^2+n^2</math>

jest trójką pitagorejską. Jest ona pierwotna wtedy i tylko wtedy, gdy <math>m</math> i <math>n</math> są [[Liczby względnie pierwsze|względnie pierwsze]] i ich suma jest liczbą nieparzystą. Trójki pitagorejskiej (9,&nbsp;12,&nbsp;15), jak również wielu innych, w ten sposób nie otrzymamy, ale każda trójka pierwotna (być może po zamianie <math>a</math> i <math>b</math>) powstaje tą drogą z jedynej pary liczb względnie pierwszych <math>m > n.</math> Stąd wniosek, że istnieje nieskończenie wiele pierwotnych trójek pitagorejskich.

Trójkąt, którego długości boków stanowią trójkę pitagorejską, nazywany jest '''trójkątem pitagorejskim'''. Z kolei trójkąt o bokach długości 3, 4 i 5 nazywa się '''[[Trójkąt egipski|trójkątem egipskim]]'''.

== Rozwiązanie elementarne ==
Kwadrat nieparzystej liczby naturalnej przy dzieleniu przez 8 daje resztę 1. Zatem suma kwadratów dwóch dowolnych liczb nieparzystych daje resztę 2 z dzielenia przez 8. Z drugiej strony, kwadrat dowolnej liczby naturalnej daje przy dzieleniu przez 8 jedną z reszt 0, 1, 4. Zatem suma dwóch kwadratów nieparzystych [[Liczby naturalne|liczb naturalnych]] nigdy nie jest kwadratem.

Niech <math>a, b, c</math> będą liczbami naturalnymi, spełniającymi równanie:
: {{wzór|<math>a^2+b^2=c^2.</math> |1}}

Zatem co najmniej jedna z liczb <math>a, b,</math> jest parzysta. Przy założeniu, że <math>a, b,</math> są względnie pierwsze, jedna z liczb <math>a, b,</math> powiedzmy <math>a,</math> jest nieparzysta, a <math>b</math> jest parzysta. Zatem <math>c</math> jest nieparzysta i względnie pierwsza zarówno z liczbą <math>a,</math> jak i z liczbą <math>b.</math>

Każdy wspólny dzielnik liczb naturalnych <math>(c - a)/2</math> oraz <math>(c + a)/2</math> jest też dzielnikiem ich sumy, równej <math>c,</math> oraz ich różnicy, równej <math>a,</math> jest więc równy 1, a liczby <math>(c - a)/2</math> oraz <math>(c + a)/2</math> są względnie pierwsze.

Równanie {{LinkWzór|1}} ma dokładnie te same rozwiązania <math>(a, b, c),</math> co równanie:
: {{wzór|<math>\frac{c - a}{2}\cdot\frac{c + a}{2} = \left( \frac{b}{2}\right)^2.</math>|2}}

Ponieważ liczby <math>(c - a)/2</math> oraz <math>(c + a)/2</math> są względnie pierwsze, to są pełnymi kwadratami pewnych liczb naturalnych <math>m</math> oraz <math>n{:}</math>
: <math>\frac{c+a}{2} = m^2,</math>
: <math>\frac{c-a}{2} = n^2,</math>

skąd:
: <math>a = m^2 - n^2,</math>
: <math>b = 2\cdot m\cdot n,</math>
: <math>c = m^2 + n^2.</math>

Dla każdego pierwotnego rozwiązania <math>(a, b, c)</math> równania {{LinkWzór|1}} istnieją liczby naturalne <math>m</math> oraz <math>n,</math> takie że rozwiązanie <math>(a, b, c)</math> wyraża się poprzez <math>m</math> oraz <math>n</math> jak wyżej. Aby otrzymać rozwiązanie pierwotne, należy wybrać liczby <math>m</math> oraz <math>n</math> o różnej parzystości i względnie pierwsze. Ostatnie trzy równości posłużą wtedy za definicję rozwiązania.

== Wariacja ==
W poprzednim fragmencie, i wciąż uznając jego założenia, zamiast równania {{LinkWzór|2}}, rozpatrzmy równanie
: {{wzór|<math>(c-b)\cdot(c+b)=a^2.</math> |3}}

Każdy wspólny dzielnik nieparzystych liczb <math>c - b</math> oraz <math>c + b</math> jest też wspólnym dzielnikiem ich sumy, równej <math>2\cdot c,</math> oraz różnicy, równej <math>2\cdot b,</math> czyli jest równy 1 lub 2 (mówimy tylko o dodatnich liczbach całkowitych; w dalszym ciągu obowiązuje założenie z poprzedniego fragmentu o względnej pierwszości liczb <math>a, b,</math> a więc i liczb <math>b, c</math>). Ale 2 nie jest podzielnikiem nieparzystych liczb <math>c - b</math> oraz <math>c + b.</math> Zatem są one względem pierwsze; więc są odpowiednio kwadratami pewnych nieparzystych, dodatnich liczb całkowitych <math>x, y,</math> czyli:
: <math>a=x\cdot y,</math>
: <math>b=\frac{y^2-x^2}{2},</math>
: <math>c=\frac{x^2+y^2}{2}.</math>

Wykazano tu, że dla każdego rozwiązania pierwotnego <math>(a, b, c)</math> istnieją nieparzyste dodatnie liczby całkowite <math>x</math> oraz <math>y,</math> takie, że rozwiązanie <math>(a, b, c)</math> określone jest przez powyższe trzy równości. Tak zadane przez nieparzyste <math>x</math> oraz <math>y</math> rozwiązanie <math>(a, b, c)</math> jest pierwotne wtedy i tylko wtedy, gdy <math>x, y</math> są względnie pierwsze.

Otrzymaliśmy nową parametryzację pierwotnych trójek pitagorejskich, nieco różną od poprzedniej.

Ogólnie, gdy liczby <math>x, y</math> są tej samej parzystości, to powyższa trójka równości definiuje pewną trójkę pitagorejską, niekoniecznie pierwotną. Nie otrzyma się w ten sposób trójki pitagorejskiej (6, 8, 10) i wielu innych.

== Wariacja II ==
Na podstawie metody przyrostów kwadratów liczb parzystych i nieparzystych można wyprowadzić zależność:
: <math>(a+t)^2=a^2+b^2,</math>
: <math>c=a+t,</math>
: <math>a=\frac{b^2-t^2}{2t}.</math>

W powyższej zależności <math>t</math> jest dzielnikiem <math>b</math> takim, że dla parzystego <math>b</math> parametr <math>t</math> jest również parzysty, a dla nieparzystego <math>b</math> jest nieparzysty. Dla wartości parametru <math>t = 1</math> i <math>t = 2</math> (z wyjątkiem liczb typu <math>2\cdot p</math>) otrzymujemy trójki pierwotne. Dla pozostałych dzielników <math>t</math> tworzone są pozostałe i możliwe kombinacje trójek pitagorejskich dla zadanego <math>b.</math>

Dla <math>t = 1</math> i <math>k > 0</math> zależność jest następująca:
: <math>a=2k(k+1),</math>
: <math>b=2k+1,</math>
: <math>c=2k(k+1)+1.</math>

Dla <math>t = 2</math> i <math>k > 0</math> zależność jest następująca:
: <math>a=k(k+2),</math>
: <math>b=2k+2,</math>
: <math>c=k(k+2)+2.</math>

co łatwo udowodnić, podstawiając za <math>a,</math> <math>b</math> i <math>c</math> ogólne wyrażenia. Nie otrzyma się w ten sposób np. trójki <math>(88, 105, 137)</math> i wielu innych.

== Rodziny trójek pitagorejskich ==
{| class="wikitable"
|+
!Nazwa rodziny
!Właściwość
!Przykłady
|-
|Pitagoras
|<math>c-b=1</math>
|<math>[5, 12, 13] [7, 24, 25] [9, 40, 41]</math>
|-
|Platon
|<math>c-b=2</math>
|<math>[8,15, 17] [12,35, 37] [20,99, 101]</math>
|-
|
|<math>c-b=8</math>
|<math>[20,21,29] [28,45, 53][36,77, 85]</math>
|-
|
|<math>\cfrac{c-3a}{2}=1</math>
|<math>[145,408,433] [840,2378,2522][4901,13860,14701]</math>
|-
|
|<math>\cfrac{c-3a}{2}=2</math>
|<math>[287,816,865] [1683,4756,5045][9799,27720,29401]</math>
|-
|
|<math>c-2a=2</math>
|<math>[16,30,34] [240,418,482] [3360,5822,6722]</math>
|-
|
|<math>c-2a=3</math>
|<math>[5,12,13] [95,168,193][1349,2340,2701]</math>
|-
|
|<math>2a-c=1</math>
|<math>[33,56,65] [451,780,901][6273,10864,12545]</math>
|-
|
|<math>|3a-2c|=1</math>
|<math>[65,72,97] [1155,1292,1733][20737,23184,31105]</math>
|-
|
|<math>|3a-2c|=5</math>
|<math>[21,20,29] [319,360,481][5781,6460,8669]</math>
|-
|
|<math>|\cfrac{b}{2}-a|=1</math>
|<math>[5,12,13]  [39,80,89] [272,546,610]</math>
|-
|Fermat
|<math>|b-a|=1</math>
|<math>[696,697,985] [4059,4060,5741] [23660,23661,33461]</math>
|-
|
|<math>|\cfrac{3b}{2}-a| \in  \{1,3,9\}</math>
|<math>[91,60,109] [15,8,17][819,540,981]</math>
|-
|
|<math>|2b-a| \in  \{1,4,5\}</math>
|<math>[273,136,305] [416,210,466] [1363,684,1525]</math>
|}
Członkowie tych rodzin mogą być identyfikowani poprzez zastosowanie formuły Euklidesa <math>\frac{n}{d}\rightarrow [a,b,c]=[(n^2-d^2), 2.n.d,(n^2+d^2)]</math> do licznika <math>n</math> i mianownika <math>d</math> w ciągach ułamków, w szczególności w ciągach pochodzących z [[Ułamki łańcuchowe irracjonalnych liczb kwadratowych|okresowych ułamków łańcuchowych irracjonalnych liczb kwadratowych]]<ref>{{cytuj|autor=Frédéric BEATRIX|tytuł=Unlocking a new realm of Pythagorean triples|czasopismo=parabola|wolumin=59|numer=2|data=2023|url=https://www.researchgate.net/publication/388046763_Unlocking_a_new_realm_of_Pythagorean_triples}}</ref>.

== Rozwiązanie zespolone z użyciem liczb Gaussa ==
Niech <math>i</math> oznacza jedną z dwóch [[Liczby zespolone|liczb zespolonych]], których kwadrat jest równy <math>-1{:}</math>
: <math>i^2=-1.</math>

Liczby postaci <math>a + i\cdot b,</math> gdzie <math>a</math> oraz <math>b</math> są liczbami całkowitymi, nazywamy liczbami Gaussa. Tworzą one [[Liczby całkowite Gaussa|pierścień Gaussa]]. W pierścieniu Gaussa istnieją dokładnie cztery ''jedności'', czyli liczby multiplikatywnie odwracalne:
: <math>1, i, -1, -i.</math>

(Liczbę 1 nazywamy ''jedynką''). Liczba sprzężona do jedności <math>u</math> jest jej odwrotnością <math>1/u.</math>

Liczbę Gaussa nazywa się [[Liczby całkowite Gaussa|liczbą pierwszą]], gdy w każdym jej rozkładzie na iloczyn dwóch liczb Gaussa jeden z czynników jest jednością. Iloczyn liczby pierwszej Gaussa przez jedność też jest liczbą pierwszą. Tak związane pary liczb pierwszych nazywamy liczbami równoważnymi. Każda różna od zera liczba Gaussa rozkłada się na skończony iloczyn liczb pierwszych Gaussa, jednoznacznie z dokładnością do równoważności i kolejności występowania w iloczynie.

Gdy liczba Gaussa <math>z</math> jest iloczynem liczb Gaussa <math>x</math> oraz <math>y,</math> to liczby <math>x</math> oraz <math>y</math> nazywamy dzielnikami liczby <math>z</math> (w pierścieniu Gaussa). Gdy <math>z</math> jest liczbą rzeczywistą (gdy ma część urojoną równą zero), to dzielnikami są także liczby Gaussa sprzężone bowiem ogólnie:
: <math>z = (a + i\cdot b) \cdot (c + i \cdot d) \; \Leftrightarrow \; z = (a - i \cdot b) \cdot (c - i \cdot d),</math>

gdy <math>a,b,c,d,z \in \mathbb{R}.</math>

Dwie liczby Gaussa nazywamy względnie pierwszymi, gdy ich jedynymi wspólnymi podzielnikami są jedności. (Tak więc jedności i tylko jedności są względnie pierwsze z dowolną liczbą Gaussa). Dwie liczby naturalne są względnie pierwsze w klasycznym sensie (w kontekście ciała [[Liczby wymierne|liczb wymiernych]]) wtedy i tylko wtedy gdy są względnie pierwsze jako liczby Gaussa (w pierścieniu liczb Gaussa).

Powróćmy teraz do równania:
: {{wzór|<math>a^2+b^2=c^2,</math>}}

gdzie <math>a, b,</math> oznaczają względnie pierwsze, dodatnie liczby całkowite. Zapiszmy równanie {{LinkWzór|1}} równoważnie:
: {{wzór|<math>(a-i\cdot b)\cdot(a+i\cdot b)=c^2.</math>|1G}}

Każdy dzielnik liczb <math>a - i\cdot b</math> oraz <math>a + i\cdot b</math> jest też dzielnikiem ich sumy <math>2\cdot a</math> oraz różnicy <math>2\cdot i\cdot b,</math> a więc liczby 2. Zakładając, jak we wcześniejszych fragmentach, że <math>(a, b, c)</math> jest rozwiązaniem pierwotnym, liczby <math>a</math> oraz <math>b</math> są ponadto różnej parzystości, więc <math>a - i\cdot b</math> oraz <math>a + i\cdot b</math> są względnie pierwsze. Skoro tak, to są one kwadratami liczb Gaussa, pomnożonymi przez jedność, to znaczy: istnieją liczby całkowite (wymierne) <math>X</math> oraz <math>Y,</math> oraz jedność gaussowska <math>u</math> (równa <math>1</math> lub <math>i</math> lub <math>-1</math> lub <math>-i</math>), dla których:
: <math>a+i\cdot b=(x+i\cdot Y)^2\cdot u,</math>
: <math>a-i\cdot b=(x-i\cdot Y)^2 / u.</math>

Drugie równanie wynika z pierwszego. Wystarczy rozpatrywać przypadki <math>u=1</math> oraz <math>u=i,</math> jako że <math>-1 = i^2</math> oraz <math>-i = i \cdot i^2.</math> Dla <math>u=1</math> otrzymujemy:
: <math>a=X^2-Y^2,</math>
: <math>b=2\cdot X \cdot Y=2\cdot |X| \cdot |Y|,</math>
: <math>c=X^2+Y^2.</math>

Gdy <math>u=i,</math> to otrzymujemy:
: <math>b+i\cdot a=(X-i\cdot Y)^2,</math>

skąd:
: <math>a=-2\cdot X \cdot Y=2\cdot |X| \cdot |Y|,</math>
: <math>b=X^2-Y^2,</math>
: <math>c=X^2+Y^2.</math>

Wprowadźmy liczby <math>x := |X|</math> oraz <math>y := |Y|.</math> Oczywiście <math>x \neq 0 \neq y.</math> Pokazaliśmy, że dla dowolnego rozwiązania pierwotnego <math>(a, b, c)</math> równania {{LinkWzór|1}} istnieją całkowite liczby dodatnie <math>x</math> oraz <math>y</math> (wymierne), takie że odpowiednio:
: <math>a=x^2-y^2\quad{}</math> lub <math>{}\quad a=2\cdot x \cdot y,</math>
: <math>b=x^2-y^2\quad{}</math> lub <math>{}\quad b=2\cdot x \cdot y,</math>
: <math>c=x^2+y^2.</math>

== Rozwiązanie geometryczne ==
Można prosto rozwiązać równanie<ref>{{cytuj książkę |autor = [[Felix Klein]] |tytuł = Elementarmathematik vom hoheren standpunkte aus erster band |url = |wydawca = Verlag von Julius Springer |strony = |wydanie = |rok = 1924 |język = de |isbn =}}</ref>
: {{wzór|<math>a^2+b^2=c^2,</math>}}

korzystając z narzędzi elementarnej [[Geometria algebraiczna|geometrii algebraicznej]]. Z rozwiązań wymiernych <math>(a, b, c)</math> tego równania otrzymujemy rozwiązania całkowite, mnożąc liczby wymierne <math>a, b, c</math> przez ich wspólny mianownik. Zauważmy ponadto, że jeśli <math>c = 0,</math> to jedynym rozwiązaniem równania
: <math>a^2 + b^2 = c^2</math>

jest trójka liczb (0, 0, 0). Rozwiązanie to będziemy nazywać '''rozwiązaniem zerowym'''.

[[Plik:The Phytagoreyan numbers.svg|thumb|300px|Parametryzacja rozwiązań równań Pitagorasa za pomocą wymiernego parametru <math>t.</math>]]

Każdemu niezerowemu rozwiązaniu całkowitemu <math>(a, b, c)</math> odpowiada rozwiązanie
: <math>x = \frac{a}{c},\ y = \frac{b}{c}</math>

równania:
: {{wzór|<math>x^2 + y^2 = 1.</math> |4}}

Jest to równanie okręgu jednostkowego o środku w początku układu współrzędnych. Również każdemu rozwiązaniu wymiernemu <math>(x, y)</math> równania <math>x^2 + y^2 = 1</math> odpowiadają takie rozwiązania całkowite <math>(a, b, c)</math> równania Pitagorasa, że <math>a = xc,\ b = yc</math> (wystarczy, aby liczba <math>c</math> była podzielna przez mianowniki liczb <math>x</math> i <math>y</math>). Aby rozwiązać równanie Pitagorasa, wystarczy znaleźć punkty na okręgu jednostkowym o obu współrzędnych wymiernych. Jednym z rozwiązań jest <math>(x_0, y_0) = (-1, 0).</math> Przez ten punkt oraz dowolny inny wymierny punkt okręgu możemy poprowadzić prostą. Współczynnik kierunkowy <math>t</math> tej prostej jest liczbą wymierną. Dlatego ten drugi punkt jest rozwiązaniem układu równań {{LinkWzór|4}} i {{LinkWzór|5}}:
: {{wzór|<math>y=t\cdot (x+1)</math> |5}}

dla pewnej liczby wymiernej <math>t.</math> Trzeba wykazać, że dla dowolnej liczby wymiernej <math>t</math> rozwiązanie powyższego układu jest liczbą wymierną. Po podstawieniu {{LinkWzór|5}} do {{LinkWzór|4}} dla <math>x \neq -1</math> z {{LinkWzór|5}} wynika, że:
: <math>x^2+t^2\cdot(1+x)^2=1,</math>
: <math>t^2\cdot(1+x)^2=(1-x)(1+x),</math>
: <math>t^2(1+x)=1-x</math>

(bo <math>x\neq -1</math>), skąd:
: <math>x = \frac{1 - t^2}{1 + t^2}.</math>

Podstawiając obliczoną wartość <math>x</math> do równania {{LinkWzór|5}}, otrzymujemy
: <math>y = \frac{2 \cdot t}{1 + t^2}.</math>

W ten sposób wszystkie rozwiązania wymierne równania {{LinkWzór|4}} wyrażone są za pomocą wymiernego parametru <math>t.</math> Otrzymaliśmy tożsamość:
: <math>\left( \frac{1 - t^2}{1 + t^2}\right)^2 + \left(\frac{2 \cdot t}{1 + t^2}\right)^2 = 1</math>

lub równoważnie:
: <math>(1 - t^2)^2 + (2 \cdot t)^2 = (1 + t^2)^2.</math>

Po podstawieniu <math>t := \tfrac{n}{m},</math> gdzie <math>m</math> i <math>n</math> są liczbami całkowitymi względnie pierwszymi <math>(m \neq 0)</math> i pomnożeniu równania przez <math>m^4{:}</math>
: <math>(m^2-n^2)^2+(2\cdot m\cdot n)^2=(m^2+n^2)^2.</math>

Wtedy każde rozwiązanie całkowite równania {{LinkWzór|1}} w liczbach <math>a, b, c</math> względnie pierwszych wyraża się wzorami:
: <math>a:=m^2-n^2,</math>
: <math>b:=2\cdot m\cdot n,</math>
: <math>c:=m^2+n^2.</math>

Liczby całkowite <math>m > n > 0</math> definiują rozwiązania całkowite dodatnie równania {{LinkWzór|1}}.

== Konstrukcja z małego twierdzenie Fermata ==
Podejrzewając, że [[Pierre de Fermat|Fermat]] odkrył twierdzenie małe jako [[lemat]] by w prosty sposób udowodnić [[Wielkie twierdzenie Fermata|twierdzenie wielkie]] liczby pitagorejskie można konstruować bezpośrednio z [[Małe twierdzenie Fermata|małego twierdzenia Fermata]] działającego w jego najprostszej formie, tzn. dla liczby pierwszej <math>2</math> postępując tak jak byśmy chcieli z niego udowodnić twierdzenie wielkie.

Przepiszmy równanie Pitagorasa tak abyśmy mogli go bezpośrednio zastosować
: <math>a^2 - a + b^2 - b = c^2 - c + c - a - b.</math>

Używając stronami twierdzenia małego otrzymujemy warunek że <math>c - a - b</math> musi być podzielne przez <math>2</math> tzn.
: <math>c = a + b - 2 k.</math>

Wstawiając równanie na <math>c</math> do równania Pitagorasa otrzymujemy równanie na <math>a</math> względem <math>b</math> i <math>k</math>
: <math>a = \frac{2k(b-k)}{b-2k},</math>

które generuje razem z równaniem na <math>c</math> trójki pitagorejskie w przypadku kiedy otrzymane <math>a</math> jest całkowite. Teraz możemy pozbyć się tego defektu wstawiając uzyskane tak rozwiązania do oryginalnego równania i mnożąc przez mianownik w rozwiązaniu na a <math>(b-2k)</math> w kwadracie.

Otrzymujemy w ten sposób tożsamość
: <math>\left[2k(b-k)\right]^2 + b^2(b-2k)^2 = \left[2k(b-k) +(b-2k)^2\right]^2</math>

wyrażającą sumę kwadratów dwóch liczb w funkcji dwóch parametrów jako kwadrat liczby w funkcji tych samych parametrów, tzn. zrenormalizowane liczby pitagorejskie wyrażone względem dowolnych naturalnych liczb <math>b</math> i <math>k{:}</math>
: <math>a_1=2 k (b-k),</math>
: <math>b_1= b(b-2k),</math>
: <math>c_1=2 k(b-k) +(b-2k)^2,</math>

spełniające równanie
: <math>a_1^2 + b_1^2 = c_1^2.</math>

W odróżnieniu od wyżej opisanych wzorów [[Euklides]]a zawierających sumę kwadratów, różnicę kwadratów oraz podwójny iloczyn dwóch liczb <math>m</math> i <math>n,</math> wzory te dają wszystkie możliwe liczby pitagorejskie.

Dla <math>k=4,</math> <math>b=15</math> otrzymujemy np. <math>a_1=88,</math> <math>b_1=105,</math> <math>c_1=137,</math> a dla <math>k=1,</math> <math>b=100 000 001,</math> <math>a_1=200000000,</math> <math>b_1=9999999999999999,</math> <math>c_1=10000000000000001.</math>

Warto zauważyć, że krok z użyciem małego twierdzenia Fermata, aby wyrazić <math>c</math> względem <math>a</math> i <math>b</math> jako
: <math>c = a + b - n k</math>

dla dowolnego <math>n>2</math> prowadzi do intuicyjnego pseudoudowodnienia twierdzenia wielkiego, ponieważ prowadzi do skomplikowanego [[Równanie algebraiczne|równania algebraicznego]] <math>n-1</math> rzędu na <math>a</math> względem <math>b,</math> <math>k</math> zawierającego na dodatek liczbę pierwszą, wykładnik <math>n</math> i już dla <math>n=3</math> wydaje się mało prawdopodobne, by tak uzyskane [[równanie kwadratowe]] zawierające w rozwiązaniach pierwiastek kwadratowy miało rozwiązanie naturalne, nie mówiąc już o [[Równanie sześcienne|wzorach Cardana]] dla równania sześciennego czy równaniach wyższych niż [[Równanie czwartego stopnia|stopnia czwartego]], których ogólne rozwiązania nie dają się nawet wyrazić przez [[Twierdzenie Abela-Ruffiniego|radykały]], tzn. wyrażenia zawierające jedynie pierwiastki <math>m</math>-tego stopnia, które wszystkie na raz musiałyby być naturalne. Obecnie nawet wiadomo z istniejącego bardzo trudnego dowodu wielkiego twierdzenia Fermata, że jest to prawda, a liczby naturalne daje jedynie równanie liniowe na <math>a</math> dla <math>n=2.</math>

== Zobacz też ==
* [[małe twierdzenie Fermata]]

== Przypisy ==
{{Przypisy}}

== Linki zewnętrzne ==
* {{otwarty dostęp}} Wiktor Bartol, ''[https://www.youtube.com/watch?v=rnM0Y2azko4 Trójki pitagorejskie]'', [[Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej]] (MiNI [[Politechnika Warszawska|PW]]), kanał „Archipelag Matematyki” na [[YouTube]], 13 września 2017 [dostęp 2024-09-04].
* {{Cytuj stronę |url = https://hektor.umcs.lublin.pl/~mkosacki/trojki.html |tytuł = Tabela pierwotnych trójek pitagorejskich dla <math>m, n \leqslant 300</math> |archiwum = https://web.archive.org/web/20210421065838/https://hektor.umcs.lublin.pl/~mkosacki/trojki.html |zarchiwizowano = 2021-04-21 |data dostępu = 2022-12-02}}
* {{MathWorld | adres = PythagoreanTriple | tytuł = Pythagorean Triple}} [dostęp 2023-06-01].
* {{MathWorld | adres = PrimitivePythagoreanTriple | tytuł = Primitive Pythagorean Triple}} [dostęp 2023-06-01].

{{Typy liczb naturalnych}}
{{Teoria liczb}}
{{Krzywe stożkowe}}

{{Kontrola autorytatywna}}

[[Kategoria:Równania diofantyczne]]