« Théorème de Wantzel » : différence entre les versions
Contenu supprimé Contenu ajouté
→IV : paragraphe 1 |
: paragraphe 2 |
||
Ligne 55 :
=== ===
Il résulte immédiatement du théorème précédent que tout problème qui conduit à une équation irréductible dont le degré n'est pas une puissance de 2, ne peut être résolu avec la ligne droite et le cercle. Ainsi la duplication du cube, qui dépend de l'équation <math>x^3-2a^3=0</math> toujours irréductible, ne peut être obtenue par la Géométrie élémentaire. Le problème des deux moyennes proportionnelles, qui conduit à l'équation <math>x^3-a^2b=0</math> est dans le même cas toutes les fois que le rapport de ''b'' à ''a'' n'est pas un cube. La trisection de l'angle dépend de l'équation <math>x^3-\frac{3}{4}x + \frac{1}{4}a=0</math> ; cette équation est irréductible si elle n'a pas de racine qui soit une fonction rationnelle de ''a'' et c'est ce qui arrive tant que ''a'' reste algébrique; ainsi le problème ne peut être résolu en général avec la règle et le compas. Il nous semble qu'il n'avait pas encore été démontré rigoureusement que ces problèmes si célèbres chez les anciens, ne fussent pas susceptibles d'une solution par les constructions géométriques auxquelles ils s'attachaient particulièrement.
=== ===
La division de la circonférence en parties égales peut toujours se ramener à la résolution de l'équation <math>x^m -1=0\,</math>, dans laquelle ''m'' est un nombre premier ou une puissance d'un nombre premier. Lorsque ''m'' est premier, l'équation <math>\frac{x^m -1}{x-1}=0</math> du degré ''m - 1'' est irréductible, comme M. Gauss l'a fait voir dans ses ''Disquisitiones arithmeticae'', section VII ; ainsi la division ne peut être effectuée par des constructions géométriques que si <math>m-1=2^{\alpha}</math>. Quand ''m'' est de la forme <math>a^{\alpha}</math>, on peut prouver, en modifiant légèrement la démonstration de M. Gauss que l'équation de degré <math>(a-1)a^{\alpha - 1}</math>, obtenue en égalant à zéro le quotient de <math> x^{a^{\alpha}} - 1</math> par <math> x^{a^{\alpha - 1}} - 1</math>, est irréductible ; il faudrait donc que <math>(a-1)a^{\alpha - 1}</math> fût de la forme <math>2^n</math> en même temps que ''a - 1'', ce qui est impossible à moins que ''a = 2''. Ainsi, ''la division de la circonférence en N parties ne peut être effectuée avec la règle et le compas que si les facteurs premiers de N différents de 2 sont de la forme <math>2^n+1</math> et s'ils entrent seulement à la première puissance dans ce nombre''. Ce principe est annoncé par M. Gauss à la fin de son ouvrage, mais il n'en a pas donné la démonstration.
=== ===
| |||