Bonjour,
déja "avec a,b,c aussi des entiers naturels non nuls" n'est pas respectée..
bon, qu'à cela ne tienne :
32x + 41y - 109xy = 0 ou pour remettre ça dans l'ordre des puissances décroissantes :
109xy - 32x - 41 = 0
Sans se fouler, en rentrant ça dans le Alpertron avec la case "step by step" cochée on obtient essentiellement la méthode de résolution :
Multiplying by 109 we obtain:
11881 xy - 3488 x - 4469 y = 0
Adding 1312 to both sides of the equal sign:
11881 xy - 3488 x - 4469 y + 1312 = 1312
Now the left side can be factored as follows:
( 109 x - 41) ( 109 y - 32) = 1312
Then 109 x - 41 must be a factor of 1312, so we must find the factors of 1312:
etc ..
et à la fin le résultat :
la seule solution est x = 0, y = 0
bien entendu en rentrant ça dans n'importe quel logiciel de calcul formel on a le même résultat, mais sans la méthode expliquée pas à pas
la méthode peut être généralisée aux équations de la forme axy + bx + cy = d
en multipliant par a et en factorisant
(ax + c)(ay + b) = d - bc
et donc le problème se ramène à chercher les diviseurs de d - bc
et pour chacun de ses diviseurs q, q' avec qq' = d - bc,
à tester si ax + c = q et ay+ b = q' ont des solutions en nombre entier
c'est à dire si a divise q - c et q' - b
le lien "Methods" de l'Alpertron est une mine de renseignements pour toutes les équations"quadratiques" c'est à dire de la forme
ax² + bxy + cy² + dx + ey + f = 0