NUMERI FIGURATI Renato Betti Politecnico di Milano 26

NUMERI FIGURATI Renato Betti Politecnico di Milano 26 novembre 2008

“La teoria elementare dei numeri dovrebbe essere uno dei migliori argomenti per la prima educazione matematica. Richiede poche conoscenze preliminari ed è una materia tangibile e familiare; i processi logici che utilizza sono semplici, generali e in numero limitato, ed è unica fra le scienze matematiche per il suo richiamo alla naturale curiosità umana” (G. H. Hardy, 1929) I numeri figurati “sbucano” inaspettatamente in risultati moderni: Il teorema dei numeri poligonali (Fermat – Cauchy) Il teorema pentagonale (Eulero)

I numeri figurati non sono questi….

I numeri figurati sono disposizioni di unità in maniera ordinata, secondo figure geometriche…. (numeri poligonali) (oblunghi) (generalizzati) (tetractys)

(piramidali) (cubici) 1 3 Nicomaco di Gerasa (II a. C) 7 13 21 5 9 15 23 1 8 11 17 25 27 19 27 64 29 125 … … …

n-1 n

Numeri poligonali numeri triangolari quadrati esagonali pentagonali …………

1, 1, 1, … 2, 3, 4, 5, 6, … 3, 6, 9, 12, 15, … 4, 10, 16, 22, 28, … 5, 15, 25, 35, 45, … … … … numeri triangolari quadrati pentagonali esagonali …. Problema: nelle sequenze di numeri poligonali il terzo numero è sempre divisibile per 3 e il quinto numero è sempre divisibile per 5. Questa proprietà è vera anche per gli altri numeri poligonali (ettagono, ottagono etc)? E perché il quarto numero triangolare non è divisibile per 4? Vale la proprietà per il settimo? E in generale quando vale?

Il teorema dei numeri poligonali (Fermat, 1636) “Ho trovato della massima importanza la proposizione che ogni numero è composto da uno, da due o da tre triangolari; da uno o da due o da tre o da quattro quadrati; da uno o da due o da tre o da quattro o da cinque pentagonali; da uno o da due o da tre o da quattro o da cinque o da sei esagonali, e così via ad infinitum. Per dimostrare questa proposizione devo dimostrare che ogni primo che supera di un’unità un multiplo di 4, come 5, 13, 17, 29, 37, e così via, è composto da due quadrati. ”

Eulero: 1751 Lagrange: 1770 Se

Ancora Eulero, 1773: Gauss, 1796: Teorema (Legendre): L’equazione 7 (mod 8) ha soluzioni intere

Cauchy, 1813 -15: Ogni numero intero è uguale alla somma di 4 pentagonali o una somma simile aumentata di una unità; alla somma di 4 esagonali o ad una somma simile aumentata di una o di due unità; alla somma di 4 ettagonali o ad una somma simile aumentata di una o due o tre unità. . . e cosi via.

n = Ak+Bs+r (0 r < m – 4) Lemma di Cauchy: Siano k ed s due interi negativi dispari tali che e. Allora esistono interi non negativi a, b, c e d tali che: k >121, n = Ak+Bs+r (0 k’ = k +2 ……. . r < m – 4) è somma di m numeri m-gonali

Il teorema pentagonale (Eulero, 1750) “In quanti modi si può scrivere il numero 50 come somma di 7 diversi numeri? ” (Ph. Naudé il giovane, 1740) Hardy & Ramanujan, 1918: Rademacher, 1937:

Teorema pentagonale (Eulero):

Casi eccezionali:

La formula ricorsiva di Eulero per il calcolo delle partizioni La formula ricorsiva di Eulero per la somma dei divisori di n

Eulero, De partitione numerorum, 1750

Bibliografia J. Bell, Euler and the Pentagonal Number Theorem, Ar. Xiv: math/051005 v 2 [math HO] P. Bussotti, A. Scimone, Tutto è poligonale, I. L’antefatto, II. Verso la meta, Lettera Mat. Pristem, in corso di stampa J. Conway, R. Guy, Numbers, Springer 1996 G. A. Andrews, Euler’s Pentagonal Number Theorem, Mathematics Magazine 56, n. 5 (1983) E. Delucchi, M. D. Froidcoeur, +& C. , Bollettino dei docenti di Matematica della Svizzera italiana, n. 55 (2007) M. B. Nathanson, A short Proof of Cauchy’s Polygonal Number Theorem, Proc. AMS 99, n. 1 (1987)