Conjecture abc

vignette|Joseph Oesterlé, mathématicien français vignette|David Masser, mathématicien anglais La conjecture abc ou conjecture d'Oesterlé-Masser est une conjecture en théorie des nombres. Elle a été formulée pour la première fois par Joseph Oesterlé (1988) et David Masser (1985). Elle est formulée en termes de trois nombres entiers positifs, a, b et c (d'où son nom), qui n'ont aucun facteur commun et satisfont à . Si d est le produit des facteurs premiers distincts de abc, alors la conjecture affirme à peu près que d ne peut pas être beaucoup plus petit que c. Plus précisément, le rapport peut prendre des valeurs très grandes mais le rapport est lui borné pour tout . Dorian Goldfeld l'a qualifié en 2006 de « problème non résolu le plus important en analyse diophantienne » car, si elle était vérifiée, la conjecture permettrait de démontrer aisément le théorème de Fermat-Wiles dans un sens asymptotique, entre autres. Des démonstrations diverses de cette conjecture ont été revendiquées, mais à ce jour aucune n'est acceptée par la communauté mathématique. Un problème classique en arithmétique est de trouver des triplets (a, b, c) de nombres entiers strictement positifs, premiers entre eux, avec a + b = c où les nombres sont des puissances de nombres entiers (voir le dernier théorème de Fermat). Par exemple : Tidjman et Zagier conjecturent que l'équation n'a aucune solution avec des exposants (p, q, r) tous supérieurs à 2 et x, y, z des entiers strictement positifs et premiers entre eux. Un autre problème arithmétique est d'écrire les entiers comme différence de deux puissances (d'exposants supérieurs à 1) de nombres entiers (voir la conjecture de Pillai, le théorème de Catalan et la conjecture de Fermat-Catalan). Par exemple : Plus généralement, on s'intéresse à des triplets (a, b, c) de nombres entiers non nuls (éventuellement négatifs), premiers entre eux, avec a + b = c, où les nombres ont des facteurs premiers petits par rapport aux trois nombres. Soit (a, b, c) un triplet de nombres entiers (non nuls) tel que c = a + b.