Seja x e y números inteiros positivos. Mostre quantas soluções a equação tem.
Soluções para a tarefa
Sendo x e y inteiros positivos, vamos determinar todas as soluções da equação:
Utilizando a ideia de paridade, fica fácil deduzir que y² ≥ 667 é um quadrado perfeito ímpar, pois este é soma de um número par com 665. Devido a isso, depreende-se que y também é ímpar, ao passo que y² ímpar jamais implica y par. Sabemos que y², por ser quadrado perfeito ímpar, só pode terminar em 1, 5 ou 9. Por este motivo, a segunda parcela (exponencial de base dois) do primeiro membro de (i) deve resultar numa potência de 2 terminada em 6 ou 4. Para isso, basta que o expoente x seja um número par positivo, logo:
, para k natural não nulo. Baseando-se na única possibilidade acima, é válido escrever:
Substituindo (ii) em (i), ficaremos com:
Lembrando que y ≥ 27 e k ≥ 1, podemos extrair, da equação (iii), todos os três seguintes sistemas:
Resolvendo cada um deles pelo método da adição, temos que as duas únicas soluções plausíveis provêm do primeiro e segundo sistemas (de cima para baixo). Em seguida, adicionando as duas equações do primeiro sistema, obtemos:
E o k correspondente é:
Substituindo k = 3 em x = 2k, segue o x associado a y = 27:
Agora, somando as equações do segundo sistema, obteremos:
E o k correspondente será:
Substituindo k = 6 em x = 2k, segue o x associado a y = 69:
Por fim, o conjunto solução de (i) é dado por:
Resposta: a equação possui apenas duas soluções.