Teorema fondamentale dell'aritmetica

Il teorema fondamentale dell'aritmetica afferma che:

Ogni numero naturale maggiore di 1 o è un numero primo o si può esprimere come prodotto di numeri primi. Tale rappresentazione è unica, se si prescinde dall'ordine in cui compaiono i fattori.

L'enunciato è facilmente verificabile per numeri naturali "piccoli": è facile scoprire che ${\displaystyle 70}$ è pari a ${\displaystyle 2\times 5\times 7}$ e ${\displaystyle 100}$ equivale a ${\displaystyle 2\times 2\times 5\times 5}$ ovvero ${\displaystyle 2^{2}\times 5^{2}}$, ed è altrettanto facile verificare che per questi numeri non possono esistere altre scomposizioni in fattori primi.

Il teorema fu dimostrato per la prima volta, in un linguaggio matematico moderno, da Gauss nelle Disquisitiones Arithmeticae;^[1] Euclide, negli Elementi, insieme all'esistenza della fattorizzazione^[2], aveva dimostrato una proposizione, oggi nota come lemma di Euclide^[3], dalla quale si ricava la proprietà di fattorizzazione unica.

Nella teoria degli anelli, un analogo della proprietà espressa dal teorema costituisce la definizione stessa di anello a fattorizzazione unica.

Dimostrazione del teorema

L'enunciato del teorema asserisce l'esistenza di una fattorizzazione in numeri primi per ogni numero naturale, e successivamente la sua unicità. Dimostriamo separatamente le due affermazioni.

Dimostrazione dell'esistenza

Dalla definizione di numero primo si deduce che ogni numero maggiore o uguale a 2 o è un numero primo oppure si può esprimere come prodotto di numeri primi. Questo fatto si può dimostrare per induzione:

• n=2 è primo, quindi soddisfa quanto enunciato.
• Supponendo vero l'enunciato per tutti i numeri da 2 a n, dimostriamo che vale anche per n+1. Per n+1 ci sono due possibilità: o è primo oppure è divisibile per un numero a compreso tra 2 e n. Nel caso in cui n+1 sia divisibile per a per l'ipotesi induttiva o a è primo oppure a ha un divisore primo p. In quest'ultimo caso (per la proprietà transitiva della divisibilità) p è anche un divisore di n+1. In ogni caso dunque o n+1 è primo o è divisibile per un primo.

La dimostrazione dell'esistenza della fattorizzazione per ogni numero procede ancora per induzione:

• n=2 è primo e dunque è già banalmente fattorizzato.
• Supponiamo vera l'esistenza di una fattorizzazione per tutti i naturali compresi tra 2 e n e dimostriamola vera anche per n+1. Considerando n+1, abbiamo due casi: n+1 è primo (e quindi è già fattorizzato) oppure n+1 è divisibile per un primo p (come dimostrato nella prima parte); in quest'ultimo caso il numero m=(n+1)/p è minore di n+1, e quindi verifica l'ipotesi induttiva, ovvero esiste una fattorizzazione di m. Ma allora n+1=mp cioè n+1 è fattorizzabile (è il prodotto di m e p).

Quindi l'esistenza di una fattorizzazione è dimostrata per ogni numero naturale n.

Dimostrazione dell'unicità

Dimostriamo che se un numero ammette una fattorizzazione in numeri primi questa è unica.

Per assurdo: Si supponga che esistano dei numeri scomponibili in fattori primi in più di un modo, e si chiami m il più piccolo (che esiste per il principio del buon ordinamento). Innanzitutto si dimostra che, date due fattorizzazioni di m, i numeri primi che si presentano nella prima fattorizzazione sono tutti distinti da quelli della seconda fattorizzazione. Siano infatti [1] e [2] le due diverse fattorizzazioni di m

${\displaystyle \left[1\right]\quad m=p_{1}p_{2}p_{3}\dots p_{s}}$

${\displaystyle \left[2\right]\quad m=q_{1}q_{2}q_{3}\dots q_{t}}$

