Pythagoras trippel

Geometri > Plangeometri > Trekanter > Trekanternes egenskaber >
Taltheori > DiophantineEquations >
MathWorld Contributors > Knott >
MathWorld Contributors > Noe >

Mindre…

DOWNLOAD Mathematica NotebookBidrag til dette indlæg

En pythagoræisk trippel er en trippel af positive hele tal a, b og c, således at der findes en retvinklet trekant med benene a,b og hypotenusen c. Ved hjælp af Pythagoras sætning svarer dette til at finde positive hele tal a, b og c, der opfylder

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

Den mindste og mest kendte pythagoræiske tripel er (a,b,c)=(3,4,5). Den retvinklede trekant med disse sidelængder kaldes undertiden for 3, 4, 5 trekanten.

PythagoreanTriples

Plots af punkter i (a,b)-planet, således at (a,b,sqrt(a^2+b^2)) er en pythagoræisk trippel, er vist ovenfor for successivt større grænser. Disse plotter omfatter negative værdier af a og b og er derfor symmetriske omkring både x- og y-aksen.

PythagoreanTriplesAC

På samme måde er plotter af punkter i (a,c)-planet, således at (a,sqrt(c^2-a^2),c) er en pythagoræisk tripel, vist ovenfor for successivt større grænser.

PrimitivePythagoreanTriple

Det er almindeligt kun at betragte primitive pythagoræiske tripler (også kaldet “reducerede “tripler), hvor a og b er relativt primtal, da andre løsninger kan genereres trivielt fra de primitive. De primitive tripler er illustreret ovenfor, og det kan straks ses, at de radiale linjer, der svarer til imprimitive tripler i det oprindelige plot, er fraværende i denne figur. For primitive løsninger skal en af a eller b være lige, og den anden ulige (Shanks 1993, s. 141), med c altid ulige.

Dertil kommer, at den ene side af hver pythagoræisk tripel er delbar med 3, en anden med 4 og en anden med 5. Den ene side kan have to af disse divisorer, som i (8, 15, 17), (7, 24, 25) og (20, 21, 29), eller endda alle tre, som i (11, 60, 61).

Givet en primitiv tripel (a_0,b_0,c_0), fås tre nye primitive triplaer fra

(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)

hvor

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

Hall (1970) og Roberts (1977) beviser, at (a,b,c) er en primitiv pythagoræisk tripel, hvis

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

