Conferenza Mathesis Riccardo Ricci

32
3 4 5 3 4 5 Terne pitagoriche e teorema di Pitagora, numeri e triangoli Riccardo Ricci: Dipartimento di Matematica “U.Dini” [email protected]

Transcript of Conferenza Mathesis Riccardo Ricci

3 4 53 4 5Terne pitagoriche e teorema di Pitagora,

numeri e triangoli

Riccardo Ricci: Dipartimento di Matematica “U.Dini” [email protected]

Qualche osservazione preliminare sul Teorema di Pitagora e le terne pitagoriche

Sembra difficile immaginarne una origine basata su osservazioni “puramente geometriche”

Il papiro di Berlino propone un quesito della forma: l'area di un quadrato (100) è la somma delle aree di due quadrati più piccoli: il lato del più piccolo di questi è uguale a 1/2+1/4 del lato dell'altro. Trovare la lunghezza dei lati. (Non c'è però un riferimento ai triangoli.) Un secondo problema pone la stessa questione con area 400.

I primi documenti storici sono tutti esempi numerici (terne pitagoriche piuttosto che teorema di Pitago-ra)

La tavola Plimpton 332

Risale al regno di Hammurabi, prima metà del 18° secolo AC

Traslitterazione della tavoletta Plimpton, da Eleanor Robson, Historia Math. 2001 La riga 11, passando dalla notazione sessadecimale alla decimale è 45, 75, 60, ovvero 3, 5, 4 (moltiplicati per 15)La riga 1 contiene la terna 119, 169, 120La riga 5 contiene un errore nella colonna aggiunta dalla Robson, 1 20 invece di 1 02: la terna è 65, 97, 72

Divagazione sul Teorema di Pitagora

Negli Elementi di Euclide ci sono due enunciati (e due dimostrazioni) del Teorema: Libro I n.47 e Libro VI n.31 (il libro sulle similitudini).

1) Costruita una qualsiasi fgura su un segmento, l’area di questa fgura è data dalla area del quadrato costruito sul segmento moltiplicata per un fattore di forma che si conserva in qualsiasi similitudine.

La proprietà 2) NON è banale. Conosco un solo altro esempio di una classe di fgure che godono di questa proprietà: il rettangolo “A4” e i parallelogrammi ottenuti dalle sue “deformazioni”.

La dimostrazione è molto più “istruttiva” della costruzione del primo libro e si basa su due osservazioni fondamentali:

2) Il triangolo rettangolo può essere diviso in due triangoli, entrambi simili al triangolo di partenza (ottenuti tracciando l’altezza relativa all’ipotenusa) in cui i cateti del triangolo originario sono le ipotenuse dei triangoli simili così ottenuti.

Ne segue che, come l’area del triangolo di partenza è la somma delle aree dei due triangoli, così l’area di una qualsiasi fgura costruita sull’ipotenusa è la somma delle aree di fgure simili costruite sui cateti.

Il secondo enunciato è una generalizzazione del Teorema:“Nei triangoli rettangoli la forma (εἶδος) sul lato che sottende l’angolo retto (ipotenusa) è uguale alle forme sui lati che comprendono l’angolo retto (cateti).”

Come costruire un angolo retto