dove i ${\displaystyle p_{i}}$ e i ${\displaystyle q_{j}}$ sono primi ma differenti tra loro, ovvero ${\displaystyle \forall i,j\;\;p_{i}\neq q_{j}}$ (se ci fosse un fattore identico ${\displaystyle p_{h}=q_{k}}$ possiamo ricondurci al caso indicato dividendo ${\displaystyle m}$ per tale fattore e ottenendo un numero ${\displaystyle m'}$ a scomposizione multipla per cui vale ${\displaystyle m'<m}$, contraddicendo l'ipotesi che ${\displaystyle m}$ sia il più piccolo tra i numeri a scomposizione multipla). All'interno di ogni fattorizzazione ci possono comunque essere fattori ripetuti: ad esempio, 100 = 2×2×5×5.

A questo punto sappiamo che ${\displaystyle p_{1}}$ è diverso da ${\displaystyle q_{1}}$; senza perdita di generalità possiamo supporre che ${\displaystyle p_{1}<q_{1}}$. Poniamo allora

${\displaystyle \left[3\right]\quad n=(q_{1}-p_{1})q_{2}q_{3}\dots q_{t}}$

Evidentemente, ${\displaystyle n<m}$, dato che la ${\displaystyle \left[3\right]}$ si può scrivere come

${\displaystyle \left[4\right]\quad n=q_{1}q_{2}q_{3}\dots q_{t}-p_{1}q_{2}q_{3}\dots q_{t}=m-p_{1}q_{2}q_{3}\dots q_{t}<m\;}$.

Dimostriamo ora che ${\displaystyle n}$ ammette almeno due fattorizzazioni distinte.

Iniziamo considerando il primo fattore di ${\displaystyle n}$, ${\displaystyle q_{1}-p_{1}}$. Esso può essere primo o meno; nel caso non lo fosse lo fattorizzeremo e la nuova fattorizzazione di ${\displaystyle n}$ così ottenuta non ammetterebbe ${\displaystyle p_{1}}$ tra i suoi fattori. Infatti, per la prima parte della dimostrazione sappiamo che ${\displaystyle p_{1}}$ è diverso da ${\displaystyle q_{2},q_{3},\dots q_{t}}$ e non può comparire nella eventuale fattorizzazione di ${\displaystyle q_{1}-p_{1}}$, poiché se ciò accadesse significherebbe che

${\displaystyle q_{1}-p_{1}=p_{1}\cdot b\Rightarrow q_{1}=p_{1}(1+b)}$

e quindi ${\displaystyle q_{1}}$ sarebbe divisibile per ${\displaystyle p_{1}}$, il che non è possibile in quanto ${\displaystyle q_{1}}$ è un numero primo.

Prendendo ora l'ultima uguaglianza della ${\displaystyle \left[4\right]}$ e sostituendo ${\displaystyle m}$ con la ${\displaystyle \left[1\right]}$ otteniamo

${\displaystyle \left[5\right]\quad n=p_{1}p_{2}p_{3}\dots p_{s}-p_{1}q_{2}q_{3}\dots q_{t}\Rightarrow n=p_{1}(p_{2}p_{3}\dots p_{s}-q_{2}q_{3}\dots q_{t})}$

In qualunque modo sia fattorizzabile il secondo fattore nella ${\displaystyle \left[5\right]}$, avremo ottenuto una fattorizzazione di ${\displaystyle n}$ che contiene ${\displaystyle p_{1}}$ e che pertanto è diversa da quella nella ${\displaystyle \left[3\right]}$, contrariamente all'ipotesi che ${\displaystyle m}$ sia il numero più piccolo che ammette più di una fattorizzazione.

L'unicità è pertanto dimostrata.

Note

Bibliografia

• Euclide, Elementi.
• Harold Davenport, Aritmetica superiore – capitolo I, Bologna, Zanichelli, 1994, ISBN 88-08-09154-6.
• (EN) Tom M. Apostol, Introduction to Analytic Number Theory – capitolo 1, New York, Springer-Verlag, 1976, ISBN 0-387-90163-9.

Altri progetti

• Wikimedia Commons contiene immagini o altri file sul teorema fondamentale dell'aritmetica

Collegamenti esterni

• aritmetica, teorema fondamentale dell', in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) fundamental theorem of arithmetic, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Teorema fondamentale dell'aritmetica, su MathWorld, Wolfram Research.

V · D · M Teoria dei numeri
Numeri più usati	Naturali · Interi · Pari e dispari
Principi generali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza
Successioni di interi	Fattoriale · Successione di Fibonacci · Numero di Catalan · Numero di Perrin · Numero di Eulero · Successione di Mian-Chowla · Successione di Thue-Morse
Caratteristiche dei numeri primi	Numero primo · Lemma di Euclide · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Test di primalità · Teorema fondamentale dell'aritmetica · Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Teorema dei numeri primi
Funzioni aritmetiche	Funzione moltiplicativa · Funzione additiva · Convoluzione di Dirichlet · Funzione φ di Eulero · Funzione di Möbius · Funzione tau sui positivi · Funzione sigma · Funzione di Liouville · Funzione di Mertens
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Criteri di divisibilità · Teorema di Fermat sulle somme di due quadrati · Teorema di Wilson · Legge di reciprocità quadratica
Congetture	Congettura di Goldbach · Congettura di Polignac · Congettura abc · Congettura dei numeri primi gemelli · Congettura di Legendre · Nuova congettura di Mersenne · Congettura di Collatz · Ipotesi di Riemann
Altro	Problema di Waring
Principali teorici	Fibonacci · Fermat · Gauss · Eulero · Legendre · Riemann · Dirichlet
Discipline connesse	Teoria algebrica dei numeri · Teoria analitica dei numeri · Crittografia · Teoria computazionale dei numeri

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica