Pythagorova trojice

Geometrie > Rovinná geometrie > Trojúhelníky > Vlastnosti trojúhelníků >
Teorie čísel >. DiophantineEquations >
MathWorld Přispěvatelé > Knott >
MathWorld Přispěvatelé > Noe >

Less…

Zápisník MathematicaPřispějte k tomuto záznamu

Pythagorova trojice je trojice kladných celých čísel a, b a c taková, že existuje pravoúhlý trojúhelník s rameny a,b a přeponou c. Podle Pythagorovy věty to odpovídá nalezení kladných celých čísel a, b a c splňujících

 a^2+b^2=c^2.
(1)

Nejmenší a nejznámější Pythagorova trojice je (a,b,c)=(3,4,5). Pravoúhlý trojúhelník, který má tyto délky stran, se někdy nazývá trojúhelník 3,4,5.

PythagoreanTriples

Výkresy bodů v (a,b)rovině takové, že (a,b,sqrt(a^2+b^2)) je Pythagorova trojice, jsou uvedeny výše pro postupně větší meze. Tyto grafy obsahují záporné hodnoty a a b, a jsou tedy symetrické kolem osy x i y.

PythagoreanTriplesAC

Podobně jsou výše zobrazeny grafy bodů v rovině (a,c) takové, že (a,sqrt(c^2-a^2),c) je Pythagorova trojice pro postupně větší meze.

PrimitivePythagoreanTriple

Obvykle se uvažují pouze primitivní pythagorejské trojice (nazývané též „redukované“), v nichž a a b jsou relativně prvočíselné, protože z primitivních řešení lze triviálně generovat další. Primitivní trojice jsou znázorněny výše a hned je vidět, že radiální čáry odpovídající imprimitivním trojicím v původním grafu na tomto obrázku chybí. U primitivních řešení musí být jedno z a nebo b sudé a druhé liché (Shanks 1993, s. 141), přičemž c je vždy liché.

Kromě toho je jedna strana každé pythagorovské trojice dělitelná 3, další 4 a další 5. Jedna strana může mít dva z těchto dělitelů, jako v (8, 15, 17), (7, 24, 25) a (20, 21, 29), nebo dokonce všechny tři, jako v (11, 60, 61).

Podle primitivní trojice (a_0,b_0,c_0) získáme tři nové primitivní trojice z

(a_1,b_1,c_1) = (a_0,b_0,c_0)U
(2)
(a_2,b_2,c_2) = (a_0,b_0,c_0)A
(3)
(a_3,b_3,c_3) = (a_0,b_0,c_0)D,
(4)

kde

U =
(5)
A =
(6)
D =.
(7)

Hall (1970) a Roberts (1977) dokazují, že (a,b,c) je primitivní pythagorovská trojice, jestliže

 (a,b,c)=(3,4,5)M,
(8)

kde M je konečný součin matic U, A, D. Z toho vyplývá, že každá primitivní Pythagorova trojice musí být členem nekonečné matice

 ( 7, 24, 25); ( 5, 12, 13) ( 55, 48, 73); ( 45, 28, 53); ( 39, 80, 89); (3, 4, 5) ( 21, 20, 29) ( 119, 120, 169); ( 77, 36, 85); ( 33, 56, 65); ( 15, 8, 17) ( 65, 72, 97); ( 35, 12, 37).
(9)

Pythagoras a Babyloňané uvedli vzorec pro generování (ne nutně primitivních) trojic jako

 (2m,m^2-1,m^2+1),
(10)

pro m1, který generuje množinu různých trojic neobsahujících ani všechny primitivní, ani všechny imprimitivní trojice (a kde ve speciálním případě m=2, m^2-12m).

Raní Řekové uváděli

 (v^2-u^2,2uv,u^2+v^2),
(11)

kde u a vu jsou relativně prvočíselné a opačné parity (Shanks 1993, str. 141), což generuje množinu různých trojic, která obsahuje právě prvočísla (po vhodném seřazení v^2-u^2 a 2uv).

Nechť F_n je Fibonacciho číslo. Pak

 (F_nF_(n+3),2F_(n+1)F_(n+2),F_(n+1)^2+F_(n+2)^2)
(12)

