Tripel Pythagoras

Tripel Pythagoras terdiri dari tiga bilangan bulat positif ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$, sehingga ${\displaystyle a^{2}+b^{2}=c^{2}}$. Tripel Pythagoras sering kali ditulis ${\displaystyle (a,b,c)}$, dan contoh-contoh umumnya adalah ${\displaystyle (3,4,5)}$. Jika ${\displaystyle (a,b,c)}$ adalah tripel Pythagoras, maka berlaku juga dengan ${\displaystyle (ka,kb,kc)}$ untuk bilangan bulat positif ${\displaystyle k}$. Segitiga yang sisinya membentuk tripel Pythagoras adalah segitiga siku-siku, dan dinamai segitiga Pythagoras.

Animasi menunjukkan tripel Pythagoras paling sederhana, ${\displaystyle 3^{2}+4^{2}=5^{2}}$.

Tripel Pythagoras primitif adalah tripel Pythagoras yang salah satu dari ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ adalah bilangan koprima (yaitu, bilangan yang tidak mempunyai faktor persekutuan lebih besar dari 1).^[1] Sebagai contoh, ${\displaystyle (3,4,5)}$ adalah tripel Pythagoras primitif, sedangkan ${\displaystyle (6,8,10)}$ bukan. Setiap tripel Pythagoras dapat diperbesar menjadi tripel Pythagoras primitif yang tunggal dengan membagi ${\displaystyle (a,b,c)}$ dengan faktor persekutuan terbesar. Sebaliknya, setiap tripel Pythagoras dapat diperoleh dengan mengalikan anggota tripel Pythagoras primitif dengan bilangan bulat positif (sama halnya berlaku untuk tiga anggota itu).

Namanya berasla dari teorema Pythagoras yang menyatakan bahwa setiap segitiga siku-siku memiliki panjang sisi yang memenuhi rumus ${\displaystyle a^{2}+b^{2}=c^{2}}$. Karena itu, tripel Pythagoras mengaitkan tiga panjang sisi bilangan bulat dari segitiga siku-siku. Namun, segitiga siku-siku dengan sisi yang bukan bilangan bulat tidak membentuk tripel Pythagoras. Sebagai contoh, bila sisi ${\displaystyle a=b=1}$ dan ${\displaystyle c={\sqrt {2}}}$ membentuk segitiga siku-siku, maka ${\displaystyle (1,1,{\sqrt {2}})}$ bukanlah tripel Pythagora, sebab ${\displaystyle {\sqrt {2}}}$ bukanlah bilangan bulat. Selain itu, ${\displaystyle 1}$ dan ${\displaystyle {\sqrt {2}}}$ tidak memiliki kelipatan persekutuan bilangan bulat karena ${\displaystyle {\sqrt {2}}}$ adalah bilangan irasional.

Tripel Pythagoras sudah diketahui sejak masa kuno. Catatan pertama terkenalnya adalah Plimpton 322, lauh Babylonia sekitar 1800 SM yang ditulis dalam sebuah sistem bilangan seksagesimal. Lauh ini ditemukan oleh Edgar James Banks setelah tahun 1900, dan dijual ke George Arthur Plimpton pada tahun 1922, untuk $10.^[2]

Ketika menelusuri penyelesaian bilangan bulat, ${\displaystyle a^{2}+b^{2}=c^{2}}$ merupakan persamaan Diophantus. Karena itu, tripel Pythagoras merupakan penyelesaian persamaan Diophantus nonlinear yang diketahui sejak lama.

Contoh

Scatter plot [en] mengenai sisi ${\displaystyle (a,b)}$ dari tripel Pythagoras pertama dengan ${\displaystyle a}$ dan ${\displaystyle b}$ lebih kecil dari 6000. Nilai negatif tercakup untuk mengilustrasikan pola parabolis. Sinarnya merupakan sebuah hasil dari fakta bahwa jika ${\displaystyle (a,b,c)}$ adalah tripel Pythagoras, maka berlaku juga untuk ${\displaystyle (2a,2b,2c)}$, ${\displaystyle (3a,3b,3c)}$ dan ${\displaystyle (ka,kb,kc)}$ untuk bentuk umumnya, dengan ${\displaystyle k}$ adallah bilangan bulat positif.

Adapun enam belas tripel Pythagoras primitif yang mencapai hingga 100:

${\displaystyle (3,4,5)}$	${\displaystyle (5,12,13)}$	${\displaystyle (8,15,17)}$	${\displaystyle (7,24,25)}$
${\displaystyle (20,21,29)}$	${\displaystyle (12,35,37)}$	${\displaystyle (9,40,41)}$	${\displaystyle (28,45,53)}$
${\displaystyle (11,60,61)}$	${\displaystyle (16,63,65)}$	${\displaystyle (33,56,65)}$	${\displaystyle (48,55,73)}$
${\displaystyle (13,84,85)}$	${\displaystyle (36,77,85)}$	${\displaystyle (39,80,89)}$	${\displaystyle (65,72,97)}$

Tripel Pythagoras kecil lainnya seperti ${\displaystyle (6,8,10)}$ tidak tercantum dari contoh tersebut, karena bukan primitif, sebab ${\displaystyle (6,8,10)}$ kelipatan dari ${\displaystyle (3,4,5)}$.

Selain itu, tabel berikut merupakan sisa tripel Pythagoras primitif sampai dengan 300:

${\displaystyle (20,99,101)}$	${\displaystyle (60,91,109)}$	${\displaystyle (15,112,113)}$	${\displaystyle (44,117,125)}$
${\displaystyle (88,105,137)}$	${\displaystyle (17,144,145)}$	${\displaystyle (24,143,145)}$	${\displaystyle (51,140,149)}$
${\displaystyle (85,132,157)}$	${\displaystyle (119,120,169)}$	${\displaystyle (52,165,173)}$	${\displaystyle (19,180,181)}$
${\displaystyle (57,176,185)}$	${\displaystyle (104,153,185)}$	${\displaystyle (95,168,193)}$	${\displaystyle (28,195,197)}$
${\displaystyle (84,187,205)}$	${\displaystyle (133,156,205)}$	${\displaystyle (21,220,221)}$	${\displaystyle (140,171,221)}$
${\displaystyle (60,221,229)}$	${\displaystyle (105,208,233)}$	${\displaystyle (120,209,241)}$	${\displaystyle (32,255,257)}$
${\displaystyle (96,247,265)}$	${\displaystyle (69,260,269)}$	${\displaystyle (115,252,277)}$
${\displaystyle (160,231,281)}$	${\displaystyle (161,240,289)}$	${\displaystyle (68,285,293)}$

Menghasilkan tripel Pythagoras

Tripel Pythagoras primitif. Sisi yang memiliki panjang ganjil ${\displaystyle a}$ digambarkan pada sumbu horizontal, dan sisi yang panjang genap ${\displaystyle b}$ pada sumbu vertikal. Kisi kurvilinear terdiri dari kurva dengan konstanta ${\displaystyle m-n}$ dan konstanta ${\displaystyle m+n}$ dalam rumus Euklides.

Plot mengenai tripel Pythagoras yang dihasilkan oleh rumus Euklides merancang bagian kerucut ${\displaystyle z^{2}=x^{2}+y^{2}}$. Konstanta ${\displaystyle m}$ dan ${\displaystyle n}$ mengikuti jejak bagian parabola pada kerucut.

Rumus Euklides^[3] adalah rumus dasar untuk menghasilkan tripel Pythagoras bila diketahui pasangan bilangan bulat sebarang ${\displaystyle m}$ dan ${\displaystyle n}$ dengan ${\displaystyle m>n>0}$. Rumusnya menyatakan bahwa bilangan bulat $${\displaystyle a=m^{2}-n^{2},b=2mn,c=m^{2}+n^{2}}$$ membentuk tripel Pythagoras. Sebagai contoh, diketahui ${\displaystyle m=2}$ dan ${\displaystyle n=1}$, maka rumus Euklides menghasilkan tripel primitif ${\displaystyle (3,4,5)}$. Tripel yang dihasilkan oleh rumus Euklides adalah primitif jika dan hanya jika ${\displaystyle m}$ dan ${\displaystyle n}$ adalah bilangan koprima dan setidaknya salah satunya bilangan genap. Ketika ${\displaystyle m}$ dan ${\displaystyle n}$ ganjil, maka ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ genap, dan tripel tidak lagi menjadi primitif. Akan tetapi, membagi ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ dengan 2 menghasilkan tripel primitf ketika ${\displaystyle m}$ dan ${\displaystyle n}$ koprima.^[4]

Setiap tripel primitif muncul (setelah pertukaran ${\displaystyle a}$ dan ${\displaystyle b}$, jika ${\displaystyle a}$ adalah genap) dari pasangan tunggal bilangan koprima ${\displaystyle m}$, ${\displaystyle n}$, yang salah satunya genap. Ini mengikuti bahwa ada tak terhingga banyaknya tripel Pythagoras primitif. Hubungan ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ dengan ${\displaystyle m}$ dan ${\displaystyle n}$ dari rumus Eukildes akan dibahas sepanjang sisa artikel ini.

Meskipun menghasilkan semua tripel primitif, rumus Euklides tidak menghasilkan semua tripel, contohnya seperti ${\displaystyle (9,12,15)}$ tidak dapat dihasilkan menggunakan bilangan bulat ${\displaystyle m}$ dan ${\displaystyle n}$. Ini dapat diperbaiki dengan memasukkan parameter tambahan ${\displaystyle k}$ ke rumusnya. Berikut ini akan menghasilkan semua tripel Pythagoras secara tunggal: $${\displaystyle a=k\cdot (m^{2}-n^{2}),\ \,b=k\cdot (2mn),\ \,c=k\cdot (m^{2}+n^{2})}$$ dengan ${\displaystyle m}$, ${\displaystyle n}$, dan ${\displaystyle k}$ adalah bilangan bulat positif dengan ${\displaystyle m>n}$, serta ${\displaystyle m}$ dan ${\displaystyle n}$ adalah koprima dan keduanya bukanlah ganjil.

Mengenai rumus-rumus tersebut yang menghasilkan tripel Pythagoras dapat dibenarkan dengan memperluas ${\displaystyle a^{2}+b^{2}}$ menggunakan aljabar elementer dan membenarkan bahwa hasilnya sama dengan ${\displaystyle c^{2}}$. Karena setiap tripel Pythagoras dapat dibagi menjadi lebih kecil lagi dengan bilangan bulat ${\displaystyle k}$ untuk mendapatkan tripel primitif, setiap tripel dapat dihasilkan secara tunggal dengan menggunakan rumus tersebut dengan ${\displaystyle m}$ dan ${\displaystyle n}$ untuk menghasilkan lawan pasangan primitifnya dan kemudian mengalikan dengan ${\displaystyle k}$ seperti persamaan terakhir.