Ovviamente con “riga e compasso”!(C'era una volta … - Un re-! diranno subito ...)

Oppure piegando un foglio di carta.

Ma immedesimatevi con il leggendario giardiniere (quello che fa linee rette, cerchi ed ellissi con flo e picchetti)

Soluzione “3 4 5”

Che sia questa “osservazione” l’origine del “teorema di Pitagora”?

Terne pitagoriche(3,4,5) è un “terna pitagorica” ovvero una soluzione dell’equazione diofantea (cioè di cui si cercano soluzioni intere)

x² + y² = z²

Questa non è l’unica soluzione di questa equazione: è immediato accorgersi che ogni terna di numeri ottenuta moltiplicando una terna pitagorica per un numero intero è anch’essa una terna pitagorica (p.e. la terna (45, 75, 60) riportata nella tavola Plimton). Quindi ci sono infnite terne, almeno di questo tipo. Ma queste “non contano” in quanto defniscono sempre lo stesso triangolo a meno della scelta dell’unità di lunghezza (ovvero a meno di similitudini).Vogliamo quindi che i tre numeri della terna siano privi di fattori comuni (chiameremo queste terne T. P. Primitive) Nella tavola Plimton sono riportate altre soluzioni che non sono riconducibili alla terna (3,4,5) tramite una similitudine, p.e. (119, 169, 120).

Quante sono allora le “vere” terne pitagoriche?

A caccia di terne pitagoriche

Per esempio sappiamo che sommando i numeri dispari in ordine si ottiene sempre un quadrato:

1 + 3 + 5 + ………….. + (2n-1) = n²

Cominciamo la ricerca un po’ a tentoni cercando di sfruttare tutto ciò che abbia a che fare con i quadrati di numeri.

Se fermiamo la somma quando 2n-1 è un quadrato, p.e. 49, allora abbiamo

1 + 3 + 5 + ………….. + (2n-3) + (2n-1) = (n-1)² + (2n-1) = n²

Es. 2n-1=49, n=25 e quindi (7, 24, 25) è una terna pitagorica.

E’ chiaro che in questo modo otteniamo sempre terne dove il “cateto maggiore” e l’”ipotenusa” diferiscono per una unità (√(2n-1) , n-1, n), e quindi queste saranno tutte terne primitive.

Abbiamo appena dimostrato che esistono infnite PPT

Avevamo anche visto nella tavola Plimpton che ci sono terne che non possono essere ottenute dalla costruzione precedente:

p.e. (119, 169, 120) ha i due cateti che diferiscono per una unità.

Prima di passare alla soluzione del problema di classifcazione, vediamo alcune proprietà delle terne primitive.

(è un ottimo esercizio da far fare a una classe)

Ovvero siamo ancora lontani dall’aver un catalogo completo di queste terne.

Parità dei numeri di una terna:

I tre numeri non possono essere tutti pari (altrimenti la terna non sarebbe primitiva)

Non ci possono essere due numeri pari e uno dispari

I tre numeri non possono essere tutti dispari (il quadrato di un dispari è dispari ma la somma di due dispari è pari)

Quindi una PPT deve avere due numeri dispari e uno pari

L'ipotenusa DEVE essere dispari (altrimenti il suo quadrato sarebbe la somma di due dispari e quindi divisibile per 2 ma non per 4)

Si può andare avanti un bel po': la pagina di Wikipedia Pythagorean_triple.html elenca più di venti proprietà “elementari” delle PPT, p.e. Qualsiasi sia n, esistono n PPT con ipotenuse diverse ma la stessa area

La formula di EUCLIDE

La soluzione al problema di classifcazione si trova negli Elementi di EUCLIDE(lemma 1 prima della Proposizione 29 del libro X : “trovare due numeri quadrati la cui somma sia ancora un quadrato”)

Il libro X è dedicato alla classifcazione degli “incommensurabili”.

Euclide usa le terne per studiare le proprietà di alcuni numeri IRRAZIONALI

(a,b,c) sia una terna primitiva, possiamo assumere che b sia pari (eventualmente scambiando a con b)

c² – a² = b²

Poniamo b² = uv con u e v entrambi pari con u = c + a e v = c – a, da cui

c = (u + v) / 2 e a = (u – v) / 2

Afnché uv sia un quadrato dobbiamo avere

u = k n² e v = k m²

con m e n primi tra loro; inoltre k deve essere un fattore anche di 2c = u + v e 2a = u – v

Ma a e c sono primi tra loro e u e v sono pari quindi dobbiamo avere

k = 2

Siano n e m , con n>m, due numeri primi tra loro e di diversa parità. Allora la terna (a,b,c) con

c = n² + m²

a = n² – m²

b = 2 n m

è una terna pitagorica primitiva.Inoltre tutte le terne primitive sono ottenute da questa regola.

Abbiamo fnalmente la classifcazione cercata:

Formula di Euclide

Rappresentazione alternativa: a = n m, b = (n² – m²)/2, c = (n² + m²)/2con n>m dispari primi tra loro.

Waclaw Sierpinski, Pythagorean Triangles, The Scripta Mathematica Studies, no. 9, Yeshiva Univ., New. York, 1962.

Ritorno alla geometria (analitica)

Possiamo “normalizzare” i triangoli associati alle terne pitagoriche dividendo i tre lati per l'ipotenusa.Otteniamo un triangolo con ipotenusa unitaria. Possiamo pensare a questo triangolo come avente un vertice (diverso da quello dell'angolo retto) posto nell'origine di un sistema di assi cartesiani ortogonali, e il cateto maggiore che giace sull'asse delle ascisse.Il secondo vertice sull'ipotenusa si troverà sulla circonferenza di raggio 1 (in realtà sull'arco 0-π/4) . Le coordinate di questo punto saranno (a/c, b/c) che sono numeri razionali.

