Xem mã nguồn của Bộ ba số Pythagoras

{{chú thích trong hàng}} 
[[Tập tin:Pythagorean.svg|nhỏ|phải|[[Định lý Pytago|Định lý Pythagoras]]: ''a''<sup>2</sup>&nbsp;+&nbsp;''b''<sup>2</sup>&nbsp;=&nbsp;''c''<sup>2</sup>]]
Một '''bộ ba số Pythagoras''' (còn gọi là '''bộ ba số Pytago''' hay '''bộ ba số Pythagore''') gồm ba [[số nguyên]] dương a, b, và c, sao cho a<sup>2</sup> + b<sup>2</sup> = c<sup>2</sup>. Khi đó ta viết bộ ba đó là (a, b, c), và bộ ba số nhỏ nhất thỏa mãn điều kiện là (3, 4, 5). Nếu (a, b, c) là bộ ba số Pythagore, thì  cả bộ ba (ka, kb, kc) với số nguyên dương k bất kỳ cũng là Pythagoras. Một bộ ba số Pythagoras được gọi là '''bộ ba số Pythagoras nguyên tố''' nếu a, b và c là các [[số nguyên tố cùng nhau]].<ref>{{harvtxt|Long|1972|p=48}}</ref>

Tên gọi của các bộ ba số này xuất phát từ [[Định lý Pythagoras]]. Các bộ ba số Pytago có thể lấy làm độ dài các cạnh của [[tam giác]] vuông với độ dài cạnh huyền là c. Tuy nhiên, độ dài các cạnh của một [[tam giác]] vuông không tạo thành bộ ba số Pythagoras nếu chúng không là các số nguyên. Chẳng hạn, [[tam giác]] với các cạnh a = b = 1 và c = √2 là [[tam giác]] vuông, nhưng (1, 1, √2) không là bộ ba số Pythagoras vì √2 không là số nguyên.

Không tồn tại bộ ba số Pythagoras nào có 2 số chẵn

Chỉ có một bộ ba số Pythagoras gồm 3 [[số tự nhiên]] liên tiếp nhau là (3, 4, 5).

Có 159 bộ ba Pythagoras nguyên thủy với c ≤ 1000.

* c ≤ 100 (16 bộ ba):

{|align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (3, 4, 5)
|style="padding: 0 1em"| (5, 12, 13)
| style="padding: 0 1em" | (8, 15, 17)
|(7,24,25)
|- align="right"
|style="padding: 0 1em"| (20, 21, 29)
|style="padding: 0 1em"| (12, 35, 37)
| style="padding: 0 1em" | (9, 40, 41)
|(28,45,53)
|- align="right"
|style="padding: 0 1em"| (11, 60, 61)
|style="padding: 0 1em"| (16, 63, 65) 
| style="padding: 0 1em" | (33, 56, 65)
|(48,55,73)
|- align="right"
|style="padding: 0 1em"| (13, 84, 85)
|style="padding: 0 1em"| (36, 77, 85)
| style="padding: 0 1em" | (39, 80, 89)
|(65,72,97)
|- align="right"
|
|
|
|
|}

* 101 ≤ c ≤ 200 (16 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (20, 99, 101)
|style="padding: 0 1em"| (60, 91, 109)
|style="padding: 0 1em"| (15, 112, 113)
|style="padding: 0 1em"| (44, 117, 125)
|- align="right"
|style="padding: 0 1em"| (88, 105, 137)
|style="padding: 0 1em"| (17, 144, 145)
|style="padding: 0 1em"| (24, 143, 145)
|style="padding: 0 1em"| (51, 140, 149)
|- align="right"
|style="padding: 0 1em"| (85, 132, 157)
|style="padding: 0 1em"| (119, 120, 169)
|style="padding: 0 1em"| (52, 165, 173) 
|style="padding: 0 1em"| (19, 180, 181)
|- align="right"
|style="padding: 0 1em"| (57, 176, 185)
|style="padding: 0 1em"| (104, 153, 185)
|style="padding: 0 1em"| (95, 168, 193)
|style="padding: 0 1em"| (28, 195, 197)
|}

* 201 ≤ c ≤ 300 (15 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (84, 187, 205)
|style="padding: 0 1em"| (133, 156, 205)
|style="padding: 0 1em"| (21, 220, 221)
|style="padding: 0 1em"| (140, 171, 221)
|style="padding: 0 1em"| (60, 221, 229)
|- align="right"
|style="padding: 0 1em"| (105, 208, 233)
|style="padding: 0 1em"| (120, 209, 241)
|style="padding: 0 1em"| (32, 255, 257)
|style="padding: 0 1em"| (23, 264, 265)
|style="padding: 0 1em"| (96, 247, 265)
|- align="right"
|style="padding: 0 1em"| (69, 260, 269)
|style="padding: 0 1em"| (115, 252, 277)
|style="padding: 0 1em"| (160, 231, 281) 
|style="padding: 0 1em"| (161, 240, 289)
|style="padding: 0 1em"| (68, 285, 293)
|}

* 301 ≤ c ≤ 400 (16 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (136, 273, 305)
|style="padding: 0 1em"| (207, 224, 305)
|style="padding: 0 1em"| (25, 312, 313)
|style="padding: 0 1em"| (75, 308, 317)
|- align="right"
|style="padding: 0 1em"| (36, 323, 325)
|style="padding: 0 1em"| (204, 253, 325)
|style="padding: 0 1em"| (175, 288, 337)
|style="padding: 0 1em"| (180, 299, 349)
|- align="right"
|style="padding: 0 1em"| (225, 272, 353)
|style="padding: 0 1em"| (27, 364, 365)
|style="padding: 0 1em"| (76, 357, 365) 
|style="padding: 0 1em"| (252, 275, 373)
|- align="right"
|style="padding: 0 1em"| (135, 352, 377)
|style="padding: 0 1em"| (152, 345, 377)
|style="padding: 0 1em"| (189, 340, 389)
|style="padding: 0 1em"| (228, 325, 397)
|}

* 401 ≤ c ≤ 500 (17 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (40, 399, 401)
|style="padding: 0 1em"| (120, 391, 409)
|style="padding: 0 1em"| (29, 420, 421)
|style="padding: 0 1em"| (87, 416,425)
|- align="right"
|style="padding: 0 1em"| (297, 304, 425)
|style="padding: 0 1em"| (145, 408, 433)
|style="padding: 0 1em"| (84, 437, 445)
|style="padding: 0 1em"| (203, 396, 445)
|- align="right"
|style="padding: 0 1em"| (280, 351, 449)
|style="padding: 0 1em"| (168, 425, 457)
|style="padding: 0 1em"| (261, 380, 461) 
|style="padding: 0 1em"| (31, 480, 481)
|- align="right"
|style="padding: 0 1em"| (319, 360, 481)
|style="padding: 0 1em"| (44, 483, 485)
|style="padding: 0 1em"| (93, 476, 485)
|style="padding: 0 1em"| (132, 475, 493)
|- align="right"
|style="padding: 0 1em"| (155, 468, 493)
|}

* 501 ≤ c ≤ 600 (15 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (217, 456, 505)
|style="padding: 0 1em"| (336, 377, 505)
|style="padding: 0 1em"| (220, 459, 509)
|style="padding: 0 1em"| (279, 440, 521)
|style="padding: 0 1em"| (92, 525, 533)
|- align="right"
|style="padding: 0 1em"| (308, 435, 533)
|style="padding: 0 1em"| (341, 420, 541)
|style="padding: 0 1em"| (33, 544, 545)
|style="padding: 0 1em"| (184, 513, 545)
|style="padding: 0 1em"| (165, 532, 557)
|- align="right"
|style="padding: 0 1em"| (276, 493, 565)
|style="padding: 0 1em"| (396, 403, 565)
|style="padding: 0 1em"| (231, 520, 569) 
|style="padding: 0 1em"| (48, 575, 577)
|style="padding: 0 1em"| (368, 545, 593)
|}

* 601 ≤ c ≤ 700 (17 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (240, 551, 601)
|style="padding: 0 1em"| (35, 612, 613)
|style="padding: 0 1em"| (105, 608, 617)
|style="padding: 0 1em"| (336, 527, 625)
|- align="right"
|style="padding: 0 1em"| (100, 621, 629)
|style="padding: 0 1em"| (429, 460, 629)
|style="padding: 0 1em"| (200, 609, 641)
|style="padding: 0 1em"| (315, 572, 653)
|- align="right"
|style="padding: 0 1em"| (300, 589, 661)
|style="padding: 0 1em"| (385, 552, 673)
|style="padding: 0 1em"| (52, 675, 677) 
|style="padding: 0 1em"| (37, 684, 685)
|- align="right"
|style="padding: 0 1em"| (156, 667, 685)
|style="padding: 0 1em"| (111, 680, 689)
|style="padding: 0 1em"| (400, 561, 689)
|style="padding: 0 1em"| (185, 672, 697)
|- align="right"
|style="padding: 0 1em"| (455, 528, 697)
|}

* 701 ≤ c ≤ 800 (16 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (260, 651, 701)
|style="padding: 0 1em"| (259, 660, 709)
|style="padding: 0 1em"| (333, 644, 725)
|style="padding: 0 1em"| (364, 627, 725)
|- align="right"
|style="padding: 0 1em"| (108, 725, 733)
|style="padding: 0 1em"| (216, 713, 745)
|style="padding: 0 1em"| (407, 624, 745)
|style="padding: 0 1em"| (468, 595, 757)
|- align="right"
|style="padding: 0 1em"| (39, 760, 761)
|style="padding: 0 1em"| (481, 600, 769)
|style="padding: 0 1em"| (195, 748, 773) 
|style="padding: 0 1em"| (56, 783, 785)
|- align="right"
|style="padding: 0 1em"| (273, 736, 785)
|style="padding: 0 1em"| (168, 775, 793)
|style="padding: 0 1em"| (432, 665, 793)
|style="padding: 0 1em"| (555, 572, 797)
|}

* 801 ≤ c ≤ 900 (12 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (280, 759, 809)
|style="padding: 0 1em"| (429, 700, 821)
|style="padding: 0 1em"| (540, 629, 829)
|style="padding: 0 1em"| (41, 840, 841)
|- align="right"
|style="padding: 0 1em"| (116, 837, 845)
|style="padding: 0 1em"| (123, 836, 845)
|style="padding: 0 1em"| (205, 828, 853)
|style="padding: 0 1em"| (232, 825, 857)
|- align="right"
|style="padding: 0 1em"| (287, 816, 865)
|style="padding: 0 1em"| (504, 703, 865)
|style="padding: 0 1em"| (348, 805, 877) 
|style="padding: 0 1em"| (369, 800, 881)
|}

* 901 ≤ c ≤ 1000 (18 bộ ba):

{| align="center" cellspacing="0" cellpadding="0"
|- align="right"
|style="padding: 0 1em"| (60, 899, 901)
|style="padding: 0 1em"| (451, 780, 901)
|style="padding: 0 1em"| (464, 777, 905)
|style="padding: 0 1em"| (616, 663, 905)
|style="padding: 0 1em"| (43, 924, 925)
|style="padding: 0 1em"| (533, 756, 925)
|- align="right"
|style="padding: 0 1em"| (129, 920, 929)
|style="padding: 0 1em"| (215, 912, 937)
|style="padding: 0 1em"| (580, 741, 941)
|style="padding: 0 1em"| (301, 900, 949)
|style="padding: 0 1em"| (420, 851, 949)
|style="padding: 0 1em"| (615, 728, 953)
|- align="right"
|style="padding: 0 1em"| (124, 957, 965)
|style="padding: 0 1em"| (387, 884, 965)
|style="padding: 0 1em"| (248, 945, 977) 
|style="padding: 0 1em"| (473, 864, 985)
|style="padding: 0 1em"| (696, 697, 985)
|style="padding: 0 1em"| (372, 925, 997)
|}
*

== Công thức tổng quát ==
Công thức sau tổng quát tất cả các bộ ba số Pythagoras (không đơn trị):

:<math>a=k(m^2-n^2)</math>
:<math>b=k2mn</math>
:<math>c=k(m^2+n^2)</math>

Trong đó m và n là hai số nguyên tố cùng nhau, có một số chẵn và một số lẻ, với m > n và k là số nguyên dương tùy ý. Hai số a và b có thể hoán đổi vai trò cho nhau. Đặc biệt với k = 1 nó dẫn tới công thức cổ điển cho bởi [[Euclid]] (kh. 300 TCN) trong cuốn sách [[Cơ sở (Euclid)|Elements]] của ông, thường được gọi là '''công thức Euclid''':

:<math>a=m^2-n^2</math>
:<math>b=2mn</math>
:<math>c=m^2+n^2</math>

