Um dos Teoremas mais importantes ensinados no Ensino Fundamental é o Teorema Fundamental da Aritmética - TFA. Contudo, mesmo em turmas mais avançadas, não se vê sequer uma demonstração ou justificativa do TFA. Então, o presente post será exposto uma demonstração elementar do TFA. Usaremos como base axiomática o Princípio da Boa Ordenação - PBO. Tal princípio diz que dado um subconjunto $X$ não vazio de $\mathbb{N}$ então $X$ possui o menor elemento ou elemento mínimo de $X$.
Lema 1: O menor divisor positivo maior do que $1$ de um número natural $n$ é um número primo.
Demonstração.
Seja $D$ o conjunto dos divisores positivos de um número natural $n$. Observe que, $D\setminus \{1\}\neq \varnothing$, pois $n \in D\setminus\{1\}$. Logo, pelo PBO existe $p_0 \in D\setminus\{1\}$ tal que $p_0 \leq x$ para todo $x \in D\setminus \{1\}$. Suponha por absurdo que $p_0$ não é primo. Então existe um natural positivo $d$ não trivial tal que $d|p_0 \Rightarrow d|n$. Portanto, $d\in D\setminus \{1\}$. Contudo, $d<p_0$ o que é uma contradição, pois $p_0$ é o menor elemento de $D\setminus \{1\}$. Logo, $p_0$ é um número primo. $\square$
TFA parte 1 (existência). Todo número natural $n>1$ é um número primo ou pode ser escrito como o produto de números primos.
Demonstração.
Seja $n>1$ um número natural. Se $n$ é primo não precisamos fazer nada. Pelo Lema 1 seu menor divisor não trivial é um primo $p_1$. Logo, $n$ pode ser escrito da forma
$$n=k_1\cdot p_1, k_1 \in \mathbb{N}.$$
Se $k_1=1$ então $n=p_1$ e encerramos o processo. Caso contrário pegamos o menor divisor positivo não trivial de $k_1$ que, pelo Lema 1 é um primo $p_2$. Logo,
$$n=k_2\cdot p_1\cdot p_2, k_2 \in \mathbb{N}.$$
Se $k_2=1$ então $n=p_1\cdot p_2$ e terminamos, caso contrário repetimos o procedimento. Em algum momento esse processo terminará, pois, $n>k_1>k_2>\cdots>k_j>\cdots>1$. Em outras palavras, como $k_j \in [1,n)$ e esse é um intervalo finito de números naturais em algum momento teremos um $i$ tal que $k_i=1$. Logo, para cada $n$ temos
$$n=p_1\cdot p_2\cdot p_3\cdots p_i ,$$
com $p_1,p_2, ...,p_i$ primos. $\square$
Proposição 1 Sejam $a,b \neq 0$ naturais. Se $p$ é primo e $p|ab$ então $p|a$ ou $p|b$.
Demonstração.
Suponha, por absurdo, que $ab$ é o menor produto tal que $p\not |a$ e $p\not | b$, mas $p|ab$. Observe que, $mdc(a,p)=1$ e $mdc(b,p)=1$. Então, existem $k_1,k_2,r_1,r_2 \in \mathbb{N}$ tais que $a=pk_1+r_1$ e $b=pk_2+r_2$ com $0< r_1,r_2<p$, como $a$ e $p$ são coprimos isso implica que $mdc(r_1,p)=1$, de modo análogo, $mdc(r_2,p)=1$. Por outro lado, $ab=p^2k_1k_2+p(k_1+k_2)+r_1r_2.$ Por hipótese, $p|ab$ logo, $$p|ab \Rightarrow p|(ab-(p^2k_1k_2+p(k_1+k_2)) \Rightarrow p|r_1r_2.$$ Porém, $r_1r_2<ab$, contradição. Logo, se $p$ é primo e $p|ab$ então $p|a$ ou $p|b$. $\square$
Corolário 1 Se $p$ é primo e $p|(a_1a_2\cdot ... \cdot a_k)$, então $p|a_i$ para algum $i\in \{1,2,...,k\}$.
Demonstração.
Suponha que $p|(a_1a_2\cdot ... \cdot a_k)$. Note que, $p$ divide $a_1\cdot(a_2a_3\cdot ... \cdot a_k)$. Pela Proposição 1 isso implica que $p|a_1$ ou $p|(a_2a_3\cdot ... \cdot a_k)$. Se $p|a_1$ terminamos. Caso contrário, $p$ divide $a_2\cdot (a_3a_4\cdot ... \cdot a_k)$. E, novamente, utilizando a Proposição 1 temos que $p|a_2$ ou $p|(a_3a_4\cdot ... \cdot a_k)$. Se $p$ divide $a_2$ encerramos o processo. Caso contrário, replicamos a técnica e nos valemos novamente da Proposição 1. Em algum momento o processo termina para algum $a_i$, isto é, $p|a_i$. Pois $k$ é finito e esse processo não pode ocorrer para sempre. Na pior hipótese chagamos em $a_{k-1}a_k$ ao reaplicarmos o procedimento $k-2$ vezes. E assim, concluímos que ou $p|a_{k-1}$ ou $p|a_k$, pela proposição 1. $\square$
TFA parte 2 (unicidade). Todo número natural $n>1$ é primo ou pode ser escrito de forma única, a menos da ordem de seus fatores, como o produto de números primos.
Demonstração.
Suponha, por absurdo, que $n$ é o menor número que possui duas fatorações distintas em fatores primos. Em outras palavras, $n=p_1p_2\cdots p_s=q_1q_2\cdots q_r$ onde $p_i$ e $q_j$ são primos para cada $i,j \in \mathbb{N}$. Pelo Corolário 1, $p_1|q_j$ para algum $j$. Pode-se supor, sem perde de generalidade, que $p_1|q_1$. Portanto, $p_1 \in \{1,q_1\}$, visto que, $q_1$ é primo, logo, possui apenas dois divisores. Além disso, $p_1>1$ pois $p_1$ é primo. Consequentemente, $p_1=q_1$. Assim,
$$\dfrac{n}{p_1}=p_2p_3\cdots p_s=q_2q_3\cdots q_r.$$
Logo, $n/p_1$ possui duas decomposições distintas em fatores primos, porém, $n/p_1<n$. Contradição. $\square$
Desafios
3) (OBMEP - banco de questões 2010) Qual é o maior fator primo de $2016$?
4) (OBMEP - banco de questões 2010) Se $a, b$ e $c$ são números inteiros positivos tais que $3a = 4b = 7c$, qual é o menor valor possível de $a + b + c$?
Referências
MARTINEZ, F. B. et al. Teoria dos Números: um passeio com primos e outros números. IMPA, Rio de Janeiro, 5ª edição, 2018.
Banco de Questões. Disponível em: OBMEP - Banco de Questões.
Nenhum comentário:
Postar um comentário