Memilih ${\displaystyle m}$ dan ${\displaystyle n}$ dari barisan bilangan tertentu memberikan hasil yang menarik. Contohnya, jika ${\displaystyle m}$ dan ${\displaystyle n}$ adalah bilangan Pell berturut-turut, ${\displaystyle a}$ dan ${\displaystyle b}$ memiliki selisih 1.^[5]

Banyak rumus-rumus untuk menghasilkan tripel dengan sifat-sifat khusus telah dikembangkan semenjak zaman Euklides.

Bukti rumus Euklides

Kepuasan persyaratan rumus Euklides oleh ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ adalah cukup untuk mengubah suatu segitiga menjadi segitiga Pythagoras. Persyaratan tersebut tampaknya berasal dari fakta bahwa untuk bilangan bulat positif ${\displaystyle m}$ dan ${\displaystyle n}$, ${\displaystyle m>n}$, ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ yang dinyatakan oleh rumus sama-sama bilangan positif semua. Persyaratan tersebut juga berasal dari fakta bahwa$${\displaystyle a^{2}+b^{2}=(m^{2}-n^{2})^{2}+(2mn)^{2}=(m^{2}+n^{2})^{2}=c^{2}.}$$Sebuah bukti keperluannya bahwa ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ diungkapkan oleh rumus Euklides untuk suatu tripel Pythagoras primitif adalah sebagai berikut.^[6] Semua tripel tersebut dapat ditulis sebagai ${\displaystyle (a,b,c)}$ dengan ${\displaystyle a^{2}+b^{2}=c^{2}}$ serta ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ koprima. Karena itu, ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ adalah koprima sepasangan (jika sebuah bilangan prima dibagi dua dari mereka, hal tersebut juga akan mendorong untuk membagi bilangan yang ketiga). Karena ${\displaystyle a}$ dan ${\displaystyle b}$ koprima, setidaknya salah satu darinya bilangan ganjil. Jika seseorang menganggap bahwa ${\displaystyle a}$ ganjil, maka ${\displaystyle b}$ genap dan ${\displaystyle c}$ adalah ganjil (jika ${\displaystyle b}$ sebelumnya ganjil, ${\displaystyle c}$ akan menjadi genap, dan ${\displaystyle c^{2}}$ akan menjadi sebuah kelipatan dari 4, sedangkan ${\displaystyle a^{2}+b^{2}}$ akan menjadi kongruen dengan 2 modulo 4 sebagai bilangan kuadrat ganjil kongruen dengan 1 modulo 4).

Dari rumus ${\displaystyle a^{2}+b^{2}=c^{2}}$, diperoleh ${\displaystyle c^{2}-a^{2}=b^{2}}$. Karena itu didapati ${\displaystyle (c-a)(c+a)=b^{2}}$. Maka ${\textstyle {\frac {(c+a)}{b}}={\frac {b}{(c-a)}}}$. Karena ${\textstyle {\frac {(c+a)}{b}}}$ adalah bilangan rasional, kita meletakkannya sama dengan ${\textstyle {\frac {m}{n}}}$ dalam bentuk pecahan paling sederhana. Demikian ${\textstyle {\frac {(c-a)}{b}}={\frac {n}{m}}}$ yang menjadi timbal balik dari ${\textstyle {\frac {(c+a)}{b}}}$. Lalu menyelesaikan

${\displaystyle {\frac {c}{b}}+{\frac {a}{b}}={\frac {m}{n}},\quad \quad {\frac {c}{b}}-{\frac {a}{b}}={\frac {n}{m}}}$

untuk ${\textstyle {\frac {c}{b}}}$ dan ${\textstyle {\frac {a}{b}}}$ memberikan

${\displaystyle {\frac {c}{b}}={\frac {1}{2}}\left({\frac {m}{n}}+{\frac {n}{m}}\right)={\frac {m^{2}+n^{2}}{2mn}},\quad \quad {\frac {a}{b}}={\frac {1}{2}}\left({\frac {m}{n}}-{\frac {n}{m}}\right)={\frac {m^{2}-n^{2}}{2mn}}.}$

Karena ${\textstyle {\frac {m}{n}}}$ sudah dalam bentuk paling sederhana, ${\displaystyle m}$ dan ${\displaystyle n}$ adalah koprima, dan kedua bilangan tersebut tidak dapat menjadi bilangan genap. Jika keduanya ganjil, pembilang dari ${\textstyle {\frac {m^{2}-n^{2}}{2mn}}}$ akan menjadi kelipatan dari 4 (karena sebuah bilangan kuadrat ganjil kongruen dengan 1 modulo 4), dan penyebutnya ${\displaystyle 2mn}$ tidak akan menjadi kelipatan dari 4. Karena 4 akan menjadi faktor genap minimum yang mungkin dalam pembilang dan 2 akan menjadi faktor genap maksimum yang mungkin dalam penyebut, ini menyiratkan ${\displaystyle a}$ menjadi genap meskipun mendefinisikannya sebagai bilangan ganjil. Oleh karena demikian, salah satu dari ${\displaystyle m}$ dan ${\displaystyle n}$ adalah bilangan ganjil dan yang lainnya genap, dan pembilang dari dua pecahan dengan penyebut ${\displaystyle 2mn}$ adalah ganjil. Demikian pecahan-pecahan ini benar-benar dalam bentuk paling sederhana (suatu bilangan prima ganjil membagi penyebut ini membagi salah satu dari ${\displaystyle m}$ dan ${\displaystyle n}$, tetapi bukan yang lainnya; jadi, tidak membagi ${\displaystyle m^{2}\pm n^{2}}$). Seseorang dapat menyamakan penyebut dengan pembilang, dan pembilang dengan penyebut, sehingga menghasilkan rumus Euklides$${\displaystyle a=m^{2}-n^{2},\ \,b=2mn,\ \,c=m^{2}+n^{2}}$$dengan ${\displaystyle m}$ dan ${\displaystyle n}$ adalah koprima dan paritas yang berlawanan.

Sebuah bukti yang lebih panjang tapi lebih umum diberikan dalam Maor (2007)^[7] dan Sierpiński (2003).^[8] Bukti lain diberikan dalam Persamaan Diophantus § Contoh tripel Pythagoras, sebagai contoh metode umum yang berlaku untuk setiap persamaan Diophantus berderajat dua yang homogen.

Pandangan mengenai parameter dalam rumus Eukildes

Misalkan sisi segitiga Pythagoras memiliki panjang ${\displaystyle m^{2}-n^{2}}$, ${\displaystyle 2mn}$, dan ${\displaystyle m^{2}+n^{2}}$. Misalkan sudut antara sisinya yang memiliki panjang ${\displaystyle m^{2}-n^{2}}$ dan hipotenusa dengan panjang ${\displaystyle m^{2}+n^{2}}$ dinyatakan dengan ${\displaystyle \beta }$. Maka ${\textstyle \tan \left({\frac {\beta }{2}}\right)={\frac {m}{n}}}$ dan nilai trigonometrik sudut penuhnya adalah ${\textstyle \sin \beta ={\frac {2mn}{m^{2}+n^{2}}}}$, ${\textstyle \cos \beta ={\frac {m^{2}-n^{2}}{m^{2}+n^{2}}}}$, dan ${\textstyle \tan \beta ={\frac {2mn}{m^{2}-n^{2}}}}$.^[9]

Bentuk lain

Bentuk lain rumus Euklides terkadang lebih cocok, karena terlihat lebih simetris dalam memperhatikan ${\displaystyle m}$ dan ${\displaystyle n}$ (sebagai syarat paritas yang sama kedua bilangan tersebut). Jika ${\displaystyle m}$ dan ${\displaystyle n}$ adalah sama-sama bilangan bulat ganjil sehingga ${\displaystyle m>n}$, maka$${\displaystyle a=mn,\ \,b={\frac {m^{2}-n^{2}}{2}},\ \,c={\frac {m^{2}+n^{2}}{2}}}$$adalah tiga bilangan bulat yang membentuk tripel Pythagoras, yang merupakan primitif jika dan hanya jika ${\displaystyle m}$ dan ${\displaystyle n}$ koprima. Sebaliknya, setiap tripel Pythagoras primitif muncul (setelah pertukaran ${\displaystyle a}$ dan ${\displaystyle b}$, jika ${\displaystyle a}$ adalah genap) dari pasangan tunggal ${\displaystyle m>n>0}$ dari bilangan bulat ganjil.

Sifat elementer tripel Pythagoras primitif

Sifat umum

Sifat tripel Pythagoras primitif ${\displaystyle (a,b,c)}$ dengan ${\displaystyle a<b<c}$ (tanpa menentukan manakah dari ${\displaystyle a}$ atau ${\displaystyle b}$ yang genap dan yang ganjil) adalah sebagai berikut:

• ${\textstyle {\frac {(c-a)(c-b)}{2}}}$ selalu bilangan kuadrat sempurna.^[10] Karena ini hanya sebuah syarat perlu tapi bukan cukup, ini dapat digunakan dalam memeriksa jika tripel yang diketahui bukanlah tripel Pythagoras. Sebagai contoh, ${\displaystyle \{6,12,18\}}$ dan ${\displaystyle \{1,8,9\}}$ memenuhi ${\textstyle {\frac {(c-a)(c-b)}{2}}}$ sebagai bilangan kuadrat sempurna, tapi kedua tripel tersebut bukanlah tripel Pythagoras.
• Ketika tripel ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ membentuk tripel Pythagoras primitif, maka (${\displaystyle c}$ dikurangi sisi genap) dan satu setengah dari (${\displaystyle c}$ dikurangi sisi ganjil) sama-sama bilangan kuadrat sempurna. Namun ini bukanlah sebuah syarat cukup, karena bilangan ${\displaystyle \{1,8,9\}}$ memenuhi uji bilangan kuadrat sempurna tapi masih bukan tripel karena ${\displaystyle 1^{2}+8^{2}\neq 9^{2}}$.
• Paling banyak salah satu dari ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ adalah bilangan kuadrat.^[11]
• Luas segitiga Pythagoras tidak dapat menjadi bilangan kuadrat^{[12]:p. 17} atau dua kali kuadrat^{[12]:p. 21} bilangan asli.
• Tepat salah satu dari ${\displaystyle a}$, ${\displaystyle b}$ habis dibagi oleh 2 (adalah genap); dan hipotenusa ${\displaystyle c}$ selalu ganjil.^[8]:23–25
• Tepat salah satu dari ${\displaystyle a}$, ${\displaystyle b}$ habis dibagi oleh 3, tapi ${\displaystyle c}$ tidak.^[8]:23–25
• Tepat salah satu dari ${\displaystyle a}$, ${\displaystyle b}$ habis dibagi oleh 4, tapi ${\displaystyle c}$ tidak (karena ${\displaystyle c}$ tidak pernah genap).^[8]
• Tepat salah satu dari ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ habis dibagi oleh 5.^[8]
• Bilangan terbesar yang selalu membagi ${\displaystyle abc}$ adalah 60.^[13]
• Sebarang bilangan ganjil dari bentuk ${\displaystyle 2m+1}$, dengan ${\displaystyle m}$ bilangan bulat dan ${\displaystyle m>1}$, dapat menjadi sisi ganjil tripel Pythagoras primitif. Lihat tripel Pythagoras primitif hampir sama kaki di bagian bawah. Namun, hanya bilangan genap yang habis dibagi oleh 4 dapat menjadi sisi genap tiripel Pythagoras primitif. Ini dikarenakan rumus Euklides untuk sisi genap yang diberikan di atas adalah ${\displaystyle 2mn}$ dan salah satu dari ${\displaystyle m}$ dan ${\displaystyle n}$ harus genap.
• Hipotenusa ${\displaystyle c}$ adalah jumlah dari dua bilangan kuadrat. Ini memerlukan semua faktor prima menjadi bilangan prima dari bentuk ${\displaystyle 4n+1}$.^[14] Oleh karena itu ${\displaystyle c}$ adalah bentuk ${\displaystyle 4n+1}$. Suatu barisan bilangan hipotenusa yang mungkin untuk tripel Pythagoras primitif dapat ditemukan di (barisan A008846 pada OEIS)
• Luasnya (${\displaystyle K={\tfrac {ab}{2}}}$) adalah bilangan kongruen^[15] yang habis dibagi 6.
• Dalam setiap tripel Pythagoras, jari-jari lingkaran dalam dan jari-jari dari tiga lingkaran singgung luar adalah bilangan asli. Secara spesifik, untuk suatu tripel primitif, jari-jari lingkaran dalam adalah ${\displaystyle r=n(m-n)}$, dan jari-jari lingkaran singgung luar berlawanan dengan sisi ${\displaystyle m^{2}-n^{2}}$, ${\displaystyle 2mn}$, dan hipotenusa ${\displaystyle m^{2}+n^{2}}$ masing-masing ${\displaystyle m(m-n)}$, ${\displaystyle n(m+n)}$, dan ${\displaystyle m(m+n)}$.^[16]
• Adapun suatu segitiga siku-siku, kebalikan teorema Thales mengatakan bahwa diameter lingkaran luar sama dengan hipotenusa. Karena itu untuk suatu tripel primitif, diameter lingkaran luarnya adalah ${\displaystyle m^{2}+n^{2}}$, dan jari-jari lingkaran luar adalah setengahnya serta demikan merupakan bilangan rasional tapi bukan bilangan bulat (karena ${\displaystyle m}$ dan ${\displaystyle n}$ memiliki paritas yang berlawanan).
• Ketika luas segitiga Pythagoras dikalikan oleh kelengkungan lingkaran dalamnya dan tiga lingkaran singgung luar masing-masing hasilnya empat bilangan bulat positif ${\displaystyle w>x>y>z}$. Bilangan bulat ${\displaystyle -w,x,y,z}$ memenuhi Persamaan Lingkaran Descartes.^[17] Secara ekuivalen, jari-jari lingkaran Soddy luar dari suatu segitga siku-siku sama dengan semiperimeternya. Pusat lingkaran Soddy luar terletak di ${\displaystyle D}$, dengan ${\displaystyle ACBD}$ adalah persegi panjang, ${\displaystyle ACB}$ adalah segitiga siku-siku dan ${\displaystyle AB}$ adalah hipotenusanya.^{[17]:hlm. 6}
• Hanya dua sisi tripel Pythagoras primitif dapat dengan secara bersamaan menjadi bilangan prima karena dengan rumus Eukildes yang menghasilkan tripel Pythagoras, salah satu dari sisinya harus bilangan komposit dan bilangan genap.^[18] Namun, hanya satu sisi dapat menjadi bilangan bulat pangkat sempurna ${\displaystyle p\geq 2}$ karena dua sisinya adalah bilangan bulat pangkat sempurna dengan eksponen ${\displaystyle p}$ yang sama. Hal tersebut bertentangan karena tidak ada solusi bilangan bulat untuk persamaan Diophantus ${\displaystyle x^{2p}\pm y^{2p}=z^{2}}$, dengan ${\displaystyle x}$, ${\displaystyle y}$, dan ${\displaystyle z}$ adalah bilangan koprima sepasangan.^[19]
• Tidak ada segitiga Pythagoras yang hipotenusa dan suatu sisi adalah sisi segitiga Pythagorasyang lain: ini adalah salah satu dari bentuk ekuivalen teorema segitiga siku-siku Fermat.^{[12]:p. 14}
• Setiap segitiga Pythagoras primitif memiliki rasio luas ${\displaystyle K}$ dengan semiperimeter yang dikuadratkan ${\displaystyle s}$, yang unik dengan sendirinya dan dinyatakan^[20]$${\displaystyle {\frac {K}{s^{2}}}={\frac {n(m-n)}{m(m+n)}}=1-{\frac {c}{s}}.}$$

• Tidak ada segitiga Pythagoras primitif memiliki ketinggian bilangan bulat dari hipotenusanya, yaitu setiap segtiga Pythagoras primitif tidak dapat uraikan lagi.^[21]
• Himpunan semua tripel Pythagoras primitif membentuk pohon terner berakar dengan cara pada umumnya; lihat Pohon tripel Pythagoras primitif.
• Sudut lancip segitiga Pythagoras tidak dapat menjadi sebuah bilangan rasional atau derajat.^[22] (Ini mengikuti teorema Niven)

Kasus istimewa

Selain itu, adapun tripel Pythagoras khusus dengan sifat-sifat tertentu sebagai berikut:

• Setap bilangan bulat lebih besar dari 2 tidak kongruen dengan 2 mond 4 (dengan kata lain, setiap bilangan bulat lebih besar dari 2 yang bukan dari bentuk ${\displaystyle 4k+2}$) termasuk tripel Pythagoras. (Jika bilangan bulat memiliki bentuk ${\displaystyle 4k}$, seseorang dapat mengambil ${\displaystyle n=1}$ dan ${\displaystyle m=2k}$ dalam rumus Eukildes, dan jika blangan bulatnya adalah ${\displaystyle 2k+1}$, seseorang dapat mengambil ${\displaystyle n=k}$ dan ${\displaystyle m=k+1}$.)
• Setiap bilangan bulat lebih besar dari 2 termasuk tripel Pythagoras primtif atau non-primitif. Contohnya, bilangan bulat 6, 10, 14, dan 18 tidak termasuk tripel primitif, melainkan termasuk tripel non-prmitif ${\displaystyle (6,8,10)}$, ${\displaystyle (14,48,50)}$ dan ${\displaystyle (18,80,82)}$.
• Terdapat tripel Pythagoras yang tak terhingga banyaknya, yang hipotenusa dan sisi terpanjangnya memiliki selisih tepat satu. Tripel tresebut seharusnya primitif dan memiliki bentuk ${\displaystyle (2n+1,2n^{2}+2n,2n^{2}+2n+1)}$. Hasil tersebut berasal dari rumus Euklides yang mengatakan, syarat tersebut menyiratkan bahwa tripel tersebut adalah primitif dan harus membenarkan ${\displaystyle (m^{2}+n^{2})-2mn=1}$. Ini menyiratkan ${\displaystyle (m-n)^{2}=1}$, dan demikian ${\displaystyle m=n+1}$. Jadi, bentuk di atas dari hasil tripel itu mensubstitusikan ${\displaystyle m}$ untuk ${\displaystyle n+1}$ dalam rumus Eukildes.
• Terdapat tripel Pythagoras yang tak terhingga banyaknya yang hipotenusa dan sisi terpanjangnya memilih selisih tepat dua. Tripelnya sama-sama primitif, yang didapati dengan memasukkan ${\displaystyle n=1}$ dalam rumus Euklides. Lebih umumnya, untuk setiap bilangan bulat ${\displaystyle k>0}$, terdapat tripel Pythagoras primitif yang tak terhingga banyaknya yang hipotenusa dan sisi ganjil memiliki selisih ${\displaystyle 2k^{2}}$, yang diperoleh dengan memasukkan ${\displaystyle n=k}$ dalam rumus Eukildes.
• Terdapat tripel Pythagoras yang tak terhingga banyaknya yang kedua sisinya memiliki selisih tepat satu. Contohnya, ${\displaystyle 20^{2}+21^{2}=29^{2}}$. Adapun tripel tersebut dihasilkan oleh rumus Euklides ketika ${\textstyle {\frac {m-n}{n}}}$ konvergen dengan ${\displaystyle {\sqrt {2}}}$.
• Untuk setiap bilangan asli ${\displaystyle k}$, terdapat tripel Pythagoras ${\displaystyle k}$ dengan hipotenusa yang berbeda dan luas yang sama.
• Untuk setiap bilangan asli ${\displaystyle k}$, terdapat tripel Pythagoras primitif ${\displaystyle k}$ yang berbeda dengan sisi ${\displaystyle a}$ yang sama, dengan ${\displaystyle a}$ bilangan asli (panjang dari kaki genap adalah ${\displaystyle 2mn}$, dan cukup untuk memilih ${\displaystyle a}$ dengan banyak faktorisasi, contohnya ${\displaystyle a=4b}$, dimana ${\displaystyle b}$ adalah sebuah darab bilangan bilangan prima ganjil ${\displaystyle k}$ yang berbeda; setidaknya menghasilkan ${\displaystyle 2^{k}}$ tripel primitif yang berbeda).^[8]:30
• Untuk setiap bilangan asli ${\displaystyle n}$, terdapat setidaknya tripel Pythagoras ${\displaystyle n}$ yang berbeda dengan hipotenusa yang sama.^[8]:31
• Terdapat tripel Pythagoras yang tak terhingga banyaknya dengan bilangan kuadrat untuk keduanya hipotenusa ${\displaystyle c}$ dan jumlah dari sisi ${\displaystyle a+b}$. Menurut Fermat, tripel paling terkecil tersebut^[23] memiliki sisi ${\displaystyle a=4\,565\,486\,027\,761}$, ${\displaystyle b=1\,061\,652\,293\,520}$, ${\displaystyle c=4\,687\,298\,610\,289}$. Disini ${\displaystyle a+b=2\,372\,159^{2}}$ dan ${\displaystyle c=2\,165\,017^{2}}$. Ini dihasilkan oleh rumus Eukildes dengan nilai parameter ${\displaystyle m=2\,150\,905}$ dan ${\displaystyle n=246\,792}$.
• Terdapat segitiga Pythagoras non-primitif dengan ketinggian bilangan bulat dari hipotenusa.^[24][25] Segitiga Pythagoras tersebut dikatakan teruraikan karena dapat dipisahkan sepanjang ketinggian itu menjadi dua segitiga Pythagoras yang terpisah dan lebih kecil.^[21]