Ma abbiamo dimostrato che ci sono infnite PPT, ognuna delle quali determina uno (e uno solo) di questi triangoli).Quindi ci sono infniti punti di coordinate razionali sulla circonferenza unitaria.

Ma questa non è una “scoperta” perché la presenza di infniti punti di coordinate razionali sulla sfera unitaria si può facilmente ricavare dalla trasformazione stereografca.

Se indichiamo con m/n l'ascissa del punto proiettato sull'asse delle ascisse (nella fgura m>n) allora invertendo la trasformazione otteniamo le coordinate del punto sulla circonferenza in funzione di m e n.

Le formule precedenti diventano ancora più familiari se ruotiamo il disegno (scambiando la x con la y) e proiettando i punti sulla semi-circonferenza che non contiene il centro della proiezione

Il legame tra le coordinate e l'intercetta del segmento proiettante con l'asse delle ordinate è la stessa formula della proiezione stereografca (con x e y scambiati) e non è altro che la formula che permette di esprimere seni e coseni di un angolo in funzione della tangente dell'angolo metà.

Ancora sui punti razionali sulle circonferenze.

Abbiamo visto che la circ. x² + y² = 1 contiene infniti punti con coordinate razionali:Cosa succede se cambiamo circonferenza (raggio o centro).

Una circonferenza contiene: infniti, due, uno o nessun punto di coordinate razionali.Nel primo caso il centro ha coordinate razionali.Nel secondo caso le coordinate del centro sono razionalmente dipendenti.

La dimostrazione è alla portata (teorica) di uno studente liceale, provate!Ovviamente bisogna indovinare la chiave della dimostrazione.

Curiosità matematiche sulle PPT

Generazione “automatica”: partiamo dalla PPT 21 220 221

In ogni elemento della terna inseriamo uno zero dopo ogni due

21 220 221 ------> 201 20200 20201

E andiamo avanti così:

2001 2002000 200200120001 200020000 200020001200001 20000200000 200002000012000001 2000002000000 200000200000120000001 200000020000000 200000020000001200000001 20000000200000000 20000000200000001

Queste sono tutte PPT, perché?

Come funzione la “generazione automatica”

Se a è il cateto dispari e b quello pari, abbiamo una successione infnita di PPT dove c – b = 1. Dalla formula di Euclide (con m, n dispari) abbiamo m = 1 e quindi

a = n b = (n² - 1)/2 c = (n² + 1)/2

dove n = 2 k + 1 è un numero dispari: possiamo riscrivere la formula precedente

a = 2k + 1 b = 2k (k - 1) c = 2k (k + 1) + 1

Se prendiamo k = 10ᵐ con m intero, otteniamo

a = 2 10ᵐ + 1 = 20...........01 (m-1 zeri)b = 2 10²ᵐ + 2 10ᵐ = 20...020...0 (m-1 zeri, m zeri)c = 2 10²ᵐ + 2 10ᵐ + 1= 20...020...01 (m-1 zeri, m-1 zeri)

A Pythagorean Tiling of the Plane, Ernest J. Eckert and Hugo Haagensen, Mathematics Magazine, Vol. 62, No. 3 (Jun., 1989), p. 175

Pavimentazioni con triangoli “interi” (PPT)

Perché 3 4 5

La terna (3,4,5) è la più semplice (e piccola) terna pitagorica. Ma non solo, essa ha uno statuto speciale tra tutte le PPT.

Ogni altra terna pitagorica primitiva è ottenuta in uno e un sol modo a partire da (3,4,5)

Teorema di Barning (1963)

dove

Tutte le terne ottenute in questo modo sono PPT.Per ottenere le terne con a pari e b dispari si fa la stessa cosa partendo dalla terna (4,3,5)

Tavola “genealogica” delle PPT

Il ramo ascendente contiene le terne dove ipotenusa - cateto maggiore =1 (molt. M₁)

in quello discendenteipotenusa - cateto maggiore =2 (molt. M₃)

Nel ramo centrale i cateti diferiscono di 1(molt. M₂)

Spiegazione di questa generazione

Cominciamo con “complicarci un po' la vita” considerando, accanto alle PPT, le terne pitagoriche primitive con segno SPPT, dove i due “cateti” a e b possono essere negativi (c sarà invece sempre positivo.) Se pensiamo a rappresentare le terne nel piano cartesiano questo signifca che eliminiamo la restrizione che il triangolo debba stare nel primo quadrante.

