Catalan Eugène

Imaginez deux entiers positifs strictement supérieurs à 1 qui se suivent, comme 8 et 9. Le premier est une puissance stricte, car 8 = 2³, et le second aussi, car 9 = 3². La conjecture de Catalan affirme que cette rencontre ne se produit qu'une seule fois lorsque les exposants sont eux aussi des entiers strictement supérieurs à 1. Elle porte le nom d'Eugène Catalan, mathématicien belge du XIX^e siècle, dont les travaux concernent aussi une famille de polyèdres.

En géométrie, les polyèdres de Catalan se reconnaissent autrement : chacun est le dual d'un solide d'Archimède. Par exemple, le dodécaèdre rhombique est dual du cuboctaèdre. Pour les comparer, on observe que les 12 faces du dodécaèdre rhombique correspondent aux 12 sommets du cuboctaèdre, tandis que les 14 sommets du premier correspondent aux 14 faces du second : la dualité échange bien les faces et les sommets.

Eugène Catalan est associé à deux objets mathématiques de nature différente. En arithmétique, la conjecture de Catalan porte sur deux entiers positifs strictement supérieurs à 1, consécutifs, qui seraient chacun une puissance entière stricte. Dans cet énoncé, une puissance stricte est une puissance x^m dont la base x est un entier positif strictement supérieur à 1 et dont l'exposant m est un entier strictement supérieur à 1. La conclusion est que l'unique paire d'entiers consécutifs concernée est 8 et 9, puisque 8 = 2³ et 9 = 3².

Cette conjecture a été démontrée en 2002 par Preda Mihailescu. Elle ne décrit donc plus une question ouverte, même si son nom historique de conjecture demeure. En géométrie, les polyèdres de Catalan sont les duaux des solides d'Archimède. Le mot « dual » indique ici une correspondance structurelle : les faces d'un polyèdre correspondent aux sommets de l'autre, et réciproquement.

On examine la paire d'entiers consécutifs proposée par l'énoncé. Les données sont les suivantes : le premier entier vaut 8, le second vaut 9, et leur écart vaut 1.

On cherche une écriture de puissance stricte pour 8 : 8 = 2³. On cherche ensuite une telle écriture pour 9 : 9 = 3². Enfin, on vérifie la consécutivité : 8 + 1 = 9.

La paire satisfait donc les trois observations : ses deux termes sont des puissances strictes et ils sont consécutifs. Cet exemple montre le cas annoncé par Catalan ; il ne constitue pas à lui seul la démonstration de l'unicité.

Le contrôle final est direct : 2³ = 2 × 2 × 2 = 8 et 3² = 3 × 3 = 9, tandis que 9 − 8 = 1.

Pour lire l'énoncé arithmétique, on commence par repérer deux entiers consécutifs, puis on teste si chacun possède une écriture en puissance stricte. L'écriture développée, comme 2 × 2 × 2 pour 8, permet de vérifier le calcul sans outil particulier.

Pour situer Catalan dans l'histoire des mathématiques, on distingue ses travaux en arithmétique de son étude des polyèdres. La source la plus utile dépend du besoin : la conjecture convient à une question sur les puissances, tandis que les solides d'Archimède servent de point de départ pour la dualité géométrique.

Pour observer la dualité géométrique, on compare les rôles des faces et des sommets d'un polyèdre de Catalan avec ceux du solide d'Archimède correspondant. Le critère observable est cet échange, et non la simple ressemblance de leurs silhouettes.

La conjecture de Catalan ne se confond pas avec sa démonstration. Une conjecture est une proposition mathématique que l'on conjecture vraie, sans qu'elle soit encore démontrée ; après la preuve publiée en 2002 par Preda Mihăilescu, le résultat est établi, même si l'appellation historique reste employée.

Les polyèdres de Catalan ne sont pas les solides d'Archimède eux-mêmes. Le critère qui les sépare est la dualité : le polyèdre de Catalan correspond au solide d'Archimède dual, avec échange des faces et des sommets.

Le mot « puissance » ne suffit pas à lui seul pour appliquer l'énoncé. Les bases doivent être des entiers positifs strictement supérieurs à 1 et les exposants des entiers strictement supérieurs à 1 : une écriture comme 8 = 8¹ serait toujours possible, mais elle ne relève pas de la puissance stricte visée. Il faut donc vérifier toutes les conditions de l'énoncé avant de conclure.

La paire 8 et 9 est un cas charnière, car l'écart entre ses termes vaut exactement 1 et chacun possède une écriture stricte : 2³ et 3². Une paire de nombres qui ne respecte pas l'un de ces deux critères ne fournit pas un contre-exemple à la conclusion.

Enfin, la dualité des polyèdres ne signifie pas que les deux objets ont la même organisation locale ni qu'elle repose nécessairement sur des points opposés aux faces. Elle décrit une correspondance entre faces et sommets ; pour parler correctement d'un polyèdre de Catalan, il faut conserver cette relation avec un solide d'Archimède.

La fiche consacrée à la conjecture de Catalan permet d'approfondir la question arithmétique : le lecteur y gagne une présentation centrée sur l'énoncé des puissances et sur le statut démontré du résultat.

Un prolongement naturel consiste à comparer les deux domaines associés au nom de Catalan : l'arithmétique des puissances et la géométrie des polyèdres duaux. Cette comparaison montre qu'un même nom peut désigner des contributions distinctes, à relier par l'histoire du mathématicien plutôt que par une propriété commune.