5. Équations diophantiennes exponentielles
On appelle ainsi les équations du type :

Comme équations classiques de ce type, résolubles par des factorisations en nombres entiers, citons :


Pour établir une conjecture de Ramanujan l'équation :

Les résultats d'A. Baker sur les formes linéaires de logarithmes ont permis de réaliser d'importants progrès (cf. nombres transcendants). Il s'agit en fait de méthodes d'approximation.
Ainsi, pour f (x) un polynôme à coefficients entiers avec au moins deux zéros, on sait (A. Schinzel, R. Tijdeman, 1976) qu'il n'y a qu'un nombre fini d'entiers m pour lesquels l'équation :

… pour nos abonnés, l'article se prolonge sur 9 pages…



