Ensemble de résultats effectifs fournissant des minorations explicites pour des formes linéaires non nulles en logarithmes de nombres algébriques ; ces bornes inférieures donnent des estimations calculables dépendant des hauteurs et servent à borner ou déterminer les solutions entières et exponentielles diophantiennes.

Principe

Les relations linéaires entre logarithmes de nombres algébriques ne peuvent pas être arbitrairement petites ; des minorations quantitatives, fonction des degrés et hauteurs, imposent des estimations explicites de non-annulation pour les formes linéaires en logarithmes, rendant effectifs de nombreux résultats de finitude auparavant inefficaces.

Démonstration

Application : pour des équations comme x^m−y^n=c ou pour borner les exposants dans des équations d'unités, les bornes de type Baker transforment des inégalités de style transcendance en bornes numériques explicites sur les entiers inconnus, permettant des recherches finies pour déterminer toutes les solutions dans de nombreux exemples.

Mauvaise application

Employer les bornes de Baker comme si elles donnaient toujours des constantes petites et précises adaptées au calcul manuel ; les bornes explicites sont souvent énormes et doivent être maniées avec prudence, et les considérer comme des estimations serrées peut induire en erreur.

Conséquence

Transforme des résultats qualitativement finis en algorithmes effectifs : on peut calculer des bornes explicites pour les inconnues dans de nombreux problèmes diophantiens, démontrer la finitude avec des bornes de recherche concrètes et combiner avec des techniques de réduction pour trouver toutes les solutions.

Inversion

Sans minorations effectives pour les logarithmes, beaucoup d'énoncés de finitude diophantienne resteraient inefficaces ; l'inverse illustre comment l'effectivité transforme « il existe un nombre fini » en « on peut les calculer ».

Limite

S'applique aux formes linéaires en logarithmes de nombres algébriques non nuls (avec choix de logarithmes complexes), et les bornes dépendent des hauteurs, degrés et du nombre de termes ; il ne supprime pas la difficulté informatique et donne parfois des bornes impraticablement grandes.

Tension sémantique

Tension entre les bornes explicites mais souvent énormes de Baker et le désir de constantes effectivement petites : Baker fournit l'effectivité de principe tandis que des raffinements et méthodes numériques cherchent à réduire les bornes à des tailles utilisables.

Synthèse

Le Théorème de Baker fournit des minorations explicites dépendant des hauteurs pour des combinaisons linéaires non nulles de logarithmes de nombres algébriques, convertissant de nombreux énoncés abstraits de finitude en bornes concrètes et calculables qui fondent des stratégies effectives de résolution.