Séries hyper-Catalanes et résolution géométrique des équations polynomiales

Table des matières

---

Objectif et portée de l’article

L’article de N. J. Wildberger et Dean Rubine propose une approche nouvelle pour résoudre les équations polynomiales univariées, non pas par des formules en radicaux, mais à l’aide de séries formelles combinatoires. Cette méthode repose sur des objets appelés subdigones et généralise l’approche classique des nombres de Catalan en introduisant des nombres hyper-Catalans qui comptent les subdivisions polygonales plus complexes. La méthode conduit à une solution formelle universelle de toute équation polynomiale, en mettant en lumière une structure profonde nommée le Géode.

Fondements théoriques

Partant de l’observation que la série génératrice des nombres de Catalan est solution d’une équation quadratique simple,

$1 - \alpha + t \alpha^2 = 0,$

les auteurs généralisent cette idée en construisant une multisérie $\alpha = S[t_2, t_3, t_4, \dots]$ qui satisfait :

$1 - \alpha + t_2 \alpha^2 + t_3 \alpha^3 + t_4 \alpha^4 + \dots = 0.$

Cette série est définie par :

$$ S[t_2, t_3, \dots] = \sum_{\vec{m} \in \mathbb{N}^{\infty}} C_{\vec{m}} t_2^{m_2} t_3^{m_3} t_4^{m_4} \cdots $$

où $C_{\vec{m}}$ est le nombre hyper-Catalan de type $\vec{m} = [m_2, m_3, \dots]$, c’est-à-dire le nombre de sous-polygones planaires (subdigones) possédant $m_k$ faces de $k+1$ côtés.

La formule générale explicite est donnée par :

$$ C_{\vec{m}} = \frac{(2m_2 + 3m_3 + 4m_4 + \cdots)!}{(1 + m_2 + 2m_3 + 3m_4 + \cdots)! \cdot m_2! m_3! m_4! \cdots} $$

Résolution des équations polynomiales

On considère une équation polynomiale générale :

$0 = c_0 - c_1 x + c_2 x^2 + c_3 x^3 + \dots.$

La substitution $x = \frac{c_0}{c_1} \alpha$ transforme cette équation en :

$1 - \alpha + t_2 \alpha^2 + t_3 \alpha^3 + \dots = 0,$

où $t_k = \frac{c_0^{k-1} c_k}{c_1^k}$.

On obtient alors une solution formelle :

$$ x = \frac{c_0}{c_1} S\left[ \frac{c_0 c_2}{c_1^2}, \frac{c_0^2 c_3}{c_1^3}, \frac{c_0^3 c_4}{c_1^4}, \dots \right]. $$

Cette série permet d’approcher numériquement les racines des équations polynomiales, y compris pour le cas quintique.

La structure du Géode

Une propriété remarquable mise en évidence dans l’article est une factorisation de la série $S$ :

$$ S = 1 + S_1 G, $$

où $S_1 = t_2 + t_3 + t_4 + \dots$, et $G$ est une série appelée le Géode, dont les coefficients codent une structure encore plus profonde que celle des nombres hyper-Catalans. Cette factorisation suggère une organisation cachée des subdivisions polygonales.

Implications et perspectives

1. Cette méthode ouvre une voie combinatoire et géométrique à la résolution des équations polynomiales, contournant la dépendance aux radicaux.
2. Elle propose une unification des objets classiques de la combinatoire (Catalan, Fuss, etc.) sous une même structure série.
3. Le Géode représente une nouvelle classe d’objets algébriques à explorer, potentiellement reliés à des structures d’arbres partiellement ordonnés.

Limites

• La méthode donne une solution formelle et non fermée : sa convergence numérique doit être testée au cas par cas.
• Elle est inopérante lorsque le coefficient $c_1 = 0$ : il faut un changement de variable préalable.

Informations sur l’article original

Titre original: A Hyper-Catalan Series Solution to Polynomial Equations, and the Geode Auteurs: N. J. Wildberger, Dean Rubine Revue: The American Mathematical Monthly, 132(5), 383–402 DOI: 10.1080/00029890.2025.2460966 Publié en ligne: 8 avril 2025