Aritmética · Teoria dos Números · Demonstração Completa
Teorema Fundamental da Aritmética
Todo inteiro maior que 1 possui uma única fatoração em números primos.
n = p₁α₁ · p₂α₂ · p₃α₃ · ··· · pₖαₖ
O que afirma o Teorema?
O Teorema Fundamental da Aritmética (TFA) é um dos pilares da matemática. Ele garante algo aparentemente simples, mas profundamente poderoso: todo número inteiro maior que 1 pode ser escrito como um produto de números primos — e essa escrita é única, salvo a ordem dos fatores.
O teorema tem duas partes distintas, cada uma exigindo sua própria prova:
Isso garante que os primos são os "blocos de construção" de todos os inteiros. Nenhum inteiro maior que 1 "escapa" dessa estrutura.
Isso garante que cada número tem exatamente uma identidade prima — como uma impressão digital. 12 = 2² · 3 e não existe outra forma de fatorá-lo em primos.
O teorema é atribuído a Euclides (séc. III a.C.), que estabeleceu os fundamentos nos Elementos. A formulação moderna com ênfase na unicidade deve muito a Carl Friedrich Gauss em suas Disquisitiones Arithmeticae (1801).
O nome "Fundamental" não é exagero: praticamente toda a teoria dos números repousa sobre este resultado.
Conceitos Fundamentais
Um inteiro p > 1 é primo se seus únicos divisores positivos são 1 e p.
Existem infinitos números primos — isso também foi demonstrado por Euclides, e o TFA é central nessa prova.
Um inteiro n > 1 é composto se possui algum divisor além de 1 e n, ou seja, pode ser escrito como n = a · b com 1 < a, b < n.
Se um primo p divide o produto a · b, então p divide a ou p divide b.
Este lema é a ferramenta central da prova de unicidade. Sua demonstração usa o Algoritmo de Euclides e o fato de que o MDC(p, a) = 1 quando p não divide a (pois p é primo).
Para compostos isso pode falhar: 4 | 6·2 = 12, mas 4 ∤ 6 e 4 ∤ 2. O lema só vale porque primos têm a propriedade de que o único modo de p "entrar" num produto é entrando em um dos fatores.
Todo inteiro > 1 tem uma fatoração prima
Demonstramos por indução forte: se a propriedade vale para todo k com 2 ≤ k < n, ela vale para n.
- Caso base: n = 2 O número 2 é primo, portanto já é por si só um produto de primos (com um único fator). A afirmação vale. ✓
- Hipótese de indução forte Suponha que todo inteiro k com 2 ≤ k < n pode ser escrito como produto de primos.
- Caso n é primo Se n é primo, ele já é um produto de primos (com um único fator). Pronto. ✓
- Caso n é composto Se n é composto, existem inteiros a e b com:n = a · b, 1 < a < n e 1 < b < n
- Aplicando a hipótese a a e b Como 2 ≤ a < n e 2 ≤ b < n, pela hipótese de indução ambos podem ser escritos como produtos de primos:a = p₁ · p₂ · ··· · pⱼ
b = q₁ · q₂ · ··· · qₗ - Conclusão — existência provada ∎n = a · b = p₁ · p₂ · ··· · pⱼ · q₁ · q₂ · ··· · qₗn é um produto de primos. Por indução forte, a existência vale para todo n > 1. ∎
A fatoração é única
Esta é a parte mais sofisticada. Precisamos provar que não existem duas fatorações distintas do mesmo número. Usaremos prova por contradição combinada com o Lema de Euclides.
- Hipótese de contradição — supor duas fatorações distintas Suponha que existe algum inteiro n > 1 com duas fatorações distintas em primos. Seja n o menor tal inteiro:n = p₁ · p₂ · ··· · pᵣ = q₁ · q₂ · ··· · qₛonde todos os pᵢ e qⱼ são primos e as duas listas não são permutações uma da outra.
- p₁ divide algum qⱼ — pelo Lema de Euclides Como p₁ divide n = q₁ · q₂ · ··· · qₛ, pelo Lema de Euclides, p₁ deve dividir algum qⱼ. Como qⱼ é primo, seus únicos divisores são 1 e ele mesmo. Logo:p₁ | qⱼ e qⱼ é primo ⟹ p₁ = qⱼ
- Cancelamento — reduzir o problema Reindexando, podemos tomar j = 1, ou seja, p₁ = q₁. Dividindo ambos os lados por p₁:n/p₁ = p₂ · p₃ · ··· · pᵣ = q₂ · q₃ · ··· · qₛ
- Contradição com a minimalidade Agora n/p₁ < n e possui duas fatorações distintas. Mas isso contradiz a suposição de que n era o menor inteiro com essa propriedade!
- Conclusão — unicidade provada ∎ A hipótese de contradição é falsa. Portanto não existe nenhum inteiro n > 1 com duas fatorações distintas em primos.A fatoração prima é única para todo n > 1. ∎
Fatoração em Primos
Poderia 12 ser fatorado de maneira diferente? Todas as tentativas levam ao mesmo resultado:
= 2 × 2 × 3
= 2² · 3 ✓
= 3 × 2 × 2
= 2² · 3 ✓ (igual!)
Independentemente de como começamos, chegamos sempre a 12 = 2² · 3. Isso é o TFA em ação.
Calculadora de Fatoração Prima
Digite um número inteiro maior que 1 para obter sua fatoração prima única.
Aplicações do TFA
Para calcular MDC e MMC, usamos as fatorações e comparamos expoentes:
1260 = 2² · 3² · 5 · 7
──────────────────────
MDC = 2² · 3² · 5 = 180 (menores expoentes)
MMC = 2³ · 3² · 5 · 7 = 2520 (maiores expoentes)
O TFA sustenta a prova clássica de Euclides de que existem infinitos primos. Se houvesse apenas os primos finitos p₁, p₂, …, pₙ, o número:
não seria divisível por nenhum pᵢ (o resto seria sempre 1). Pelo TFA, N deveria ter algum fator primo — contradição. Logo existe sempre um primo não listado.
A segurança da criptografia RSA — usada em praticamente toda a internet — baseia-se na dificuldade computacional de fatorar números muito grandes em seus primos.
O TFA garante que essa fatoração existe e é única, o que é essencial para o funcionamento do sistema. A chave pública RSA é o produto de dois primos gigantes p · q; a segurança vem de que recuperar p e q a partir de n = p · q é computacionalmente inviável.
Uma das provas mais elegantes usa o TFA: se √2 = p/q em forma irredutível, então 2q² = p². Comparando os expoentes do primo 2 em ambos os lados:
Expoente de 2 em p²: par (o dobro de qualquer inteiro)
Um ímpar nunca é igual a um par — contradição. Portanto √2 é irracional. ∎
Resumo da Demonstração
- Primos e compostos — os "átomos" e "moléculas" dos inteiros.
- Existência (Indução Forte) — todo inteiro > 1 é primo ou produto de primos, pois cada fator composto se decompõe recursivamente em fatores menores que, por hipótese, também são fatoráveis.
- Lema de Euclides — se um primo divide um produto, ele divide pelo menos um dos fatores. Ferramenta central para a unicidade.
- Unicidade (Contradição) — supor duas fatorações distintas leva a uma contradição com a minimalidade, provando que a fatoração é única.
- Conclusão — os inteiros têm uma estrutura única determinada pelos primos. Cada número tem sua "impressão digital" prima, inalterável e inconfundível.
"Os números primos são os átomos da aritmética —
e o Teorema Fundamental garante que cada número
é uma molécula única formada por esses átomos."
— analogia clássica da Teoria dos Números