Sejam
e
inteiros não simultaneamente nulos,
e
um inteiro não nulo. Prove que:
(a)
;
(b) Se
e
, então mdc
.
(a)
(b) Se
Passo 1
O enunciado dá as seguintes informações e pede duas coisas:
- Dados:
e são inteiros não simultaneamente nulos; ; é um inteiro não nulo. - Pergunta (a): Mostrar que
. - Pergunta (b): Supondo adicionalmente que
e , mostrar que .
Anotei tudo o que o enunciado fornece. A partir daqui vou provar (a) e (b) passo a passo, explicando bem cada propriedade usada.
Passo 2
Ideia do método que vou usar (sem resolver ainda): vou usar a decomposição em primos (Teorema Fundamental da Aritmética) e a noção de expoente de um primo numa fatoração inteira. Explico isso de forma simples:
- O Teorema Fundamental da Aritmética diz que todo inteiro não nulo pode ser escrito, de forma única (até ordem), como produto de potências de primos. Por exemplo, para um inteiro
podemos escrever
onde
é um inteiro
(a maioria dos
é zero). O sinal
trata o caso negativo.
- A função
(a chamada avaliação -ádica) tem propriedades fáceis de entender: -
. -
.
Essas propriedades vêm diretamente de como os expoentes dos primos se somam ao multiplicar e do fato de que o máximo divisor comum usa o menor expoente comum de cada primo.
-
Vou usar essas propriedades para comparar expoentes de primos em
e em
.
Passo 3
Aplicando a ideia: pegue um primo arbitrário
. Vou comparar o expoente de
em
com o expoente de
em
.
- Pela propriedade do expoente em produto,
- Pela propriedade do expoente em gcd,
Usando as duas igualdades anteriores,
Passo 4
Agora fatoramos o termo comum
na expressão do mínimo:
Mas
. Portanto
Passo 5
A igualdade do expoente de cada primo implica igualdade dos inteiros (pela unicidade da fatoração em primos). Observe também que
para todo primo
. Assim, para todo primo
temos
Como isso vale para todo primo
, concluímos que os dois inteiros são iguais em módulo e sinal positivo, ou seja
Isto prova a parte (a).
Passo 6
Antes de ir à parte (b), uma observação útil (que será usada): se
e
, então
é um divisor comum de
e
. Como
é o maior divisor comum em valor absoluto, segue que
divide
. Em particular
é um inteiro não negativo. (Isto garante que a expressão pedida em (b) faz sentido como inteiro.)
Passo 7
Agora provamos (b). Como
e
, podemos escrever
e
. Aplicando o resultado da parte (a) com os inteiros
e
(note que estes são inteiros pela hipótese), obtemos:
Mas o lado esquerdo é simplesmente
. Portanto
Passo 8
Dividindo ambos os lados por
(lembrando que
), obtemos
que é exatamente o que se pedia na parte (b). Assim a parte (b) está provada, usando a parte (a) e a hipótese
.
Resposta
(a)
.
(b)
.