Seção 2.2 O Algoritmo de Divisão
Teorema 2.2.1. Algoritmo de Divisão.
Sejam
onde
Demonstração.
Este é um exemplo perfeito de uma demonstração de existência e unicidade. Devemos primeiro demonstrar que os números
Existência de
Se
Neste caso teríamos
Unicidade de
Então
Teorema 2.2.2.
Sejam
Alem disso, o máximo divisor comum de
Demonstração.
Seja
Claramente, o conjunto
que está em
Suponhamos que
Ou seja
Corolário 2.2.3.
Sejam
Subseção 2.2.1 O Algoritmo de Euclides
Entre outras coisas, o Teorema 2.2.2 nos permite calcular o máximo divisor comum de dois inteiros.Exemplo 2.2.4.
Calculemos o máximo divisor comum de
Usando os passos de trás para frente, 105 divide a 420, 105 divide a 525, 105 divide a 945, e 105 divide a 2415. Logo, 105 divide tanto a 945 como a 2415. Se
Recorrendo as equações anteriores de baixo para cima, podemos obter números inteiros
Assim
Subseção 2.2.2 Números Primos
SejaLema 2.2.5. Euclides.
Sejam
Demonstração.
Suponhamos que
Como
Teorema 2.2.6. Euclides.
Existe uma quantidade infinita de números primos.
Demonstração.
Demonstraremos este teorema por contradição. Suponhamos que existe só uma quantidade finita de primos, digamos
Teorema 2.2.7. Teorema Fundamental da Aritmética.
Seja
com
então
Demonstração.
Unicidade. Para demonstrar a unicidade procederemos por indução em
com
tem uma fatoração única. Logo,
Existência. Para demonstrar a existência, suponhamos que existe algum inteiro que não pode ser escrito como produto de primos. Seja
Portanto,
Assim