A equação diofantina linear ou não tem nenhuma solução inteira ou possui infinitas soluções inteiras. Isto decorre do fato de que, se houver soluções inteiras, então divide e divide . E nem sempre isto é possível.
No artigo 005 mostrei que, se tem soluções, então é múltiplo do .
Já no artigo 019 provei que se admitir uma solução , então para todo , as outras soluções terão o formato
O par é chamado de solução inicial e pode ser achada pelo algoritmo de Euclides, um método essencialmente aritmético e, por vezes, trabalhoso ( ver artigos 017 e 019.)
Mas, ainda no post 019, expus alguns atalhos para a solução inicial . No entanto, dependem da sorte dos coeficientes , e . Seja, por exemplo, resolver . Logo de cara vemos que e é uma solução inicial. Assim, as outras soluções são e , com . Mas esta facilidade não temos para a equação que tem soluções inteiras porque e divide . Neste caso é empregado o algoritmo de Euclides... ou o método algébrico que sugiro no presente artigo e no qual explanarei a seguir.
Existe uma maneira de fatorar , mas da forma que se apresenta é impossível. É necessário uma fissão de variáveis. Conseguido a fatoração, podemos utilizar o método dos divisores complementares utilizado para resolver a equação , conforme visto no artigo anterior.
Seja a equação
Seja a equação
Dividindo ambos os membros pelo coeficiente ,
Somando ambos os membros por ,
Agora, fazendo e , com e , temos
E passamos para a conhecida fatoração do trinômio em do primeiro membro
ou
Aqui, podemos chamar . Então e são divisores inteiros complementares de . Chamando estes divisores de e , onde , temos e , de forma que
Exemplo. Achar uma solução inicial para a EDL .
Temos então , e , com
Os divisores inteiros de são
Pegando os dois primeiros complementares, temos
e , com
e
Logo, uma solução inicial para a equação é .
E as outras soluções são geradas por e , com .
muito bom!!!!
ResponderExcluirObrigado, professor Rubens Sucupira!
ExcluirOi, Teixeira! A equação-exemplo acho que é 3x+2y=7 (2y não 2x)
ResponderExcluir"Fazendo x=s+t e y=st com s e t inteiros" Posto que isso nem sempre é possível, não sei qual a consequência dessa transformação, penso que talvez ela vá esconder alguns pares de solução, mas como as soluções são infinitas e se busca só uma inicial talvez sempre haja "s" e "t" inteiros pelo menos para um par (x;y).
Parabéns pela coragem de mexer em algo tão clássico, e mediante um golpe genial ter obtido uma nova solução para algo "imexível". Abçs.
Oi, amigo Tavano!
ExcluirValeu a correção, passou-me em branco. Já fiz as alterações.
Sobre sua observação e como "s" e "t" são dados em forma fracionária, com denominador "b", de repente nem seja necessário que estas duas variáveis sejam inteiras, desde que x=s+t e y=st sejam inteiros. Mas ainda não cheguei a testar isso.
Obrigado mais uma vez e matemática é isso aí, sempre com caminhos ocultos e rica em possibilidades. Abçs.
Por que esta parte final 2 + 2.1?
ResponderExcluir