## [Formes Linéaires en Logarithmes](/fr/node/62059) Définition Un ensemble de techniques, souvent nommé méthode de Baker, qui produisent des minorations explicites pour des combinaisons linéaires non nulles de logarithmes de nombres algébriques, utilisées pour borner des solutions entières ou S-unités d'équations diophantiennes. ## Principe Principe Combiner la théorie de la transcendance, des mesures d'indépendance linéaire sur les nombres algébriques et des estimations effectives pour les formes logarithmiques afin de convertir une combinaison supposément petite en une contradiction en fournissant une minoration explicite non triviale. ## Démonstration Démonstration Pour des α_i algébriques et des entiers b_i, on montre que Λ=b_1 log α_1+...+b_k log α_k soit s'annule pour des relations algébriques, soit satisfait |Λ|>exp(-C log B) avec C explicite dépendant des hauteurs ; de telles bornes donnent la finitude effective pour des équations d'unités et des problèmes exponentiels diophantiens. ## Mauvaise application Mauvaise application Appliquer des minorations grossières sans suivre les hauteurs ou la dépendance aux paramètres, ou utiliser les bornes des formes linéaires au-delà de leur domaine effectif, conduisant à des énoncés numériquement inutiles ou à ignorer des relations algébriques exceptionnelles qui forcent l'annulation exacte. ## Conséquence Conséquence Fournit des bornes explicites et souvent effectives sur exposants et coefficients dans des équations diophantiennes exponentielles, permettant la résolution complète de nombreuses familles d'équations de Thue, d'unités S et de type Catalan et la réduction à un calcul fini. ## Inversion Inversion La réversion traiterait l'annulation approchée des formes linéaires logarithmiques comme générique et inférerait de nombreuses quasi-relations ; cela méconnaît les résultats de transcendance car une petite taille au-delà des bornes explicites signale une relation algébrique exacte, non une approximation générale. ## Limite Limite Concerne les logarithmes de nombres algébriques non nuls et exige un contrôle précis des hauteurs, degrés et branches de logarithme choisies ; ne traite pas directement des preuves de transcendance pour des fonctions analytiques plus générales ou des arguments non algébriques sans adaptation. ## Tension sémantique Tension sémantique S'articule avec les formes linéaires p-adiques en logarithmes et les méthodes modulaires/transcendantes ; la tension apparaît lors du choix entre bornes complexes analytiques et p-adiques et entre constantes explicites effectives et énoncés asymptotiques de transcendance. ## Synthèse Synthèse Les Formes Linéaires En Logarithmes sont des outils effectifs de transcendance et diophantiens : produire des minorations explicites pour des combinaisons linéaires non nulles de logarithmes algébriques, contrôler hauteurs et degrés, et convertir des hypothèses de petitesse en finitude effective ou en contradictions pour des équations arithmétiques.