hvor M er et endeligt produkt af matricerne U, A, D. Det følger derfor, at enhver primitiv pythagoræisk trippel må være et medlem af den uendelige matrix

 ( 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 og babylonierne gav en formel til generering af (ikke nødvendigvis primitive) tripler som

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

for m1, som genererer et sæt af distinkte tripler, der hverken indeholder alle primitive eller alle imprimitive tripler (og hvor der i det særlige tilfælde m=2, m^2-12m).

De tidlige grækere gav

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

hvor u og vu er relativt primtal og af modsat paritet (Shanks 1993, p. 141), hvilket genererer et sæt af distinkte tripler, der netop indeholder de primitive tripler (efter passende sortering af v^2-u^2 og 2uv).

Lad F_n være et Fibonacci-tal. Så

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

genererer tydelige pythagoræiske tripler (Dujella 1995), om end ikke udtømmende for hverken primitive eller imprimitive tripler. Mere generelt starter man med positive hele tal a, b og konstruerer den Fibonacci-lignende sekvens {F_n^'} med termerne a, b, a+b, a+2b, 2a+3b, … genererer forskellige pythagoræiske tripler

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

(Horadam 1961), hvor

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

(Beiler 1966, p. 116). Bemærk, at L(s)=1 hvis s er primtal eller to gange et primtal. De første tal for s=1, 2, … er 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 1, 1, 1, 1, 4, 1, 1, … (OEIS A046079).

For at finde antallet af måder H_p(s), hvorpå et tal s kan være hypotenuse i en primitiv retvinklet trekant, skal du skrive dets faktorisering som

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

hvor de ps er af formen 4x-1 og de qs er af formen 4x+1. Antallet af mulige primitive retvinklede trekanter er så

 H_p(s)={2^(r-1) for n=0 og a_0=0; 0 ellers,.
(26)

For eksempel, H_p(65)=2 da

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

Værdierne af H_p(n) for n=1, 2, … er 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, … (OEIS A024362). De første få primtal af formen 4x+1 er 5, 13, 17, 29, 29, 37, 41, 41, 53, 61, 61, 73, 89, 97, 97, 101, 109, 113, 137, … (OEIS A002144), så de mindste sidelængder, som er hypotenuserne i 1, 2, 4, 8, 16, … primitive retvinklede trekanter, er 5, 65, 1105, 32045, 1185665, 48612265, … (OEIS A006278).

Antallet af mulige primitive eller ikke-primitive retvinklede trekanter med s som hypotenuse er

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

(rettelse af stavefejl i Beiler 1966, p. 117, hvor der står, at denne formel kun giver antallet af ikke-primitive løsninger), hvor r_k(n) er summen af kvadraternes funktion. For eksempel er der fire forskellige hele trekanter med hypotenuse 65, da

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

De første tal for s=1, 2, … er 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, … (OEIS A046080). De mindste hypotenuser med n forskellige tripler er 1, 5, 25, 125, 65, 3125, … (OEIS A006339). Følgende tabel angiver de hypotenuser, for hvilke der findes præcis n forskellige retvinklede hele trekanter for n=0, 1, …, 5.

n OEIS hypotenuser, for hvilke der findes n forskellige hele trekanter
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, …
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, 170, 185, 195, 195, 205, 221, 255, …
5 A084649 3125, 6250, 9375, 12500, 18750, 21875, 25000, …

Derfor er det samlede antal måder, hvorpå s kan være enten et ben eller en hypotenuse i en retvinklet trekant givet ved

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

Værdierne for s=1, 2, … er 0, 0, 0, 1, 1, 1, 2, 2, 1, 1, 1, 2, 2, 2, 2, 2, 1, 4, 2, 1, 5, 3, … (OEIS A046081). De mindste tal s, som kan være siderne af T almindelige retvinklede trekanter for T=1, 2, … er 3, 5, 16, 12, 15, 125, 24, 40, … (OEIS A006593; Beiler 1966, s. 114).

Der findes 50 pythagoræiske tripler med hypotenuse mindre end 100, hvoraf de første par, sorteret efter stigende c, er (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 og A009000).

Af disse er kun 16 primitive tripletter med hypotenuse mindre end 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), og (65, 72, 97) (OEIS A046086, A046087, og A020882).

Lad antallet af tripler med hypotenusen N betegnes Delta(N), antallet af tripler med hypotenusen =N betegnes Delta^'(N), og antallet af primitive tripler mindre end N betegnes Delta_p(N). Derefter opsummeres værdierne for potenser af 10 i følgende tabel:

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

Lehmer (1900) beviste, at antallet af primitive løsninger med hypotenuse mindre end N opfylder

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

(OEIS A086201).

PythagoreanIncircles

Inradiierne af de første få primitive pythagoræiske trekanter ordnet efter stigende c er givet ved 1, 2, 3, 3, 3, 6, 6, 5, 4, 10, 5, … (OEIS A014498).

Der findes en generel metode til at opnå tripletter af pythagoræiske trekanter med lige store arealer. Tag de tre sæt generatorer som

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

Så er den retvinklede trekant genereret af hver tripel (m_i^2-n_i^2,2m_in_i,m_i^2+n_i^2) har fælles areal

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

(Beiler 1966, pp. 126-127). Det eneste ekstremum for denne funktion forekommer ved (r,s)=(0,0). Da A(r,s)=0 for r=s, er det mindste areal, der deles af tre ikke-primitive retvinklede trekanter, givet ved (r,s)=(1,2), hvilket resulterer i et areal på 840 og svarer til tripletterne (24, 70, 74), (40, 42, 58) og (15, 112, 113) (Beiler 1966, s. 126).

Højre trekanter, hvis areal består af et enkelt ciffer, omfatter (3,4,5) (areal på 6) og (693,1924,2045) (areal på 666666; Wells 1986, s. 89).

I 1643 udfordrede Fermat Mersenne til at finde en pythagoræisk triplet, hvis hypotenuse og summen af benene var kvadrater. Fermat fandt den mindste af disse løsninger:

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

med

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

Et beslægtet problem er at bestemme, om et angivet heltal N kan være arealet af en retvinklet trekant med rationelle sider. 1, 2, 3 og 4 er ikke arealet af nogen retvinklet trekant med rationelle sider, men 5 er det (3/2, 20/3, 41/6), ligesom 6 (3, 4, 5) er det. Løsningen på problemet involverer den elliptiske kurve

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

En løsning (a, b, c) findes, hvis (46) har en rationel løsning, i hvilket tilfælde

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

(Koblitz 1993). Der findes ingen kendt generel metode til at bestemme, om der findes en løsning for vilkårlige N, men en teknik udtænkt af J. Tunnell i 1983 gør det muligt at udelukke visse værdier (Cipra 1996).