Terna pitagorica

(Reindirizzamento da Terne pitagoriche)

Una terna pitagorica è una terna di numeri naturali , , tali che . Il nome viene dal teorema di Pitagora, da cui discende che ad ogni triangolo rettangolo con lati interi corrisponde una terna pitagorica e viceversa.

Tavoletta babilonese riportante una serie di terne pitagoriche

Se è una terna pitagorica, lo è anche , dove è un numero naturale qualsiasi. Il numero è quindi un divisore comune dei tre numeri , , . Una terna pitagorica si dice primitiva se , e non hanno divisori comuni. I triangoli descritti da terne pitagoriche non primitive sono sempre simili a quelli descritti dalla corrispondente terna primitiva.

Esiste una formula capace di generare tutte le terne pitagoriche primitive; tali formule sono citate da Euclide (in greco antico: Ευκλείδης?) nei suoi Elementi (in greco antico: τα Στοιχεία?):

Le formule di Euclide generano una terna pitagorica primitiva se e solo se e sono coprimi ed uno di loro è pari e l'altro dispari (se sia che sono dispari , e sono pari, e quindi quella terna pitagorica non può essere primitiva). Tutte le terne primitive si possono ottenere in questo modo da un'unica coppia di numeri coprimi , mentre le restanti (non primitive) si possono ottenere moltiplicando i termini di una terna primitiva per un opportuno fattore. Le formule così modificate sono quindi in grado di generare tutte le terne possibili, anche se in modo non univoco:

Una conseguenza immediata di queste formule è che le terne pitagoriche sono infinite, in quanto sono infinite le possibili scelte di e .

Inoltre è facile dimostrare che il prodotto di per (dei due cateti) è sempre divisibile per , mentre il prodotto (di tutti e tre i lati del triangolo pitagorico) è sempre divisibile per . Infatti modulo e modulo si hanno solo e come quadrati, quindi, se o , si ha che se oppure allora oppure e quindi se invece allora Di conseguenza Infine, poiché modulo i quadrati sono se oppure oppure oppure ragionando analogamente si ha che se invece oppure allora Quindi, in tutti i casi da cui

Terne pitagoriche con c < 100

modifica

Esistono solo 16 terne pitagoriche primitive con  :

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

Altri esempi di terne pitagoriche

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

Un buon punto di partenza per l'esplorazione delle terne pitagoriche[perché è un buon punto di partenza? per cosa di preciso?] è quello di riscrivere l'equazione originale in questo modo:

 .

È interessante notare che ci possono essere più terne pitagoriche primitive con lo stesso intero minore. Il primo esempio è con il 20, che è il più piccolo intero di due terne primitive: 20, 21, 29 e 20, 99, 101.

Al contrario, il numero 1 229 779 565 176 982 820 è l'intero minore in esattamente 15 386 terne primitive; la più piccola e la più grande fra queste sono:

1 229 779 565 176 982 820
1 230 126 649 417 435 981
1 739 416 382 736 996 181

e

1 229 779 565 176 982 820
378 089 444 731 722 233 953 867 379 643 788 099
378 089 444 731 722 233 953 867 379 643 788 101.

Per i curiosi, si consideri la fattorizzazione:

1 229 779 565 176 982 820 = 22 × 3 × 5 × 7 × 11 × 13 × 17 × 19 × 23 × 29 × 31 × 37 × 41 × 43 × 47.

Il numero di fattori primi è collegato alla gran quantità di terne pitagoriche primitive. Si noti che ci sono interi più grandi che sono gli interi più piccoli di un numero ancora più grande di terne primitive.[non chiaro]

L'ultimo teorema di Fermat afferma che non esistono terne non banali analoghe a quelle pitagoriche ma con esponenti maggiori di   (cioè che l'equazione   non ammette soluzioni intere se  ; a parte, come detto, i casi banali in cui almeno uno dei numeri è uguale a zero).

Un legame tra terne pitagoriche e primi gemelli può essere stabilito tramite la derivata aritmetica. Infatti un semiprimo i cui fattori primi siano due primi gemelli può essere espresso come  , la sua derivata aritmetica come   e  . Questi numeri sono fra loro coprimi e perciò costituiscono una terna pitagorica primitiva.

Ciascun numero naturale maggiore di 2 appartiene almeno a una terna pitagorica e ogni numero primo può appartenere al più a 2 terne (in quest'ultima situazione una volta come cateto e una volta come ipotenusa del triangolo rettangolo cui si riferisce).

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF 58952 · GND (DE4587982-5
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica