Galois n’a pas directement travaillé sur la règle et le compas, mais il a apporté le langage général qui permet d’interpréter les travaux ultérieurs avec une cohérence conceptuelle unique. Son idée — relier la nature d’une équation au comportement de ses solutions — donne le critère abstrait qui explique pourquoi certaines constructions géométriques sont possibles ou non. Grâce à lui, on comprend que Wantzel ne fait pas seulement des démonstrations isolées, mais qu’il manipule en fait des cas particuliers d’une même structure. Gauss, déjà avant lui, avait perçu certains cas positifs (polygones réguliers constructibles), mais Galois donne le cadre systématique qui relie ces résultats entre eux. Lindemann enfin, en montrant la transcendance de $\pi$, achève une dernière pièce du puzzle que Galois permet de situer logiquement dans le même paysage.
Évariste Galois et la constructibilité règle-compas
De la géométrie antique aux groupes de Galois : la clef du “constructible”
Évariste Galois et la constructibilité règle-compas
De la géométrie antique aux groupes de Galois : la clef du “constructible”
Résumé
La théorie de Galois caractérise algébriquement la résolubilité par radicaux.
La géométrie grecque, réinterprétée après Descartes, se modélise comme une suite d’extensions quadratiques.
Ainsi, la théorie de Galois donne le cadre conceptuel qui explique l’impossibilité de plusieurs constructions géométriques.
1) règle–compas = extensions quadratiques
Depuis Descartes, un point constructible appartient à une tour : \[ \mathbb{Q} \subset K_{1} \subset K_{2} \subset \cdots \subset K_{n}, \qquad [K_{i} : K_{i-1}] = 2 \] Donc tout nombre constructible est dans une extension de $\mathbb{Q}$ de degré $2^{n}$.
2) apport de Galois
Idée centrale :
-
lien entre degré du corps
-
structure du groupe de Galois
-
résolubilité par radicaux
Si le polynôme minimal d’un nombre $\alpha$ a un groupe de Galois d’ordre non puissance de $2$
→ alors $\alpha$ n’est pas constructible règle-compas.
3) conséquences directes sur les « trois impossibilités »
\[
\begin{array}{|l|c|l|}
\hline
\textbf{problème} & \textbf{élément clef} & \textbf{raison via Galois} \\
\hline
\text{duplication du cube} & \sqrt[3]{2} & \text{degré }3 \Rightarrow \text{ordre }3 \Rightarrow \text{pas puissance de }2 \\
\hline
\text{trisection générale} & \cos(\theta/3) & \text{cubique irréductible typique } \Rightarrow \text{ordre }3 \\
\hline
\text{quadrature du cercle} & \pi & \pi \text{ transcendant} \Rightarrow \text{non constructible} \\
\hline
\end{array}
\]
4) polygones réguliers : le côté positif (Gauss–Wantzel)
Construire un $n$-gone régulier revient à adjoindre $\zeta_n$.
Le degré cyclotomique :
\[ [\,\mathbb{Q}(\zeta_{n}) : \mathbb{Q}\,] = \varphi(n) \]
critère moderne :
\[ n \ \text{constructible} \;\Longleftrightarrow\; n = 2^{k}\cdot \prod F_{i} \]
(les $F_i$ = nombres de Fermat distincts).
Conclusion
Galois n’a pas « étudié la règle et le compas » directement.
Il donne le principe unificateur suivant :
\[
\text{constructible} \;\Longleftrightarrow\; [\,\mathbb{Q}(\alpha):\mathbb{Q}\,] = 2^{\,n}
\]
Cette unique phrase explique toutes les impossibilités grecques.