Équation diophantienne ax + by = c

Carte Commune · n° 364666

L'équation ax + by = c, où les coefficients a, b et c sont trois entiers relatifs (a et b non tous deux nuls) et où les inconnues x et y sont des entiers relatifs, est une des équations diophantiennes les plus simples à résoudre. Sa résolution s'appuie sur l'algorithme d'Euclide, le théorème de Bachet-Bézout (qui correspond au cas, appelé aussi identité de Bézout, où c est égal au PGCD de a et b) et le théorème de Gauss. Dans l'ensemble des entiers relatifs, une telle équation possède, ou bien aucune solution, ou bien une infinité de solutions. Lorsque les coefficients et les inconnues sont des entiers naturels, l'équation possède un nombre fini de solutions. Le théorème de Paoli en donne le nombre à 1 près.

Lire sur Wikipédia