Bộ ba số sinh bởi công thức Euclid là nguyên tố chỉ nếu m và n là các [[số nguyên tố cùng nhau]] và đúng một trong chúng là số chẵn. Nếu cả n và m cùng là chẵn (hoặc lẻ), thì a, b, và c sẽ là chẵn, và bộ ba số đó không nguyên tố cùng nhau. Mọi bộ ba nguyên tố (có thể đổi vai trò giữa a và b) sinh ra từ một cặp duy nhất các số nguyên tố cùng nhau m, n, mà một trong chúng là lẻ.

== Tính chất ==
Trong một bộ ba Pythagoras nguyên thủy, ký hiệu:
:Hai cạnh góc vuông:
::<math> m^2-n^2 </math> và <math> 2mn </math> là 2 cạnh góc vuông a,b; trong đó <math> 2mn </math> là cạnh góc vuông chẵn.
::<math> c=m^2+n^2 </math> là cạnh huyền.

* Mối liên hệ khác giữa ba số trong bộ ba Pytagoras,
::<math> a + b = c + 2\sqrt{\frac{(c - a)(c - b)}{2}}</math>
* (c − a)(c − b)/2 là [[số chính phương]]. Điều này rất có ích khi kiểm tra xem một bộ ba số có phải là bộ ba Pythagoras hay không, tuy vậy đây chỉ là điều kiện cần, chưa đủ. Ví dụ, bộ ba {6, 12, 8} thỏa mãn (c − a)(c − b)/2 là số chính phương, nhưng lại không phải là bộ ba Pythagoras. Điều kiện (nếu a là cạnh góc vuông chẵn) "(c − a) và (c − b)/2 đồng thời là số chính phương" chính là điều kiện cần và đủ để (a,b,c) lập thành bộ ba Pythagoras; bộ ba Pythagoras này có thể không nguyên thủy.
* Nếu hai số bất kì trong bộ ba Pythagoras nguyên tố cùng nhau thì đó là bộ ba Pythagoras nguyên thủy.
* Trong 3 số a, b, c có nhiều nhất một số chính phương.
* Tồn tại vô số bộ ba Pythagoras nguyên thủy có [[tam giác#Phân loại tam giác|cạnh huyền]] là số chính phương.
* Tồn tại vô số bộ ba Pythagoras nguyên thủy có một [[cạnh góc vuông]] là số chính phương
* Tổng và hiệu của cạnh huyền với cạnh góc vuông chẵn là hai số chính phương lẻ; trong hai số tổng và hiệu của cạnh huyền với cạnh góc vuông lẻ, có một số là tích của 2 với một số chính phương chẵn và một số là tích của 2 với một số chính phương lẻ:
::<math> (m^2+n^2) + (2mn) = (m+n)^2 </math>
::<math> (m^2 + n^2) - (2mn) = (m - n)^2  </math>
::<math> (m^2+n^2) + (m^2-n^2) = 2m^2 </math>
::<math> (m^2+n^2) - (m^2-n^2) = 2n^2 </math>

* Chu vi (P = a+b+c) là số chẵn (Vì trong ba số a, b, c có hai số lẻ và một số chẵn)
*Diện tích (S = ab/2) là số [[đồng dư]], chia hết cho 6 (Vì trong hai số a, b có một số lẻ và một số chẵn; có một số chia hết cho 3 và một số chia hết cho 4)
* Trong hai số a, b có một số lẻ và một số chẵn; c là số lẻ.
{{hidden begin|title=Chứng minh}}Vì a, b, c là ba số nguyên tố cùng nhau từng đôi một nên chúng không thể cùng là số chẵn.
:Giả sử a và b là số lẻ, c là số chẵn
:Khi đó: <math> a^2 </math> và <math> b^2 </math> chia 4 dư 1
:Suy ra: <math> c^2=a^2+b^2 </math> chia 4 dư 2, vô lí vì c là số chẵn nên <math> c^2 </math> chia hết cho 4.
Do đó trong hai số a và b có một số lẻ và một số chẵn; c là số lẻ.{{hidden end}}
* Trong hai số a, b có đúng một số chia hết cho 3.
{{hidden begin|title=Chứng minh}}
:Mọi số chính phương đều chia hết cho 9 hoặc chia 3 dư 1.
:Giả sử trong a và b không có số nào chia hết cho 3.
:Khi đó: <math> a^2 </math> và <math> b^2 </math> chia 3 đều dư 1
Suy ra: <math> c^2=a^2+b^2 </math> chia 3 dư 2, vô lí vì <math> c^2 </math> là số chính phương.
Mặt khác a và b là hai số nguyên tố cùng nhau, do đó trong hai số a, b có đúng một số chia hết cho 3.{{hidden end}}
* Trong hai số a, b có đúng một số chia hết cho 4; và không có số nào có dạng 4k + 2.
{{hidden begin|title=Chứng minh}}
c là số lẻ nên không chia hết cho 4.
:Mọi số chính phương chẵn chia hết cho 4; mọi số chính phương lẻ chia 8 dư 1.
:Trong a và b chỉ có một số chẵn.
:Giả sử trong a và b có một số chẵn, chia 4 dư 2.
:Do đó số chính phương của số chẵn này chia 8 dư 4 
Suy ra: <math> c^2=a^2+b^2 </math> chia 8 dư 5, vô lí vì <math> c^2 </math> là số chính phương lẻ.
Do đó trong hai số a, b có đúng một số chia hết cho 4.{{hidden end}}
* Trong ba số a, b, c có đúng một số chia hết cho 5.
{{hidden begin|title=Chứng minh}}
Mọi số chính phương đều chia hết cho 25 hoặc chia 5 dư 1 hoặc 4.
:Giả sử trong ba số a, b, c không có số nào chia hết cho 5. (*)
:Trường hợp 1: <math> a^2 </math> và <math> b^2 </math> chia 5 đều dư 1
:Khi đó: <math> c^2=a^2+b^2 </math> chia 5 dư 2, vô lí vì <math> c^2 </math> là số chính phương.
:Trường hợp 2: <math> a^2 </math> và <math> b^2 </math> chia 5 đều dư 4
:Khi đó: <math> c^2=a^2+b^2 </math> chia 5 dư 3, vô lí vì <math> c^2 </math> là số chính phương.
:Trường hợp 3: Trong 2 số <math> a^2 </math> và <math> b^2 </math> có một số chia 5 dư 1, một số chia 5 dư 4.
:Khi đó: <math> c^2=a^2+b^2 </math> chia hết cho 5, mâu thuẫn với (*).
Mặt khác, a, b, c là ba số nguyên tố cùng nhau từng đôi một, do đó trong ba số a, b, c có đúng một số chia hết cho 5.{{hidden end}}
* Trong bốn số a, b, (a + b), (b − a) có đúng một số chia hết cho 7.
* Trong bốn số (a + c), (b + c), (c − a), (c − b) có đúng một số chia hết cho 8.
{{hidden begin|title=Chứng minh}}Trong hai số a, b có đúng một số chia hết cho 4
:Giả sử a chia hết cho 4
:Suy ra: <math> a^2 </math> chia hết cho 16
:Suy ra: <math> c^2-b^2 </math> chia hết cho 16
:Suy ra: <math> (c+b)(c-b) </math> chia hết cho 16
:Vì a chia hết cho 4 nên b là số lẻ
:Số c chia 4 dư 1 nên (c + b) và (c – b) là số chẵn; còn (c + b) và (c – b) là số lẻ
:Trường hợp 1: Cả (c + b) và (c – b) đều chia hết cho 4
:Trường hợp 2: Trong 2 số (c + b), (c – b) có một số chia hết cho 8, số còn lại chia 4 dư 2
:Từ trường hợp 1 suy ra: b và c cùng chia hết cho 4 hoặc chia 4 dư 2, vô lí vì b và c là số lẻ
:Vậy nên chỉ có trường hợp 2 xảy ra.
Tương tự, nếu b chia hết cho 4 thì (c + b), (c – b) là số lẻ, một trong hai số (c + a), (c – a) chia hết cho 8.
{{hidden end}}
* Trong bốn số (a + c), (b + c), (c − a), (c − b) có đúng một số chia hết cho 9.
{{hidden begin|title=Chứng minh}}Trong hai số a, b có đúng một số chia hết cho 3
:Giả sử a chia hết cho 3. (*)
:Do c không chia hết cho 3 nên (c + a) và (c – a) không chia hết cho 3.
:Từ (*) suy ra: <math> a^2 </math> chia hết cho 9
:Suy ra: <math> c^2-b^2 </math> chia hết cho 9
:Suy ra: <math> (c+b)(c-b) </math> chia hết cho 9
:Trường hợp 1: Cả (c + b) và (c – b) đều chia hết cho 3
:Trường hợp 2: Trong 2 số (c + b), (c – b) chỉ có một số chia hết cho 9
:Từ trường hợp 1 suy ra: c và b cùng chia hết cho 3, vô lí vì c và b là hai số nguyên tố cùng nhau
:Vậy nên chỉ có trường hợp 2 xảy ra.
Tương tự, nếu b chia hết cho 3 thì (c + b), (c – b) không chia hết cho 3, một trong hai số (c + a), (c – a) chia hết cho 9.
{{hidden end}}
* Trong sáu số a, b, (2a + b), (2a − b), (2b + a), (2b − a) có đúng một số chia hết cho 11.
*Trong bảy số a, b, c, (3a + b), (3a − b), (3b + a), (3b − a) có đúng một số chia hết cho 13.
* Tất cả các ước của c đều là những số có dạng 4k + 1.
{{hidden begin|title=Chứng minh}}
Giả sử <math> c=m^2+n^2 </math> có ước nguyên tố p có dạng 4k+3, suy ra: 
:<math> m^2 </math> đồng dư với <math> -n^2 </math> mod p.
:Suy ra <math> m^{2(2k+1)} </math> đồng dư với <math> -n^{2(2k+1)} </math> mod p. 
:Suy ra <math> m^{p-1} </math> đồng dư với <math> -n^{p-1} </math> mod p. 
Do m,n nguyên tố cùng nhau, do đó chúng đều không chia hết cho p.
Suy ra, theo [[định lý nhỏ Fermat|định lý Fermat nhỏ]] <math> m^{p-1} </math> đồng dư với 1 mod p, và <math> -n^{p-1} </math> đồng dư với -1 mod p.
Suy ra 1+1 chia hết cho p, vô lý vì p có dạng 4k+3.

Mặt khác c lẻ do đó p lẻ. Tóm lại p chỉ có dạng 4k+1. Suy ra mọi ước của c đều có dạng 4k+1.
{{hidden end}}
* Tất cả các số tự nhiên "lớn hơn 2 và không phải số có dạng {{nowrap|4''k'' + 2}}" luôn thuộc một bộ ba Pitago nguyên thủy nào đó.
* Tất cả các số tự nhiên lớn hơn 2 đều thuộc một bộ Pythagoras nào đó (nguyên thủy hoặc không), ví dụ các số 6,10,14 và 18 không thuộc một bộ ba Pythagoras nguyên thủy nào, nhưng lại thuộc một bộ ba Pythagoras không nguyên thủy {{nowrap|6, 8, 10}}; {{nowrap|14, 48, 50}} và {{nowrap|18, 80, 82}}.
* Tồn tại vô số các bộ ba nguyên Pythagoras nguyên thủy mà hiệu giữa cạnh huyền và ''cạnh góc vuông lớn'' bằng 1 ("cạnh góc vuông lớn" là cạnh có độ dài lớn hơn trong hai cạnh góc vuông). Tổng quát: Với số nguyên ''j'' lẻ bất kì, tồn tại vô số bộ ba Pythagoras nguyên thủy mà hiệu giữa cạnh huyền và cạnh góc vuông chẵn bằng ''j''<sup>2</sup>.
* Tồn tại vô số các bộ ba nguyên Pythagoras nguyên thủy mà hiệu giữa cạnh huyền và ''cạnh góc vuông lớn'' bằng 2 ("cạnh góc vuông lớn" là cạnh có độ dài lớn hơn trong hai cạnh góc vuông). Tổng quát: Với số nguyên ''k'' > 0 bất kì, tồn tại vô số bộ ba Pythagoras nguyên thủy mà hiệu giữa cạnh huyền và cạnh góc vuông lẻ bằng ''2k''<sup>2</sup>.
* Nếu ''j'' và ''k'' là các số nguyên dương lẻ, không nhất thiết phân biệt, thì đúng một bộ ba Pythagoras nguyên thủy sao cho <math> a + j^2 = c = b + 2^k. </math>
* Không có một bộ ba Pythagoras nguyên thủy nào mà hiệu giữa cạnh huyền và một cạnh góc vuông bằng một số nguyên tố lẻ.
* Với mỗi số tự nhiên n, tồn tại n bộ ba Pythagoras nguyên thủy có cùng diện tích, nhưng khác nhau ở độ dài  ba cạnh. Ví dụ: (20, 21, 29) và (12, 35, 37).
* Với mỗi số tự nhiên n, tồn tại n bộ ba Pythagoras nguyên thủy có cùng chu vi, nhưng khác nhau ở độ dài ba cạnh. Ví dụ (364, 627, 725) và (195, 748, 773).
* Với mỗi số tự nhiên n, có ít nhất n bộ ba Pythagoras nguyên thủy có cùng cạnh góc vuông a, với a là một số tự nhiên nào đó.
* Với mỗi số tự nhiên n, có ít nhất n bộ ba Pythagoras nguyên thủy có cùng cạnh huyền.
* Trong mỗi bộ ba Pythagoras, bán kính đường tròn nội tiếp và "3 bán kính của ba đường tròn bàng tiếp" là số tự nhiên. Bán kính đường tròn nội tiếp bằng <math> r = n(m - n) </math>.
* Không có bộ ba Pythagoras nguyên thủy nào mà cạnh huyền và 1 cạnh góc vuông lại là các cạnh góc vuông của bộ bộ ba Pythagoras nguyên thủy khác.

== Xem thêm ==
* [[Định lý lớn Fermat]]

== Chú thích ==
{{tham khảo|30em}}

== Tham khảo ==

*{{citation|last=Alperin|first=Roger C.|author-link=Roger C. Alperin|title=The modular tree of Pythagoras|journal=American Mathematical Monthly|volume=112|year=2005|pages=807–816|url=http://www.math.sjsu.edu/~alperin/pt.pdf|jstor=30037602|issue=9|mr=2179860|doi=10.2307/30037602|citeseerx=10.1.1.112.3085|access-date=2024-03-24|archive-date=2022-11-16|archive-url=https://web.archive.org/web/20221116050114/http://www.math.sjsu.edu/~alperin/pt.pdf}}
*{{citation|last=Berggren|first=B.|title=Pytagoreiska trianglar| journal=Tidskrift för Elementär Matematik, Fysik och Kemi|volume=17|year=1934|pages=129–139|language=sv}}
*{{citation|first=F.J.M.|last=Barning|title=Over pythagorese en bijna-pythagorese driehoeken en een generatieproces met behulp van unimodulaire matrices|journal=Math. Centrum Amsterdam Afd. Zuivere Wisk.|volume=ZW-011|year=1963|page=37|url=https://ir.cwi.nl/pub/7151/7151D.pdf
|language=nl }}
*{{citation|last=Eckert|first=Ernest|title=Primitive Pythagorean triples|journal=The College Mathematics Journal|volume=23|year=1992|pages=413–417 |issue=5|jstor=2686417|doi=10.2307/2686417}}
*{{citation|first=Noam|last=Elkies|author-link=Noam Elkies|title=Pythagorean triples and Hilbert's theorem 90|url=http://www.math.harvard.edu/~elkies/Misc/hilbert.pdf }}
*{{citation|first=Thomas|last=Heath|author-link=T. L. Heath|title=The Thirteen Books of Euclid's Elements Vol. 1 (Books I and II)|publisher=Dover Publications|edition=2nd|year=1956|isbn=978-0-486-60088-8|url-access=registration|url=https://archive.org/details/thirteenbooksofe00eucl}}
* {{ citation | first1 = Calvin T. | last1 = Long | year = 1972 | title = Elementary Introduction to Number Theory | edition = 2nd | publisher = [[D. C. Heath and Company]] | location = Lexington | lccn = 77171950 }}
*{{citation | last = Martin|first=Artemas |author-link=Artemas Martin|title = Rational right angled triangles nearly isosceles |journal = [[Annals of Mathematics|The Analyst]] |volume= 3 |issue= 2 |pages = 47–50 |year=1875 |doi= 10.2307/2635906 |jstor= 2635906 }}
*{{citation |first=Darryl |last= McCullough |title= Height and excess of Pythagorean triples |journal= Mathematics Magazine |volume=78 |year=2005 |url= http://www.math.ou.edu/~dmccullough/teaching/pythagoras2.pdf |issue=1 |pages= 26–44 |doi= 10.1080/0025570X.2005.11953298 |s2cid= 1701449 }}
*{{citation |first=Dan |last= Romik |title= The dynamics of Pythagorean triples |url= https://www.ams.org/journals/tran/2008-360-11/S0002-9947-08-04467-X/S0002-9947-08-04467-X.pdf |journal= Trans. Amer. Math. Soc. |volume=360 |issue=11 |year=2008 |pages= 6045–6064  |arxiv= math.DS/0406512 |doi= 10.1090/S0002-9947-08-04467-X |doi-access=free |mr= 2425702}}
*{{citation |title=On Generating Pythagorean Triples |first1=M.G. |last1=Teigen |first2= D.W. |last2= Hadwin |journal= The American Mathematical Monthly |volume=78 |year=1971 |pages= 378–379 |issue=4 |jstor= 2316903 |doi= 10.2307/2316903 }}
*{{citation |first=Andrzej |last=Trautman |author-link= Andrzej Trautman |chapter= Pythagorean spinors and Penrose twistors |chapter-url= http://www.fuw.edu.pl/~amt/oxford.ps |title= Geometric universe |editor1= S.A. Hugget |editor2=L.J. Mason |editor3=K.P. Tod |editor4=S.T. Tsou |editor5=N.M.J. Woodhouse |year=1998 |type= Postscript}}

== Liên kết ngoài ==
* http://mathworld.wolfram.com/PythagoreanTriple.html has an extensive discussion of Pythagorean triples.
* [http://www.cut-the-knot.org/pythagoras/pythTriple.shtml Pythagorean Triples] at [[cut-the-knot]] Interactive Applet showing unit circle relationships to Pythagorean Triples
* [http://www.cut-the-knot.org/pythagoras/PT_matrix.html The Trinary Tree(s) underlying Primitive Pythagorean Triples]{{Liên kết hỏng|date = ngày 9 tháng 2 năm 2021 |bot=InternetArchiveBot }} at [[cut-the-knot]]
* http://www.math.rutgers.edu/~erowland/pythagoreantriples.html {{Webarchive|url=https://web.archive.org/web/20081223140307/http://www.math.rutgers.edu/~erowland/pythagoreantriples.html |date = ngày 23 tháng 12 năm 2008}} Theoretical properties of the Pythagorean Triples and connections to geometry 
* [http://www.math.siu.edu/kocik/pracki/44Cliffpdf.pdf Clifford Algebras and Euclid's Parameterization of Pythagorean triples] {{Webarchive|url=https://web.archive.org/web/20100613033436/http://www.math.siu.edu/kocik/pracki/44Cliffpdf.pdf |date = ngày 13 tháng 6 năm 2010}}
* [http://www.friesian.com/pythag.htm Pythagorean Triplets]
* http://www.mcs.surrey.ac.uk/Personal/R.Knott/Pythag/pythag.html {{Webarchive|url=https://web.archive.org/web/20051129025352/http://www.mcs.surrey.ac.uk/Personal/R.Knott/Pythag/pythag.html |date = ngày 29 tháng 11 năm 2005}} Discussion of Properties of Pythagorean triples, Interactive Calculators, Puzzles and Problems
* http://people.wcsu.edu/sandifere/Academics/2007Spring/Mat342/PythagTrip02.pdf {{Webarchive|url=https://web.archive.org/web/20090124152549/http://people.wcsu.edu/sandifere/Academics/2007Spring/Mat342/PythagTrip02.pdf |date=2009-01-24 }} Generating Pythagorean Triples Using Arithmatic Progressions
* [http://blah.math.tu-graz.ac.at/~frisch/wwwpdf/pytha.pdf Parameterization of Pythagorean Triples by a single triple of polynomials.]
* [http://learn.sdstate.edu/vestald/publications/Curious%20Consequences.pdf Curious Consequences of a Miscopied Quadratic] {{Webarchive|url=https://web.archive.org/web/20060917145537/http://learn.sdstate.edu/vestald/publications/Curious%20Consequences.pdf |date = ngày 17 tháng 9 năm 2006}}
* [http://mathcentral.uregina.ca/mp/previous2005/feb06sol.php Solutions to Quadratic Compatible Pairs in relation to Pythagorean Triples]
* [http://www.numbertheory.org/php/negative_pell.html The negative Pell equation and Pythagorean triples]
* [http://www.rowan.edu/colleges/las/departments/math/facultystaff/osler/InCircle.pdf The Remarkable Incircle of a Triangle]

{{Authority control}}

[[Thể loại:Các bài toán số học của hình học phẳng]]
[[Thể loại:Định lý Pythagoras]]