Problema
(Indicado a partir da 3ª série do E. M.)
Calcule o número de pares (x,y) inteiros tais que 8x3−xy−x−5y−13=0.
Extraído de OMU.
Solução
Isolando y, temos 8x3−x−13=y(x+5).
Considerando x≠−5, podemos dividir ambos os lados por x+5, obtendo 8x3−x−13x+5=y.
Como y é inteiro, o lado esquerdo da equação deve ser inteiro. Realizando a divisão de polinômios, temos:
(8x2−40x+199)(x+5)−1008x+5=8x2−40x+199−1008x+5=y
Logo 1008x+5=y−8x2+40x−199.
Como o lado direito da igualdade é inteiro, o lado esquerdo também deve ser.
Para que 1008x+5 seja inteiro, então x+5 deve ser divisor de 1008=24⋅32⋅7.
Esse número possui 5⋅3⋅2=30 divisores naturais. Contando os divisores negativos, há 60 divisores inteiros. Como cada um deles está associado a x de modo linear (x+5 = divisor de 1008), então cada divisor de 1008 gera um x distinto. Assim, nesse caso há 60 soluções de pares inteiros (x,y).
Considerando agora o segundo caso, no qual x=−5, temos
8⋅(−5)3−5y+5+5y−13=0∴−1008=0, um absurdo.
Logo, as únicas soluções inteiras para o problema são as do primeiro caso. Desse modo, há 60 pares (x,y) de inteiros que são soluções do problema.
Solução elaborada pelo COM Koreil Guys, com contribuições dos moderadores do Blog.