Teorema fonamental de l'aritmètica
De Viquipèdia
El teorema fonamental de l'aritmètica afirma que
-
tot nombre enter positiu superior a 1 es pot escriure, de forma única com a producte de nombres primers.
Aquesta expressió d'un enter com a producte de nombres primers s'anomena factorització. Per exemple:
- 6936 = 23 · 3 · 172 o 1200 = 24 · 3 · 52
i cap altra factorització d'aquests números és possible. Aquest procés demostra que els primers es poden considerar els elements bàsics a partir dels quals es construeixen tots els enters; en concret, ens dóna un coneixement complet de tots els factors d'un número. Per exemple, en el cas del 6936, de la factorització anterior, que recordem que és única, sabem que tots els possibles factors (no primers) de 6936 són:
- 2a · 3b · 17c
amb [0 ≤ a ≤ 3], [0 ≤ b ≤ 1] i [0 ≤ c ≤ 2]. Això dóna un total de 4 · 2 · 3 = 24 factors
[edita] Demostració
La primera demostració es deu a Euclides, i consisteix en dues parts: primer cal demostrar que tot nombre es pot escriure com a producte de nombres primers i, en segon lloc, demostrar que aquest producte és únic, excepte per l'ordre dels productes.
Suposem que hi hagués enters que no es poden escriure com a producte de primers i suposem també que n sigui el més petit d'aquests enters. Com n no pot ser igual a 1 (pel que hem dit abans) ni pot ser un primer, ja que qualsevol primer és producte d'ell mateix, ha de ser un nombre compost i, per tant, el podem escriure com
- n = ab
on a i b són enters positius més petits que n. Com n era l'enter més petit que no es podia escriure com a producte de primers, resulta que a i b sí es poden escriure com a producte de primers, p1, p2, etc.:
- a = p1p2p3...
- b = papbpc...
i, per tant:
- n = ab = p1p2p3...papbpc...
És a dir, que n sí es pot escriure com a producte de primers, contradient la suposició i demostrant que, efectivament, tot enter es pot escriure com a producte de primers.
Ara falta demostrar la unicitat del producte en primers. Sabem que si un nombre primer p divideix un producte ab, llavors divideix a o divideix b (lema d'Euclides). Ara suposem que existeixen dos productes de nombres primers que donen el mateix nombre enter i suposem que p és un primer del primer producte; aquest p divideix el primer producte i, per tant, també el segon. Llavors també ha de dividir almenys un factor del segon producte. Però sabem que tots els factors són primers, no divisibles per ningú més que ells mateixos. Això només deixa la possibilitat que p també sigui un dels factors del segon producte. Continuant amb tots els factors veuríem que tots són iguals.