Geometri rumus Eukildes

Titik rasional pada lingkaran satuan

3,4,5, memetakan ke titik x,y${\textstyle \left({\frac {4}{5}},{\frac {3}{5}}\right)}$ pada lingkaran satuan.

Titik rasional pada lingkaran yang korespondensi dengan titik rasional dari garis di bawah proyeksi stereografik

Rumus Euklides untuk tripel Pythagoras

${\displaystyle a=2mn,\quad b=m^{2}-n^{2},\quad c=m^{2}+n^{2}}$

dapat dipahami dalam pandangan geometri berupa titik rasional pada satuan lingkaran (Trautman 1998).

Bahkan, suatu titik di bidang Cartesius dengan koordinat ${\displaystyle (x,y)}$ merupakan milik lingkaran satuan jika ${\displaystyle x^{2}+y^{2}=1}$. Suatu titik adalah rasional jika ${\displaystyle x}$ dan ${\displaystyle y}$ adalah bilangan rasional, dalam artian jika terdapat bilangan bulat koprima ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ sehingga

${\displaystyle {\biggl (}{\frac {a}{c}}{\biggr )}^{2}+{\biggl (}{\frac {b}{c}}{\biggr )}^{2}=1}$.

Dengan mengalikan kedua anggota ${\displaystyle c^{2}}$, seseorang dapat memandang bahwa titik rasional pada lingkaran korespondensi satu-ke-satu dengan tripel Pythagoras.

Lingkaran satuan juga dapat didefinisikan oleh persamaan parametrik$${\displaystyle x={\frac {1-t^{2}}{1+t^{2}}}\quad y={\frac {2t}{1+t^{2}}}.}$$

Rumus Eukides untuk tripel Pythagoras dan hubungan inversnya ${\textstyle t={\frac {y}{x+1}}}$ mengartikan bahwa suatu titik pada lingkaran (kecuali ${\displaystyle (-1,0)}$ adalah rasional jika dan hanya jika nilai korespondensi dari ${\displaystyle t}$ adalah bilangan rasional.

Pendekatan stereografik

Proyeksi stereografik dari lingkaran satuan ke dalam sumbu-${\displaystyle x}$. Diketahui titik ${\displaystyle P}$ pada lingkaran satuan, menggambar garis dari ${\displaystyle P}$ ke titik ${\displaystyle N=(0,1)}$ (kutub utara). Titik ${\displaystyle P'}$ yang merupakan perpotongan garis tersebut dengan sumbu-${\displaystyle x}$ adalah proyeksi stereografik dari ${\displaystyle P}$. Sebaliknya, memulai dengan menggambar garis dari ${\displaystyle P'}$ ke ${\displaystyle N}$, proyeksi stereografik inversnya adalah titik ${\displaystyle P}$ yang merupakan perotongan garis tersebut dengan lingkaran satuan.

Adapun terdapat korespondensi di antara titik pada lingkaran satuan dengan koordinat rasional dan tripel Pythagoras primitif. Pada kali ini, rumus Euklides dapat diturunkan dengan menggunakan metode trigonometri ataupun secara ekuivalen menggunakan proyeksi stereografik.

Untuk pendekatan stereografik, misalkan ${\displaystyle P'}$ adalah titik pada sumbu-${\displaystyle x}$ dengan koordinat rasional$${\displaystyle P'=\left({\frac {m}{n}},0\right).}$$

Maka, dapat ditunjukkan dengan aljabar dasar bahwa titik ${\displaystyle P}$ memiliki koordinat$${\displaystyle P=\left({\frac {2\left({\frac {m}{n}}\right)}{\left({\frac {m}{n}}\right)^{2}+1}},{\frac {\left({\frac {m}{n}}\right)^{2}-1}{\left({\frac {m}{n}}\right)^{2}+1}}\right)=\left({\frac {2mn}{m^{2}+n^{2}}},{\frac {m^{2}-n^{2}}{m^{2}+n^{2}}}\right).}$$

Ini menetapkan bahwa setiap titik rasional dari sumbu-${\displaystyle x}$ berjalan melewati ke suatu titik rasional lingkaran satuan. Sebaliknya, bahwa setiap titik rasional lingkaran satuan datang dari titik rasional tersebut dari sumbu-${\displaystyle x}$, lantaran menerapkan proyeksi stereografik inversnya. Misalkan ${\displaystyle P(x,y)}$ suatu titik dari lingkaran satuan dengan ${\displaystyle x}$ dan ${\displaystyle y}$ bilangan rasional. Maka titik ${\displaystyle P'}$ diperoleh dari proyeksi stereografik pada sumbu-${\displaystyle x}$ memiliki koordinat

${\displaystyle \left({\frac {x}{1-y}},0\right)}$

yang merupakan rasional.

Dalam hal geometri aljabar, varietas aljabar dari titik rasional pada lingkaran satuan adalah dwirasional ke garis afin atas bilangan rasional. Karena itu, lingkaran satuan disebut lengkung rasional, dan karena hal tersebut yang memungkinkan parameterisasi eksplisit dari titik (bilangan rasional) padanya melalui fungsi rasional.

Segitiga Pythagoras dalam kekisi berdimensi dua

Kekisi berdimensi dua adalah larik titik terpencil yang beraturan, yang jika suatu titik dipilih sebagai titik origin di bidang koordinat Cartesius ${\displaystyle (0,0)}$, maka semua titik lainnya ada di ${\displaystyle (x,y)}$ dengan ${\displaystyle x}$ dan ${\displaystyle y}$ berkisars di semua bilangan bulat positif dan negatif. Segitiga Pythagoras dengan tripel ${\displaystyle (a,b,c)}$ dapat digambar di dalam kekisi berdimensi dua dengan titik di koordinat ${\displaystyle (0,0)}$, ${\displaystyle (a,0)}$, dan ${\displaystyle (0,b)}$. Jumlah titik kekisi yang terletak sempurna di dalam batas dari segitiga dirumuskan ${\textstyle {\frac {(a-1)(b-1)-\gcd {(a,b)}+1}{2}}}$.^[26] Untuk tripel Pythagoras primitif, kekisi dalam ini adalah ${\textstyle {\frac {(a-1)(b-1)}{2}}}$. Menurut teorema Pick (yang sama dengan satu kurang dari jumlah titik kekisi dalam ditambah setengah dari jumlah titik kekisi batas), luasnya sama dengan ${\textstyle {\frac {ab}{2}}}$.

Kemunculan dua tripel Pythagoras primitif pertama membagi luas yang sama muncul dengan segitiga dengan sisi ${\displaystyle (20,21,29)}$, ${\displaystyle (12,35,37)}$ dan luas umumnya adalah 210 (barisan A093536 pada OEIS). Kemunculan dua tripel Pythgoras primitif pertama membagi jumlah titik kekisi dalam yang sama muncul dengan ${\displaystyle (18108,252685,253333)}$, ${\displaystyle (28077,162964,165365)}$ dan jumlah kekisi dalam adalah 2287674594 (barisan A225760 pada OEIS). Tiga tripel Pythagoras primitif telah ditemukan membagi luas yang sama: ${\displaystyle (4485,5852,7373)}$, ${\displaystyle (3059,8580,9109)}$, ${\displaystyle (1380,19019,19069)}$ dengan luas 13123110. Hingga kini, tidak ada himpunan dari tiga tripel Pythagoras primitif telah ditemukan membagi jumlah kekisi dalam.

Enumerasi tripel Pythagoras primitif

Berdasarkan rumus Eukildes, semua tripel Pythagoras primitif dapat dihasilkan dari bilangan bulat ${\displaystyle m}$ dan ${\displaystyle n}$ dengan ${\displaystyle m>n>0}$, ${\displaystyle m+n}$ adalah ganjil dan ${\displaystyle \operatorname {FPB} (m,n)=1}$. Karena itu terdapat pemetaan satu-ke-satu bilangan rasional (dalam bentuk paling sederhana) ke tripel Pythagoras primitif, dengan${\textstyle {\frac {n}{m}}}$ ada di dalam selang ${\displaystyle (0,1)}$ dan ${\displaystyle m+n}$ ganjil.

Pemetaan terbalik dari tripel primitif ${\displaystyle (a,b,c)}$, dengan ${\displaystyle c>b>a>0}$, ke suatu bilangan rasional ${\textstyle {\frac {n}{m}}}$ didapatkan dengan mengetahui dua penjumlahan ${\displaystyle a+c}$ dan ${\displaystyle b+c}$. Salah satu dari penjumlahan ini akan menjadi suatu bilangan kuadrat yang dapat disamakan dengan ${\displaystyle (m+n)^{2}}$ dan lainnya akan menjadi dua kali suatu bilangan kuadrat yang dapat disamakan dengan ${\displaystyle 2m^{2}}$. Hal tersebut mungkin untuk menentukan bilangan rasional ${\textstyle {\frac {n}{m}}}$.

Untuk menghitung tripel Pythagoras primitif, bilangan rasionalnya dapat dinyatakan sebagai pasangan terurut ${\displaystyle (n,m)}$ dan dipetakan ke bilangan bulat menggunakan sebuah fungsi pasangan Cantor. Contoh dapat diperlihatkan pada (barisan A277557 pada OEIS). Dimulai dari ${\displaystyle 8,18,19,32,33,34,\dots }$ yang kemudian memberikan bilangan rasional ${\textstyle {\frac {1}{2}},{\frac {2}{3}},{\frac {1}{4}},{\frac {3}{4}},{\frac {2}{5}},{\frac {1}{6}},\dots }$, dan pada akhirnya menghasilkan tripel primitif ${\displaystyle (3,4,5),(5,12,13),(8,15,17),(7,24,25),(20,21,29),(12,35,37),\dots }$.

Spinor dan grup modular

Tripel Pythagoras juga dapat dikodekan menjadi matriks persegi yang berbentuk$${\displaystyle X={\begin{bmatrix}c+b&a\\a&c-b\end{bmatrix}}.}$$Matriks berbentuk seperti itu adalah simetrik. Lebih lanjut, determinan ${\displaystyle X}$ adalah$${\displaystyle \det X=c^{2}-a^{2}-b^{2}}$$yang hasilna tepat nol ketika ${\displaystyle (a,b,c)}$ adalah tripel Pythagoras. Jika ${\displaystyle X}$ korespondensi dengan tripel Pythagoras, maka matriks tersebut harus memiliki peringkat 1. Karena ${\displaystyle X}$ simetrik, hasil dalam aljabar linear bahwa terdapat sebuah vektor kolom ${\textstyle \xi ={\begin{bmatrix}m&n\end{bmatrix}}^{T}}$ sehingga hasil kali luar

${\displaystyle X=2{\begin{bmatrix}m\\n\end{bmatrix}}[m\ n]=2\xi \xi ^{T}\,}$

(1)

berlaku, dengan ${\displaystyle T}$ melambangkan transpos matriks. Vektor ${\displaystyle \xi }$ disebut spinor (untuk grup Lorentz ${\displaystyle \mathrm {SO} (1,2)}$). Dalam penjelasan yang abstrak, rumus Euklides mengartikan setiap tripel Pythagoras primitif dapat ditulis sebagai hasil luar suatu spinor dengan sendirinya, yang memiliki entri bilangan bulat seperti pada (1).

Grup modular ${\displaystyle \Gamma }$ adalah himpunan matriks 2×2 yang memiliki entri bilangan bulat

${\displaystyle A={\begin{bmatrix}\alpha &\beta \\\gamma &\delta \end{bmatrix}}}$

yang determinannya sama dengan satu: ${\displaystyle \alpha \delta -\beta \gamma =1}$. Himpunan ini membentuk grup, karena invers matriks di ${\displaystyle \Gamma }$ lagi-lagi sama dengan ${\displaystyle \Gamma }$, yang merupakan hasil kali dua matriks di ${\displaystyle \Gamma }$. Grup modular bertindak pada koleksi semua spinor bilangan bulat. Lebih lanjut, grup adalah transitif pada kumpulan spinor bilangan bulat dengan entri-entri relatif prima. Karena jika ${\textstyle {\begin{bmatrix}m&n\end{bmatrix}}^{T}}$ memiliki entri yang relatif prima, maka

${\displaystyle {\begin{bmatrix}m&-v\\n&u\end{bmatrix}}{\begin{bmatrix}1\\0\end{bmatrix}}={\begin{bmatrix}m\\n\end{bmatrix}}}$

dengan ${\displaystyle u}$ dan ${\displaystyle v}$ dipilih (menurut algoritma Euklides) sehingga ${\displaystyle mu+nv=1}$.

Dengan bertindak pada spinor ${\displaystyle \xi }$ di (1), tindakan ${\displaystyle \Gamma }$ mengubah tindakan pada tripel Pythagoras, asalkan seseorang memungkinkan tripel yang kemungkinannya memiliki komponen negatif. Dengan demikian, jika ${\displaystyle A}$ adalah matriks di ${\displaystyle \Gamma }$, maka

${\displaystyle 2(A\xi )(A\xi )^{T}=AXA^{T}\,}$

(2)

menyebabkan tindakan pada matriks ${\displaystyle X}$ di (1). Ini tidak memberikan suatu tindakan didefinisikan dengan baik pada tripel primitif, karena dapat mengambil tripel primitif ke yang non-primitif. Sekarang, pernyataan tersebut pantas (menurut Trautman 1998) untuk menyebut suatu tripel ${\displaystyle (a,b,c)}$ standar jika ${\displaystyle c>0}$ dan baik ${\displaystyle (a,b,c)}$ relatif prima maupun ${\textstyle \left({\frac {a}{2}},{\frac {b}{2}},{\frac {c}{2}}\right)}$ relatif prima dengan ${\textstyle {\frac {a}{2}}}$ ganjil. Jika spinornya ${\displaystyle {\begin{bmatrix}m&n\end{bmatrix}}^{T}}$ memiliki entri yang relatif prima, maka tripel yang diiiringi ${\displaystyle (a,b,c)}$ ditentukan oleh (1) adalah tripel standar. Ini mengikuti bahwa tindakan grup modular adalah transitif pada himpunan tripel standar.

Secara bergantian, perhatian yang melarang untuk nilai-nilai ${\displaystyle m}$ dan ${\displaystyle n}$ supaya ${\displaystyle m}$ ganjil dan ${\displaystyle n}$ genap. Misalkan subgrup ${\displaystyle \Gamma (2)}$ dari ${\displaystyle \Gamma }$ adalah kernel dari kehomomorfan grup$${\displaystyle \Gamma =\mathrm {SL} (2,\mathbf {Z} )\to \mathrm {SL} (2,\mathbf {Z} _{2})}$$dengan ${\displaystyle \mathrm {SL} (2,\mathbb {Z} _{2})}$ adalah grup linear khusus atas medan hingga ${\displaystyle \mathbb {Z} _{2}}$ dari bilangan bulat modulo 2. Maka ${\displaystyle \Gamma (2)}$ adalah grup transformasi unimodular yang mempertahankan paritas setiap entri. Demikian, jika entri pertama ${\displaystyle \xi }$ ganjil dan entri kedua genap, maka berlaku juga untuk ${\displaystyle A\xi }$ untuk semua ${\displaystyle A\in \Gamma (2)}$. Bahkan, di bawah tindakan (2), grup ${\displaystyle \Gamma (2)}$ bertindak secara transitif pada koleksi tripel Pythagoras primitif (Alperin 2005).

Grup ${\displaystyle \Gamma (2)}$ merupakan grup bebas yang pembangkitnya adalah matriks$${\displaystyle U={\begin{bmatrix}1&2\\0&1\end{bmatrix}},\quad L={\begin{bmatrix}1&0\\2&1\end{bmatrix}}.}$$ .

Akibatnya, setiap tripel Pythagoras primitif dapat diperoleh dalam cara yang unik sebagai hasil kali salinan matriks ${\displaystyle U}$ dan ${\displaystyle L}$.

Hubungan induk atau anak

Melalui (Berggren 1934), semua tripel Pythagoras primitif dapat dihasilkan dari segitiga ${\displaystyle (3,4,5)}$ dengan menggunakan tiga transformasi linear ${\displaystyle T_{1}}$, ${\displaystyle T_{2}}$, ${\displaystyle T_{3}}$ berikut, dengan ${\displaystyle a,b,c}$ adalah sisi tripel:

	sisi baru ${\displaystyle a}$	sisi baru ${\displaystyle b}$	sisi baru ${\displaystyle c}$
${\displaystyle T_{1}}$	${\displaystyle a-2b+2c}$	${\displaystyle 2a-b+2c}$	${\displaystyle 2a-2b+3c}$
${\displaystyle T_{2}}$	${\displaystyle a+2b+2c}$	${\displaystyle 2a+b+2c}$	${\displaystyle 2a+2b+3c}$
${\displaystyle T_{3}}$	${\displaystyle -a+2b+2c}$	${\displaystyle -2a+b+2c}$	${\displaystyle -2a+2b+3c}$

Dengan kata lain, setiap tripel primitif akan menjadi sebuah "induk" untuk tiga tripel primitif lainnya. Mulai dari simpul awal dengan ${\displaystyle a=3}$, ${\displaystyle b=4}$, ${\displaystyle c=5}$, operasi ${\displaystyle T_{1}}$ menghasilkan tripel bar$${\displaystyle (3-(2\times 4)+(2\times 5),(2\times 3)-4+(2\times 5),(2\times 3)-(2\times 4)+(3\times 5))=(5,12,13)}$$dan dengan cara yang serupa ${\displaystyle T_{2}}$ dan ${\displaystyle T_{3}}$ menghasilkan tripel ${\displaystyle (21,20,19)}$ dan ${\displaystyle (15,8,17)}$.

Transformasi linear ${\displaystyle T_{1}}$, ${\displaystyle T_{2}}$, dan ${\displaystyle T_{3}}$ memiliki sebuah pandangan geometris dalam pengertian bentuk kuadrat. Mereka sangat berkaitan dengan (tetapi tidak sama dengan) cerminan yang menghasilkan grup ortogonal ${\displaystyle x^{2}+y^{2}-z^{2}}$ atas bilangan bulat.^[27]

Hubungan dengan bilangan bulat Gauss

Secara bergantian, rumus Eukildes dapat dianalisa dan dibuktikan menggunakan bilangan bulat Gauss.^[28] Bilangan bulat Gauss adalah bilangan kompleks dari bentuk ${\displaystyle \alpha =u+vi}$, dengan ${\displaystyle u}$ dan ${\displaystyle v}$ adalah bilangan bulat biasa dan ${\displaystyle i}$ adalah akar kuadrat dari negatif satu. Satuan bilangan bulat Gauss adalah ${\displaystyle \pm 1}$ dan ${\displaystyle \pm i}$. Bilangan bulat biasa disebut bilangan bulat rasional dan dilambangkan sebagai ${\displaystyle \mathbb {Z} }$. Bilangan bulat Gauss dilambangkan sebagai ${\displaystyle \mathbb {Z} [i]}$. Ruas kanan teorema Pythagoras dapat difaktorkan dalam bilangan bulat Gauss:$${\displaystyle c^{2}=a^{2}+b^{2}=(a+bi){\overline {(a+bi)}}=(a+bi)(a-bi).}$$

Tripel Pythagoras primitif adalah suatu tripel dengan ${\displaystyle a}$ dan ${\displaystyle b}$ adalah koprima, dalam pengertian mereka tidak membagi faktor bilangan prima dalam bilangan bulat. Untuk tripel tersebut, baik ${\displaystyle a}$ maupun ${\displaystyle b}$ genap, dan sisanya ganjil. Ini mengikuti bahwa ${\displaystyle c}$ juga ganjil.

Dua faktor tripel Pythagoras ${\displaystyle z:=a+bi}$ dan ${\displaystyle z^{\star }:=a-bi}$ masing-masing sama dengan kuadrat bilangan Gauss. Ini dapat dibuktikan menggunakan sifat bahwa setiap bilangan bulat Gauss dapat difaktorkan secara unik menjadi bilangan prima Gauss dengan memperhatikan satuan.^[29] (Secara kasar, faktorisasi tunggal ini diakibatkan versi algoritma Eukildes yang dapat didefinisikan padanya.) Bukti tersebut memiliki tiga langkah. Pertama, jika ${\displaystyle a}$ dan ${\displaystyle b}$ sama-sama tidak membagikan faktor prima dalam bilangan bulat, maka mereka juga tidak membagikan faktor prima dalam Gauss. (Asumsi ${\displaystyle a=gu}$ dan ${\displaystyle b=gv}$ dengan bilangan bulat Gauss ${\displaystyle g}$, ${\displaystyle u}$, dan ${\displaystyle v}$ serta ${\displaystyle g}$ bukanlah satuan. Maka ${\displaystyle u}$ dan ${\displaystyle v}$ terletak pada garis yang sama melalui titik asalnya. Semua bilangan bulat Gauss pada garis tersebut merupakan kelipatan bilangan bulat mengenai suatu bilangan bulat Gauss ${\displaystyle h}$. Namun kemudian bilangan bulat ${\displaystyle gh\neq \pm 1}$ membagi ${\displaystyle a}$ dan ${\displaystyle b}$.) Kedua, ini mengikuti bahwa ${\displaystyle z}$ dan ${\displaystyle z^{\star }}$ juga tidak membagikan faktor prima dalam bilangan bulat Gauss. Karena jika melakukannya, maka faktor persekutuan ${\displaystyle \delta }$ juga akan membagi ${\displaystyle z+z^{\star }=2a}$ dan ${\displaystyle z-z^{\star }=2ib}$. Karena ${\displaystyle a}$ dan ${\displaystyle b}$ adalah koprima, ini menyiratkan bahwa ${\displaystyle \delta }$ membagi ${\displaystyle 2=(1+i)(1-i)=i(1-i^{2})}$. Dari rumus ${\displaystyle c^{2}=zz^{\star }}$, yang kenyataannya menyiratkan bahwa ${\displaystyle c}$ genap. Ketiga, karena ${\displaystyle c^{2}}$ adalah bilangan kuadrat, setiap bilangan prima Gauss dalam faktorisasinya berganda, dalam artian muncul jumlah perkalian yang genap. Karena ${\displaystyle z}$ dan ${\displaystyle z^{\star }}$ tidak membagikan faktor prima, pengandaan ini juga benar untuknya. Karena itu, ${\displaystyle z}$ dan ${\displaystyle z^{\star }}$ adalah bilangan kuadrat.

Dengan demikian, faktor pertamanya dapat ditulis$${\displaystyle a+bi=\varepsilon \left(m+ni\right)^{2},\quad \varepsilon \in \{\pm 1,\pm i\}.}$$Bagian real dan imajiner persamaan ini memberikan dua rumus:$${\displaystyle {\begin{cases}\varepsilon =+1,&\quad a=+\left(m^{2}-n^{2}\right),\quad b=+2mn\\\varepsilon =-1,&\quad a=-\left(m^{2}-n^{2}\right),\quad b=-2mn\\\varepsilon =+i,&\quad a=-2mn,\quad b=+\left(m^{2}-n^{2}\right)\\\varepsilon =-i,&\quad a=+2mn,\quad b=-\left(m^{2}-n^{2}\right)\end{cases}}}$$

Untuk suatu tripel Pythagoras primitif, pasti ada bilangan bulat ${\displaystyle m}$ dan ${\displaystyle n}$ sehingga kedua persamaannya terpenuhi. Karena itu, setiap tripel Pythagoras dapat dihasilkan untuk suatu pemilihan bilangan bulat tersebut.

Sebagai bilangan bulat Gauss kuadrat sempurna

Jika seseorang menganggap kuadrat bilangan bulat Gauss, seseorang secara langsung mendapatkan pandangan rumus Eukildes sebagai wakilan kuadrat sempurna bilangan Gauss, sebagai berikut:$${\displaystyle (m+ni)^{2}=(m^{2}-n^{2})+2mni.}$$Karena bilangan bulat Gauss adalah sebuah domain Eukildes dan bilangan bulat Gauss ${\displaystyle p}$, ${\displaystyle \left|p\right|^{2}}$, selalu bilangan kuadrat ini, sangat mungkin untuk menunjukkan bahwa tripel Pythagoras korespondensi dengan kuadrat bilangan bulat Gauss prima jika hipotenusanya bilangan prima.

Jika bilangan bulat Gauss bukanlah bilangan prima, maka bilangan bulat Gauss sama dengan hasil kali dua bilangan bulat Gauss ${\displaystyle p}$ dan ${\displaystyle q}$ dengan bilangan bulat ${\displaystyle \left|p\right|^{2}}$ dan ${\displaystyle \left|q\right|^{2}}$. Karena besarannya dikalikan dalam bilangan bulat Gauss, hasil kalinya harus ${\displaystyle \left|p\right|\left|q\right|}$, yang ketika dikuadratkan untuk mencari sebuah tripel Pythagoras harus komposit. Kontrapositifnya melengkapi pembuktiannya.

Sebaran tripel

Scatter plot [en] mengenai sisi tripel Pythagoras pertama ${\displaystyle (a,b)}$ dengan ${\displaystyle a}$ dan ${\displaystyle b}$ lebih kecil dari 4500.

Terdapat sejumlah hasil sebaran tripel Pythagoras. Dalam scatter plot, jumlah pola yang terlihat jelas. Setiap kali sisi tripel primitif ${\displaystyle (a,b)}$ muncul pada plot, semua kelipatan bilangan bulat ${\displaystyle (a,b)}$ juga muncul dalam plot, dan sifat ini menampilkan garis yang memancar dari titik asalnya pada diagram.

Dalam plot tersebut, ada himpunan pola parabolis dengan densitas titik yang tinggi dan semua fokus yang terletak di titik asalnya, yang menampilkan semua empat arah. Parabola yang berbeda memotong pada sumbu dan terlihat mencerminkan sumbu dengan sudut insidensi 45 derajat, dengan parabola ketiga bergerak dengan tegak lurus. Dalam kuadran ini, setiap busur yang terpusat di titik asalnya menunjukkan bahwa bagian dari parabola yang terletak di antara ujungnya dan perpotongannya dengan semi-lactus rectum.

Pola tersebut dapat dijelaskan sebagai berikut. Jika ${\textstyle {\frac {a^{2}}{4n}}}$ adalah bilangan bulat, maka ${\textstyle \left(a,\left|n-{\frac {a^{2}}{4n}}\right|,n+{\frac {a^{2}}{4n}}\right)}$ sebuah tripel Pythagoras. (Bahkan setiap tripel Pythagoras ${\displaystyle (a,b,c)}$ dapat ditulis melalui cara tersebut dengan bilangan bulat ${\displaystyle n}$, yang mungkin setelah pertukaran ${\displaystyle a}$ dan ${\displaystyle b}$, dan kurva padanan dengan ${\displaystyle a}$ dan ${\displaystyle b}$. Jika ${\displaystyle a}$ beragam yang diketahui nilai ${\displaystyle n}$ (yaitu, pada parabola yang diketahui), nilai bilangan bulat ${\displaystyle b}$ sering kali berlangsung secara relatif jika ${\displaystyle n}$ bilangan kuadrat atau semua kelipatan kecil dari bilangan kuadrat. Jika nilai-nilai tersebut terletak secara berdekatan, maka parabola padanan hampir berimpit, dan kluster tripel di garis parabolik yang sempit. Sebagai contoh ${\displaystyle 38^{2}=1444}$, ${\displaystyle 2\times 27^{2}=1458}$, ${\displaystyle 3\times 22^{2}=1452}$, ${\displaystyle 5\times 17^{2}=1445}$ dan ${\displaystyle 10\times 12^{2}=1440}$, maka pita parabolik padanan sekitar ${\displaystyle n\approx 1450}$ terlihat jelas pada plot.

Sifat sudut digambarkan di atas mengikuti dengan seketika dari bentuk parabola yang fungsional. Parabolanya dicerminkan pada sumbu-${\displaystyle a}$ pada ${\displaystyle a=2n}$, dan turunan ${\displaystyle b}$ terhadap ${\displaystyle a}$ pada titik ini adalah ${\displaystyle -1}$, karena itu sudut insidensinya adalah ${\displaystyle 45^{\circ }}$. Karena kluster seperti semua tripel berulang pada kelipatan bilangan bulat, nilai ${\displaystyle 2n}$ juga korespondensi dengan sebuah kelompok. Parabola padanan memotong sumbu-${\displaystyle b}$ pada sudut siku-siku di ${\displaystyle b=2n}$, dan karena itu cerminannya setelah pertukuaran ${\displaystyle a}$ dan ${\displaystyle b}$ memotong sumbu-${\displaystyle a}$ pada sudut siku-siku di ${\displaystyle a=2n}$, tepat ketika parabola untuk ${\displaystyle n}$ dicerminkan pada sumbu-${\displaystyle a}$. (Hal yang sama tentunya juga benar untuk pertukaran ${\displaystyle a}$ dan ${\displaystyle b}$.)

Albert Fässler dan beberapa matematikawan lainnya memberikan pemahaman lebih lanjut tentang pengertian parabola tersebut dalam konteks pemetaan konformal.^[30][31]

Kasus khusus dan persamaan yang berkaitan

Barisan Platonik

Kasus ${\displaystyle n=1}$ dari konstruksi tripel Pythagoras yang lebih umum untuk waktu yang lama. Proclus, dalam komentarnya untuk Proposisi ke-47 dari buku pertama Eukildes's Elements, digambarkan sebagai berikut:

Metode tertentu untuk penemuan segitiga mengenai jenis ini diturunlan, salah satunya yang mana mereka merujuk ke Plato, dan lainnya ke Pythagoras. (Yang terakhir) dimulai dari bilangan ganjil. Untuk membuatnya bilangan ganjil lebih kecil dari sisi-sisi mengenai sudut siku-siku, maka ini mengambil kuadratnya, mengurangi persatuan dan memuat setengah beda lebih besar dari sisi-sisi mengenai sudut siku-siku; terakhir ini menambakan persatuan untuk ini dan demikian membentuk sisi-sisi yang tersisa. ...Untuk meotde Plato berdebat dari bilangan genap. Ini mengambil diberikan bilangan genap dan membuatnya salah satu dari sisi-sisi mengenai sudut siku-siku; maka, membagi dua bilangan ini dan menguadratkan bentuk hipotenusa, dan mengurangi persatuannya dari bilangna kuadat untuk membentuk sisi lainnya mengenai sudut siku-siku. ...Demikian ini membentuk segitiga yang sama yang diperoleh oleh metode lainnya.

Dalam bentuk persamaan, ini menjadi:

${\displaystyle a}$ adalah ganjil (Pythagoras, sekitar 540 SM):

${\displaystyle {\text{sisi }}a:{\text{sisi }}b={a^{2}-1 \over 2}:{\text{sisi }}c={a^{2}+1 \over 2}}$.

${\displaystyle a}$ adalah genap (Plato, sekitar 380 SM):

${\displaystyle {\text{sisi }}a:{\text{sisi }}b=\left({a \over 2}\right)^{2}-1:{\text{sisi }}c=\left({a \over 2}\right)^{2}+1}$.

Ini dapat ditunjukkan bahwa semua tripel Pythagoras dapat diperoleh, dengan skala ulang yang sesuai, dari barisan Platonic dasar ${\displaystyle \left(a,{\frac {a^{2}-1}{2}}{\text{ dan }}{\frac {a^{2}+1}{2}}\right)}$ dengan memungkinkan ${\displaystyle a}$ untuk mengambil nilai rasional bukan bilangan bulat. Jika ${\displaystyle a}$ digantikan dengan pecahan ${\displaystyle {\frac {m}{n}}}$ dalam barisan, hasilnya sama dengan pembangkit tripel 'standar' ${\displaystyle \left(2mn,m^{2}-n^{2},m^{2}+n^{2}\right)}$ setelah skala ulang. Ini mengikuti bahwa setiap tripel memiliki sebuah rasional padanan nilai ${\displaystyle a}$ yang dapat digunakan untuk menghasilkan sebuah segitiga sebangun (satu dengan tiga sudut yang sama dan dengan sisi-sisi dalam proposisi yang sama sebagai asalnya). Contohnya, setara Platonic ${\displaystyle (56,33,65)}$ dihasilkan oleh ${\displaystyle a={\frac {m}{n}}={\frac {7}{4}}}$ sebagai ${\displaystyle \left(a,{\frac {a^{2}-1}{2}},{\frac {a^{2}+1}{2}}\right)=\left({\frac {56}{32}},{\frac {33}{32}}.{\frac {65}{32}}\right)}$. Barisam Platonic sendiri dapat diturunkan^{[butuh klarifikasi]} dengan mengikuti langkah-langkah untuk "memisahkan kuadrat' digambarkan dalam Diophantus II. VIII.

Persamaan Jacobi–Madden

Persamaan,

${\displaystyle a^{4}+b^{4}+c^{4}+d^{4}=(a+b+c+d)^{4}}$

setara dengan tripel Pythagoras khusus

${\displaystyle (a^{2}+ab+b^{2})^{2}+(c^{2}+cd+d^{2})^{2}=((a+b)^{2}+(a+b)(c+d)+(c+d)^{2})^{2}}$.

Ada sebuah jumlah penyelesaian yang takterhingga untuk persamaan ini karena meyelesaikan untuk peubahnya melibatkan sebuah kurva eliptik. Yang kecil adalah,

${\displaystyle a,b,c,d=-2634,955,1770,5400}$

Jumlah sama dari dua jumlah bilangan kuadrat

Salah satu untuk menghasilkan penyelesaian untuk ${\displaystyle a^{2}+b^{2}=c^{2}+d^{2}}$ adalah untuk mengukur ${\displaystyle a,b,c,d}$ dalam suku bilangan bulat ${\displaystyle m,n,p,q}$ sebagai berikut:^[32]

${\displaystyle (m^{2}+n^{2})(p^{2}+q^{2})=(mp-nq)^{2}+(np+mq)^{2}=(mp+nq)^{2}+(np-mq)^{2}}$

Jumlah sama dari dua bilangan pangkat empat

Diberikan dua himpunan tripel Pythagoras,

${\displaystyle (a^{2}-b^{2})^{2}+(2ab)^{2}=(a^{2}+b^{2})^{2}}$

${\displaystyle (c^{2}-d^{2})^{2}+(2cd)^{2}=(c^{2}+d^{2})^{2}}$

masalah mencari hasilkali yang sama mengenai sebuah sisi takhipotenusa dan hipotenusanya,

${\displaystyle (a^{2}-b^{2})(a^{2}+b^{2})=(c^{2}-d^{2})(c^{2}+d^{2})}$

dengan mudah dilihat menjadi setara dengan persamaannya,

${\displaystyle {\displaystyle a^{4}-b^{4}=c^{4}-d^{4}}}$

dan pertama kali dipecahkan oleh Euler sebagai ${\displaystyle a,b,c,d=133,59,158,134}$. Karena beliau menunjukkan ini adalah sebuah titik rasional dalam sebuah kurva eliptik, maka ada sebuah jumlah penyelesaian yang takhingga. Faktanya, dia juga menemukan sebuah parameterisasi polinomial derajat 7.

Teorema Lingkaran Descartes

Untuk kasus teorema lingkaran Descartes dimana semua peubah adalah bilangan kuadrat,

${\displaystyle 2(a^{4}+b^{4}+c^{4}+d^{4})=(a^{2}+b^{2}+c^{2}+d^{2})^{2}}$

Euler menunjukkan ini adalah setara dengan tiga tripel Pythagoras simultan,

${\displaystyle (2ab)^{2}+(2cd)^{2}=(a^{2}+b^{2}-c^{2}-d^{2})^{2}}$

${\displaystyle (2ac)^{2}+(2bd)^{2}=(a^{2}-b^{2}+c^{2}-d^{2})^{2}}$

Terdapat juga jumlah penyelesaian yang takterhingga, dan untuk kasus khusus dimana ${\displaystyle a+b=c}$, maka persamaannya menyederhanakan ke,

dengan penyelesaian yang kecil sebagai ${\displaystyle a,b,c,d=3,5,8,14}$ dan dapat dipecahkan sebagai bentuk kuadratik biner.

tripel Pythagoras hampir sama kaki

Tidak ada tripel Pythagoras adalah sama kaki, karena rasio dari hipotenusa untuk salah satu sisi lainnya adalah √2, tapi √2 tidak dapat diungkapkan sebagia rasio 2 bilangan bulat.

Itu adalah, nbnamun, segitiga bersudut siku-siku dengan sisi integral untuk yang panjangnya dari sisi takhipotenusa berbeda dengan satunya, seperti,

${\displaystyle 3^{2}+4^{2}=5^{2}}$

dan jumlah lainnya takterhingga. Mereka dapat diukur lengkap sebagai,

${\displaystyle \left({\frac {x-1}{2}}\right)^{2}+\left({\frac {x+1}{2}}\right)^{2}=y^{2}}$

dimana ${\displaystyle \{x,y\}}$ adalah penyelesaian untuk persamaan Pell ${\displaystyle x^{2}-2y^{2}=-1}$

Jika ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ adalah sisi-sisi tipe ini mengenai tripel Pythagoras primitif, maka penyelesaian untuk persamaan Pell diberikan oleh rumus rekursif

${\displaystyle a_{n}=6a_{n-1}-a_{n-2}+2}$ dengan ${\displaystyle a_{1}=3}$ dan ${\displaystyle a_{2}=20}$

${\displaystyle b_{n}=6b_{n-1}-b_{n-2}-2}$ dengan ${\displaystyle b_{1}=4}$ dan ${\displaystyle b_{2}=21}$

${\displaystyle c_{n}=6c_{n-1}-c_{n-2}}$ dengan ${\displaystyle c_{1}=5}$ dan ${\displaystyle c_{2}=29}$.^[33][34]

Barisan ini mengenai tripel Pythagoras primitif membentuk batang pusat dari pohon terner berakar mengenai tripel Pythagoras primitif.

Ketika ini sisi takhipotenusa yang panjang dan hipotenusa yang berbeda dengan satunya, seperti di

${\displaystyle 5^{2}+12^{2}=13^{2}}$

${\displaystyle 7^{2}+24^{2}=25^{2}}$

maka penyelesaian lengkap untuk tripel Pythagoras primitif ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ adalah

${\displaystyle a=2m+1}$, ${\displaystyle b=2m^{2}+2m}$, ${\displaystyle c=2m^{2}+2m+1}$

dan

${\displaystyle (2m+1)^{2}+(2m^{2}+2m)^{2}=(2m^{2}+2m+1)^{2}}$

dimana bilangan bulat ${\displaystyle m>0}$ adalah parameter pembangkit.

Ini menunjukkan bahwa semua bilangan ganjil (lebih dari 1) muncul dalam tipe ini mengenai tripel Pythagoras primitif hampir sama kaki. Barisan tripel Pythagoras ini membentuk batang luar sisi sebelah kanan dari pohon terner berakar mengenai tripel Pythgoras primitif.

Sifat tipe ini lainnya mengenai tripel Pythagoras primtiif hampir sama kaki adalah bahwa sisi-sisinya berkaitan sehingga

${\displaystyle a^{b}+b^{a}=Kc}$

untuk suatu bilangan bulat ${\displaystyle K}$. Atau dengan kata lain ${\displaystyle a^{b}+b^{a}}$ habis dibagi oleh ${\displaystyle c}$ seperti di

${\displaystyle {\frac {5^{12}+12^{5}}{13}}=18799189}$.^[35]

Bilangan Fibonacci dalam tripel Pythagoras

Dimulai dengan 5, setiap bilangan Fibonacci adalah panjang dari hipotenus segitiga siku-siku dengan sisi bilangan bulat, atau dengan kata lain, bilangan terbesar dalam sebuah tripel Pythagoras, diperoleh dari rumus

${\displaystyle (F_{n}F_{n+3})^{2}+(2F_{n+1}F_{n+2})^{2}=F_{2n+3}^{2}}$.

Barisan segitiga Pythagiras diperoleh dari rumus ini memiliki sisi panjang

${\displaystyle (3,4,5),(5,12,13),(16,30,34),(39,80,89),\dots }$

Sisi tengah mengenai setiap segitiga ini adalah jumlah dari tiga sisi dari segitiga sebelumnya.^[36]

Perampatan

Terdapat beberapa cara untuk merampat konsep tripel Pythagoras.

Rangkap-n Pythagoras

Menggunakan identitas aljabar sederhana,

${\displaystyle (x_{1}^{2}-x_{0})^{2}+(2x_{1})^{2}x_{0}=(x_{1}^{2}+x_{0})^{2}}$

untuk sebarang ${\displaystyle x_{0}}$, ${\displaystyle x_{1}}$, ini mudah untuk membuktikan bahwa bilangan kuadrat dari jumlah kuadrat ${\displaystyle n}$ adalah jumlah kuadrat ${\displaystyle n}$ itu sendiri dengan memisalkan ${\displaystyle x_{0}=x_{2}^{2}+x_{3}^{2}+\dots +x_{n}^{2}}$ dan kemudian mendistribusikan suku-suku.^[37] Salah satunya dapat lihat bagaimana tripel dan rangkap empat Pythagoras hanyalah kasus khusus ${\displaystyle x_{0}=x_{2}^{2}}$ dan ${\displaystyle x_{0}=x_{2}^{2}+x_{3}^{2}}$, masing-masing, dan seterusnya untuk ${\displaystyle n}$ lain, dengan rangkap lima diberikan oleh

${\displaystyle (a^{2}-b^{2}-c^{2}-d^{2})^{2}+(2ab)^{2}+(2ac)^{2}+(2ad)^{2}=(a^{2}+b^{2}+c^{2}+d^{2})^{2}}$.

Karena jumlah ${\displaystyle F(k,m)}$ mengenai bilangan kuadrat berturutan ${\displaystyle k}$ diawali dengan ${\displaystyle m^{2}}$ diberikan oleh rumus,^[38]

${\displaystyle F(k,m)=km(k-1+m)+{\frac {k(k-1)(2k-1)}{6}}}$

salah satunya dapat mencari nilai ${\displaystyle (k,m)}$ sehingga ${\displaystyle F(k,m)}$ adalah sebuah bilangan kuadrat, seperti saklah satunya oleh Hirschhorn dimana jumlah suku-suku adalah sebuah bilangan kuadrat itu sendiri,^[39]

${\displaystyle m={\frac {v^{4}-24v^{2}-25}{48}}}$, ${\displaystyle k=v^{2}}$, ${\displaystyle F(m,k)={\frac {v^{5}+47v}{48}}}$

dan ${\displaystyle v\geq 5}$ adalah suatu bilangan bulat tidak habs dibagi oleh 2 atau 3. Untuk kasus terkecil ${\displaystyle v=5}$, karena ${\displaystyle k=25}$, ini menghasilkan masalah pengepakan peluru meriam terkenal dari Lucas.

${\displaystyle 0^{2}+1^{2}+2^{2}+\dots +24^{2}=70^{2}}$

sebuah fakta yang terhubung dengan kekisi Leech.

Sebagai tambahan, jka dalam sebuah rangkap-${\displaystyle n}$ Pythagoras (${\displaystyle n\geq 4}$), semua penambahan adalah berturutan kecuali satu, satunya dapat menggunakan persamaannya,^[40]

${\displaystyle F(k,m)+p^{2}=(p+1)^{2}}$

Karena pangkat dua ${\displaystyle p}$ membatalkan, ini hanya linear dan dengan mudah dipecahkan sebab ketika ${\displaystyle p={\frac {F(k,m)-1}{2}}}$ meskipun ${\displaystyle k}$, ${\displaystyle m}$ seharusnya dipilih sehingga ${\displaystyle p}$ adalah sebuah bilangan bulat, dengan sebuah contoh kecil menjadi ${\displaystyle k=5}$, ${\displaystyle m=1}$ menghasilkan,

${\displaystyle 1^{2}+2^{2}+3^{2}+4^{2}+5^{2}+27^{2}=28^{2}}$

Demikian, salah satu cara untuk menghasilkan rangkap-${\displaystyle n}$ Pythagoras adalah dengan menggunakan, untuk berbagai ${\displaystyle x}$,^[41]

${\displaystyle x^{2}+(x+1)^{2}+\cdots +(x+q)^{2}+p^{2}=(p+1)^{2}}$,

dimana ${\displaystyle q=n-2}$ dan dimana

${\displaystyle p={\frac {(q+1)x^{2}+q(q+1)x+{\frac {q(q+1)(2q+1)}{6}}-1}{2}}}$.

Rangkap empat Pythgoras

Sebuah himpunan empat bilangan bulat positif ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, dan ${\displaystyle d}$ sehingga ${\displaystyle a^{2}+b^{2}+c^{2}=d^{2}}$ disebut rangkap empat Pythagoras. Contoh paling sederhananya adalah ${\displaystyle (1,2,2,3)}$, karena ${\displaystyle 1^{2}+2^{2}+2^{2}=3^{2}}$. Contoh (primitif) paling sederhana berikutnya adalah ${\displaystyle (2,3,6,7)}$ karena ${\displaystyle 2^{2}+3^{2}+6^{2}=7^{2}}$.

Semua rangkap empat diberikan oleh rumus

${\displaystyle (m^{2}+n^{2}-p^{2}-q^{2})^{2}+(2mq+2np)^{2}+(2nq-2mp)^{2}=(m^{2}+n^{2}+p^{2}+q^{2})^{2}}$.

Teorema Terakhir Fermat

Sebuah perampatan dari konsep tripel Pythagoras adalah penelusuran untuk tripel bilangan bulat positif ${\displaystyle a}$, ${\displaystyle b}$, dan ${\displaystyle c}$ , sehingga ${\displaystyle a^{n}+b^{n}=c^{n}}$, untuk suatu ${\displaystyle n}$ sempurna lebih besar dari 2. Pierre de Fermat pada tahun 1637 mengklaim bahwa seperti tripel itu tidak ada, sebuah klaim yang datang diketahui sebagai Teorema Terakhir Fermat karena ini mengambil lebih lama dari suatu konjektur lainnya oleh Fermat untuk dibuktikan atau dibantah. Bukti pertama diberikan oleh Andrew Wiles pada tahun 1994.

Menjumlahkan bilangan pangkat ke-${\displaystyle n-1}$ atau ${\displaystyle n}$ untuk sebuah bilangan pangkat ${\displaystyle n}$

Perampatan lainnya adalah penelusuran untuk barisan bilangan bulat positif ${\displaystyle n+1}$ untuk yang bilangan pangkat ke-${\displaystyle n}$ terakhirnya adalah jumlah pangkat ke-${\displaystyle n}$ dari suku sebelumnya. Barisan terkecil untuk nilai ${\displaystyle n}$ yang dikenal adalah:

• ${\displaystyle n=3\colon \{3,4,5;6\}}$
• ${\displaystyle n=4\colon \{30,120,272,315;353\}}$
• ${\displaystyle n=5\colon \{19,43,46,47,67;72\}}$
• ${\displaystyle n=7\colon \{127,258,266,413,430,439,525;568\}}$
• ${\displaystyle n=8\colon \{90,223,478,524,748,1088,1190,1324;1409\}}$

Untuk kasus ${\displaystyle n=3}$, di mana ${\displaystyle x^{3}+y^{3}+z^{3}=w^{3}}$, disebut kubik Fermat, sebuah rumus umum ada memberikan semua penyelesaian.

Sebuah sedikit perampatan yang berbeda memungkinkan jumlah pangkat ke-${\displaystyle (k+1)}$ menyamakan jumlah pangkat ke-${\displaystyle (n-k)}$. Contohnya:

• ${\displaystyle (n=3)\colon 1^{3}+12^{3}=9^{3}+10^{3}}$, dibuat terkenal oleh ingatan Hardy mengenai sebuah percakapan dengan Ramanujan tentang bilangan 1729 menjadi bilangan terkecil yang dapat diungkapkan sebagai sebuah jumlah dua kubik dalam dua cara yang berbeda.

Ini juga ada bilangan bulat positif ${\displaystyle n-1}$ yang jumlah pangkat ke-${\displaystyle n}$ (meskipun, oleh teorema terakhir Fermat, bukan untuk ${\displaystyle n=3}$); ini adalah contoh berlawanan dengan jumlah Euler mengenai konjektur pangkat. Contoh berlawanan terkecil yang dikenal adalah^[42][43][13]

• ${\displaystyle n=4\colon (95800,217519,414560;422481)}$
• ${\displaystyle n=5\colon (27,84,110,133;144)}$

tripel segitiga Heron

Sebuah segitiga Heron biasanya didefinisikan sebagai salah satunya dengan sisi bilangan bulat yang luasnya juga sebuah bilangan bulat, dan kita harus menganggap segitiga Heron dengan sisi bilangan bulat yang berbeda. Panjang dari sisi seperti sebuah segitiga membentuk sebuah tripel Heron ${\displaystyle (a,b,c)}$ disediakan ${\displaystyle a<b<c}$. Setiap tripel Pythagoras adalah sebuah tripel Heron, karena setidaknya salah satu dari kaki ${\displaystyle a}$, ${\displaystyle b}$ harus menjadi genap dalam sebuah tripel Pythagoras, jadi luasnya ${\displaystyle {\frac {ab}{2}}}$ adalah sebuah bilangan bulat. Tidak setiap tripel Heorn adalah sebuah tripel Pythagoras, namun, sebagai contoh ${\displaystyle (4,13,15)}$ dengan luas 24 yang ditunjukkan.

Jika ${\displaystyle (a,b,c)}$ adalah sebuah tripel Heron, begitu juga ${\displaystyle (ma,mb,mc)}$ dimana ${\displaystyle m}$ adalah suatu bilangan bulat positif; luasnya akan menjadi bilangan bulat yaitu ${\displaystyle m^{2}}$ dikali luas bilangan bulat dari segitiga ${\displaystyle (a,b,c)}$. tripel Heron ${\displaystyle (a,b,c)}$ adalah primitif disediakan ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ adalah koprima sehimpunan. (Dengan tripel Pythagoras primitif, pernyataan yang lebih kuat yang mereka adalah koprima sepasangan juga menerapkan, tapi dengan segitiga Heron primitif, pernyataan yang lebih kuat tidak selalu berlaku benar, seperti dengan ${\displaystyle (7,15,20)}$.) Disini ada beberapa tripel Heron primitif paling sederhana yang bukan tripel Pythagoras:

${\displaystyle (4,13,15)}$ dengan luas ${\displaystyle 24}$

${\displaystyle (3,25,26)}$ dengan luas ${\displaystyle 36}$

${\displaystyle (7,15,20)}$ dengan luas ${\displaystyle 42}$

${\displaystyle (6,25,29)}$ dengan luas ${\displaystyle 60}$

${\displaystyle (11,13,20)}$ dengan luas ${\displaystyle 66}$

${\displaystyle (13,14,15)}$ dengan luas ${\displaystyle 84}$

${\displaystyle (13,20,21)}$ dengan luas ${\displaystyle 126}$

Oleh rumus Heron, syarat tambahan untuk sebuah tripel bilangan bulat ${\displaystyle (a,b,c)}$ dengan ${\displaystyle a<b<c}$ menjadi Heron adalah

${\displaystyle (a^{2}+b^{2}+c^{2})^{2}-2(a^{4}+b^{4}+c^{4})}$

atau dengan setara

${\displaystyle 2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})-(a^{4}+b^{4}+c^{4})}$

menjadi bilangan kuadrat sempurna taknol habis dibagi 16.

Penerapan untuk kriptografi

tripel Pythagoras primitif telah digunakan dalam kriptografi sebagai barisan acak dan untuk generasi kunci.

Lihat pula

• Aritmetika modular
• Batu bata Euler
• Bilangan prima Pythagoras
• Bilangan takhipotenusa
• Diophantus II. VIII
• Identitas trigonometrik
• Kongruum
• Masalah tripel Pythagoras Boole
• Plimpton 322
• tripel Eisenstein
• Rangkap empat Pythagoras
• Rumus setengah sudut tangen
• Segitiga bilangan bulat
• Segitiga Heron
• Teorema 90 Hilbert