In questo ambito l'equazione a² + b² = c²ha tre ovvie simmetrie a -----> - a e b ----> - b (che mandano un triangolo nel triangolo equivalente in uno degli altri tre quadranti)

Ma esiste una terza simmetria “nascosta”

La quarta simmetria

Per far apparire questa simmetria dobbiamo cambiare variabili

Defniamo

m = c – a a = q + mn = c – b <-----> b = q + nq = a + b – c c = q + m + n

l'equazione a² + b² = c²diventa

q² = 2 m n

e la “nuova” simmetria è q ----> - q

ovvero

che in notazione matriciale possiamo scrivere

La matrice I² è una involuzione, cioè I² = id

In questa trasformazione, partendo con a, b > 0 , almeno una delle due cambia di segno. Possiamo tornare a una PPT prendendo i valori assoluti, il che in notazione matriciale si fa moltiplicando per una delle tre matrici

diag (-1, 1, 1) , diag (1, -1, 1) o diag (-1, -1, 1)

Così otteniamo una nuova PPT con la nuova “ipotenusa” minore di quella di partenza, c' < c.

Possiamo invertire questa trasformazione moltiplicando per le matrici le matrici inverse che sono proprio le matrici M₁ , M₂ e M₃

Questa “discesa” termina sempre nella terna (3,4,5) se la PPT ha il primo elemento dispari (altrimenti termina in (4,3,5))

Cammini nell'albero

Partiamo dalla terna (3,4,5) e moltiplichiamo sempre per la matrice M₂In questo caso è facile capire cosa succede: tutte le matrici così ottenute hanno i cateti che diferiscono di uno e sono sempre più “grandi”. Normalizzando (dividendo per c) si ottiene una successione di triangoli che converge verso il triangolo rettangolo isoscele. Prendendo i rapporti tra il cateto minore e l'ipotenusa e tra cateto maggiore e ipotenusa otteniamo due successioni che approssimano da sotto e da sopra la radice di due

Cosa succede se si applicano alternatamente la matrice M₃ e M₁ , ovvero se a ogni passo si “scende” e poi si “risale” nel grafco?

La risposta è interessante di per sé: si converge verso il triangolo rettangolo “metà” del triangolo equilatero.

Ma ancora più interessante è come lo si “dimostra”

Possiamo andare avanti di due passi alla volta ovvero pensare alla successione come all'applicazione ripetuta della matrice

Se la forma del triangolo si “stabilizza”, signifca che la PPT verrà trasformata in una nuova PPT “molto vicina” a una terna simile, cioè ottenuta dalla precedente moltiplicandola per un numero (non necessariamente un numero intero).Questo sarà “vero” nel limite, quindi la forma limite sarà data da un triangolo (non “pitagorico”) trasformato in un suo multiplo dalla trasformazione M₁M₃.

Determinare queste terne è quello che in matematica va sotto il nome di Problema degli autovettori e autovalori della matrice, ovvero la ricerca dei vettori che le matrice trasforma in multipli di se stessi (l'autovalore è il fattore moltiplicativo)

La soluzione nel nostro caso si ottiene abbastanza facilmente, anche perché la ricerca dell'autovalore, che è la soluzione di un'equazione di terzo grado, è facilitata dal fatto che 1 è autovalore con autovettore associato (2,0,1). Le altre due radici sono 7+4√3 e 7-4√3.

Se consideriamo l'autovalore positivo maggiore di uno abbiamo

http://www.math.rutgers.edu/~erowland/pythagoreantriples-project.html

http://www.maths.surrey.ac.uk/hosted-sites/R.Knott/Pythag/pythag.html

http://www.cut-the-knot.org/pythagoras/pythTriple.shtmlhttp://www.cut-the-knot.org/pythagoras/PT_matrix.shtml

Siti web o pagine dedicate alle terne pitagoriche (i più interessanti)

http://mathworld.wolfram.com/PythagoreanTriple.html

http://en.wikipedia.org/wiki/Pythagorean_triple

http://www.pythag.net/triples.html

Aggiungo tre sole referenze, tra le moltissime possibili

W. Sierpinski, Pythagorean Triangles, Dover, 2003 (reprint da Scripta Mathematica Studies, 1962)

Ernest J. Eckert , Primitive Pythagorean Triples, The College Mathematics Journal, Vol. 23, No. 5 (Nov., 1992),

D. Romik, The dinamics of Pythagorean Triples, TAMS (360), 2008