generuje různé pythagorejské trojice (Dujella 1995), i když ne vyčerpávajícím způsobem pro primitivní ani imprimitivní trojice. Obecněji řečeno, počínaje kladnými celými čísly a, b a konstrukcí Fibonacciho posloupnosti {F_n^'} s členy a, b, a+b, a+2b, 2a+3b, … generuje různé pythagorovské trojice

 (F_n^'F_(n+3)^',2F_(n+1)^'F_(n+2)^',F_(n+1)^'^2+F_(n+2)^'^2)
(13)

(Horadam 1961), kde

 F_n^'=1/2 pro a_0=0; 1/2 pro a_0=1
(24)

(Beiler 1966, str. 116). Všimněte si, že L(s)=1 iff s je prvočíslo nebo dvojnásobek prvočísla. Prvních několik čísel pro s=1, 2, … je 0, 0, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 4, 1, …. (OEIS A046079).

K nalezení počtu způsobů H_p(s), kterými může být číslo s přeponou primitivního pravoúhlého trojúhelníku, zapište jeho faktorizaci jako

 s=2^(a_0)(p_1^(a_1)...p_n^(a_n))(q_1^(b_1)...q_r^(b_r)),
(25)

kde ps má tvar 4x-1 a qs má tvar 4x+1. Počet možných primitivních pravoúhlých trojúhelníků je pak

 H_p(s)={2^(r-1) pro n=0 a a_0=0; 0 jinak,.
(26)

Např, H_p(65)=2, protože

.

65^2 = 16^2+63^2
(27)
= 33^2+56^2.
(28)

H_p(n) pro n=1, 2, … mají hodnoty 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, …. (OEIS A024362). Prvních několik prvočísel tvaru 4x+1 je 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109, 113, 137, …. (OEIS A002144), takže nejmenší délky stran, které jsou přeponami 1, 2, 4, 8, 16, … primitivních pravoúhlých trojúhelníků, jsou 5, 65, 1105, 32045, 1185665, 48612265, …. (OEIS A006278).

Počet možných primitivních nebo neprimitivních pravoúhlých trojúhelníků, které mají s jako přeponu, je

.

H(s) = 1/2
(29)
= 1/8
(30)

(oprava překlepu Beiler 1966, p. 117, kde se uvádí, že tento vzorec udává pouze počet neprimitivních řešení), kde r_k(n) je funkce součtu čtverců. Například existují čtyři různé celočíselné trojúhelníky s přeponou 65, protože

 65^2=16^2+63^2=25^2+60^2=33^2+56^2=39^2+52^2.
(31)

Prvních několik čísel pro s=1, 2, … je 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, …. (OEIS A046080). Nejmenší hypotenusy, které mají n různých trojic, jsou 1, 5, 25, 125, 65, 3125, … (OEIS A006339). V následující tabulce jsou uvedeny hypotenusy, pro které existuje přesně n různých pravoúhlých celočíselných trojúhelníků pro n=0, 1, …, 5.

n OEIS hypoteny, pro které existují n různé celočíselné trojúhelníky
0 A004144 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 14, 16, 18, ….
1 A084645 5, 10, 13, 15, 17, 20, 26, 29, 30, 34, 35, …
2 A084646 25, 50, 75, 100, 150, 169, 175, 200, 225, ….
3 A084647 125, 250, 375, 500, 750, 875, 1000, 1125, 1375, …
4 A084648 65, 85, 130, 145, 170, 185, 195, 205, 221, 255, ….
5 A084649 3125, 6250, 9375, 12500, 18750, 21875, 25000, …

Takže celkový počet způsobů, kterými může být s buď ramenem, nebo přeponou pravoúhlého trojúhelníku, je dán vztahem

 T(s)=L(s)+H(s).
(32)

Hodnoty pro s=1, 2, … jsou 0, 0, 1, 1, 2, 1, 1, 2, 2, 2, 1, 4, 2, 1, 5, 3, …. (OEIS A046081). Nejmenší čísla s, která mohou být stranami T obecných pravoúhlých trojúhelníků pro T=1, 2, …, jsou 3, 5, 16, 12, 15, 125, 24, 40, …. (OEIS A006593; Beiler 1966, s. 114).

Existuje 50 pythagorovských trojic s přeponou menší než 100, z nichž prvních několik, seřazených podle rostoucího c, je (3, 4, 5), (6, 8,10), (5, 12, 13), (9, 12, 15), (8, 15, 17), (12, 16, 20), (15, 20, 25), (7, 24, 25), (10, 24, 26), (20, 21, 29), (18, 24, 30), (16, 30, 34), (21, 28, 35), … (OEIS A046083, A046084 a A009000).

Z těchto trojúhelníků je pouze 16 primitivních trojúhelníků s přeponou menší než 100 : (3, 4,5), (5, 12, 13), (8, 15, 17), (7, 24, 25), (20, 21, 29), (12, 35, 37), (9, 40, 41), (28, 45, 53), (11, 60, 61), (33, 56, 65), (16, 63, 65), (48, 55, 73), (36, 77, 85), (13, 84, 85), (39, 80, 89) a (65, 72, 97) (OEIS A046086, A046087 a A020882).

Počet trojic s přeponou N označme Delta(N), počet trojic s přeponou =N označme Delta^'(N) a počet primitivních trojic menších než N označme Delta_p(N). Následující tabulka pak shrnuje hodnoty pro mocniny 10.

Delta OEIS Delta(10), Delta(10^2), …
Delta(N) A101929 1, 50, 878, 12467, …
Delta^'(N) A101930 2, 52, 881, 12471, ….
Delta_p(N) A101931 1, 16, 158, 1593, …

Lehmer (1900) dokázal, že počet primitivních řešení s hypotenózou menší než N splňuje

 lim_(N-infty)(Delta_p(N))/N=1/(2pi)=0,1591549...
(33)

(OEIS A086201).

PythagoreanIncircles

Inradia prvních několika primitivních pythagorejských trojúhelníků seřazených podle rostoucího c jsou dána 1, 2, 3, 3, 6, 5, 4, 10, 5, …. (OEIS A014498).

Existuje obecná metoda pro získání trojic pythagorejských trojúhelníků se stejnými plochami. Vezměte tři množiny generátorů jako

.

.

m_1 = r^2+rs+s^2
(34)
n_1 = r^2-s^2
(35)
m_2 = r^2+rs+s^2
(36)
n_2 = 2rs+s^2
(37)
m_3 = r^2+2rs
(38)
n_3 = r^2+rs+s^2.
(39)

Tedy pravoúhlý trojúhelník generovaný každou trojicí (m_i^2-n_i^2,2m_in_i,m_i^2+n_i^2) má společný povrch

 A=rs(2r+s)(r+2s)(r+s)(r-s)(r^2+rs+s^2)
(40)

(Beiler 1966, str. 126-127). Jediný extrém této funkce se vyskytuje v bodě (r,s)=(0,0). Protože A(r,s)=0 pro r=s, je nejmenší plocha sdílená třemi neprimitivními pravoúhlými trojúhelníky dána (r,s)=(1,2), což vede k ploše 840 a odpovídá trojicím (24, 70, 74), (40, 42, 58) a (15, 112, 113) (Beiler 1966, s. 126).

Mezi pravoúhlé trojúhelníky, jejichž plochu tvoří jediná číslice, patří (3,4,5) (plocha 6) a (693,1924,2045) (plocha 666666; Wells 1986, s. 89).

V roce 1643 vyzval Fermat Mersenna, aby našel pythagorejský trojúhelník, jehož přepona a součet ramen jsou čtverce. Fermat našel nejmenší takové řešení:

.

X = 4565486027761
(41)
Y = 1061652293520
(42)
Z = 4687298610289,
(43)

s

Z = 2165017^2
(44)
X+Y = 2372159^2.
(45)

Související úlohou je určit, zda zadané celé číslo N může být plochou pravoúhlého trojúhelníku s racionálními stranami. 1, 2, 3 a 4 nejsou plochami žádného pravoúhlého trojúhelníku s racionálními stranami, ale 5 je (3/2, 20/3, 41/6), stejně jako 6 (3, 4, 5). Řešení úlohy zahrnuje eliptickou křivku

 y^2=x^3-N^2x.
(46)

Řešení (a, b, c) existuje, jestliže (46) má racionální řešení, v tom případě

x = 1/4c^2
(47)
y = 1/8(a^2-b^2)c
(48)

(Koblitz 1993). Není známa žádná obecná metoda, jak určit, zda existuje řešení pro libovolné N, ale technika navržená J. Tunnellem v roce 1983 umožňuje některé hodnoty vyloučit (Cipra 1996).

.