Equações Diofantinas I
Desde a antiguidade sabe-se que a procura de todos os inteiros positivos que satisfazem a identidade x² + y²= z² é equivalente ao problema de se determinar todos os triângulos retângulos cujos lados são inteiros. Tais ternas são denominadas Pitagóricas e a equação x² + y² = z², cujas soluções são inteiros positivos, é chamada de equação Diofantina. Esta equação pode ser generalizada para xⁿ + yⁿ = zⁿ, onde n é um número natural e n > 2. É conhecida como equação de Fermat, a mais famosa da matemática e será tema de algumas de nossas reflexões. Um outro exemplo famoso de equação Diofantina é a curva de Fibonacci, isto é, o sistema de equações x² + y² = z², x² - y² = t², que foi inicialmente estudado em 1220 por Leonardo de Pisa mais conhecido como Fibonacci.
O matemático grego Diophantus de Alexandria (4o Século A.C.) foi o primeiro a investigar o problema de se determinar soluções inteiras de equações, particularmente os casos em que o número de variáveis é maior que o número de equações. Diophantus contentava-se em encontrar uma única solução em vez de todas as soluções, e permitia soluções fracionárias em vez de soluções inteiras. Entretanto essa distinção é irrelevante: por exemplo, considere a equação x² + y² = z². Se uma solução fracionária é obtida, então a partir dela obtém-se uma solução inteira. Reciprocamente, se uma solução inteira é encontrada, obtém-se a partir dela uma fracionária. Por exemplo, da solução (3,4,5) obtemos a solução (3/6,4/6,5/6), isto é, (1/2,2/3,5/6) e vice-versa achando o mínimo múltiplo comum. Deve-se a Diophantus a idéia fundamental de estudar as soluções inteiras, e alguns teoremas básicos, sobre a representação de números como soma de quadrados, dos quais conhecia as demonstrações parcialmente, e outros cujas demonstrações desconhecia.
O estudo das equações Diofantinas é um dos mais belos e interessantes, e também um dos mais difíceis, pois em sua essência encontram-se as ligações profundas e sutis que a Teoria dos Números mantém com a Lógica, a Geometria Algébrica, e a Teoria das Aproximações Diofantinas. Por outro lado, não existe um método geral que decida se uma equação arbitrária possui ou não soluções inteiras, ou um método que estabeleça quantas soluções a equação admite. Em 1900, o matemático David Hilbert (1862-1943), um dos mais prestigiados e influentes de sua época, fez um discurso no Congresso Internacional de Matemática em Paris, onde anunciou os problemas que seriam, em sua visão, os mais importantes no Século XX. Entre tais problemas, o décimo se referia à investigação de um algoritmo que permitiria, em um número finito de passos, decidir se uma equação Diofantina arbitrária tem solução e, em caso afirmativo, qual o número de soluções. Nos anos seguintes, vários matemáticos investigaram intensamente a existência de tal algoritmo sem sucesso e então começaram a duvidar da existência de tal algoritmo. Em 1961, Martin Davis, Hillary Putnam e Julia Robinson, utilizando Lógica e Teoria dos Números, demonstraram que tal algoritmo não poderia existir, mas assumiram que uma certa hipótese era válida. Em 1970, o jovem matemático russo Y. Matijasievič demonstrou que a tal hipótese era verdadeira. Dessa forma, ficou demonstrado que tal algoritmo não poderia de fato existir. O interessante aqui é que um tal algoritmo, que sirva para resolver todas as equações Diofantinas, não existe, isto é, um algoritmo que decida para todas as equações, em um número finito de passos, se ela tem ou não solução. Mas isso não nos impede de eventualmente achar soluções, ou até mesmo todas as soluções de uma certa equação, como é o caso da equação x² + y² = z². Portanto, não existe uma receita comum para resolver todas as equações Diofantinas. Cada equação tem sua especificidade, o que explica, em parte, porque essa área de pesquisa é tão difícil.
