Sur les nombres constructibles la rgle et au compas

Antoine Chambert-Loir
Universit de Rennes 1, IRMAR (UMR 6625 du CNRS), Campus de Beaulieu, 35042 Rennes Cedex Courriel : antoine.chambert-loir@univ-rennes1.fr Rsum. Le but de cette note est de montrer que le critre classique pour quun nombre complexe soit constructible la rgle et au compas peut tre tabli sans faire usage de la thorie de Galois.

Dans toute cette note, nous identions le corps C des nombres complexes au plan rel R2 . Si a, b C sont des nombres complexes, on dsigne par (ab) la droite passant par a et b et par C (a, b) le cercle de centre a qui passe par b. Soit S une partie de C contenant 0 et 1. On dit quun nombre complexe z est lmentairement constructible (sous-entendu : la rgle et au compas) partir de S sil existe des points a, b, a , b dans S tels quune des assertions suivantes soit vrie : les droites (ab) et (a b ) ne sont pas parallles et se croisent en z ; le cercle C (a, b) et la droite (a b ) se rencontrent en z ; les cercles C (a, b) et C (a , b ) se rencontrent en z. On dit quun nombre complexe z est constructible (sous-entendu : la rgle et au compas) partir de S sil existe des points z 1 , . . . , z n = z tels que, pour tout entier i tel que 1 i n, z i soit lmentairement constructible partir de S {z 1 , . . . , z i 1 }. Enn, on dit quun nombre complexe z est constructible sil lest partir de {0, 1}. La construction classique dune droite parallle une droite donne et passant par un point donn, jointe au thorme de Thals, implique facilement que si z, z sont des nombres complexes constructibles ( partir dune partie S, parfois sous-entendue dans la suite), il en est de mme de z + z , z z , zz et, si z = 0, z/z . De mme, en traant les droites passant par un point et perpendiculaires aux axes de coordonnes, on voit quun nombre complexe est constructible si et seulement sil en est de mme de sa partie relle et de sa partie imaginaire. La valeur absolue dun nombre constructible est constructible. Soit z un nombre rel positif qui est constructible et traons trois points B , H , C sur une droite, dans cet ordre, aux distances B H = 1 et HC = z. La perpendiculaire (BC ) passant par H et le cercle de diamtre BC se croisent en deux points, disons A et A . Alors, AH = z, ce qui dmontre que la racine carre dun nombre rel positif constructible est elle-mme constructible. En rsolvant les quations pour la partie relle et la partie relle des racines carres dun nombre complexe, on constate que les racines carres dun nombre complexe constructible sont encore constructibles. En crivant les quations qui dnissent les intersections droitedroite, droite cercle et cerclecercle, on constate que si un nombre complexe z est lmentairement constructible partir dune partie S, il satisfait une quation polynomiale de degr 2 dont les coefcients appartiennent au sous-corps de C engendr par S. Inversement,

ANTOINE CHAMBERT-LOIR

les solutions dune telle quation sexpriment laide dune racine carre. Renvoyant aux textes standard dalgbre de base ou de thorie des corps pour plus de dtails, les considrations prcdentes impliquent le thorme suivant. Thorme 1. Un nombre complexe z est constructible si et seulement sil existe des sous-corps Q = F 0 , . . . , F n de C tels que z F n et tels que pour tout i {1, . . . , n}, F i soit une extension quadratique de F i 1 . Remarque 1.1. Soit S une partie de C contenant {0, 1}. Lensemble des nombres complexes qui sont constructibles partir de S est le plus petit sous-corps de C contenant S qui soit stable par extraction de racine carre. Les corollaires suivants font rfrence aux dnitions de base en thorie des corps, dont celle dune extension nie, ainsi qu la multiplicativit des degrs. Pour tout cela, nous renvoyons aux textes dalgbre de base. Rappelons tout de mme que, par dnition, un nombre algbrique est un nombre complexe z qui est racine dun polynme unitaire coefcients rationnels. Il existe alors un tel polynme M z , et un seul, dont le degr est minimal ; cest le polynme minimal de z et son degr est appel le degr de z ; les racines complexes de M z sont appeles les conjugus de z. Corollaire 1.2. Si un nombre complexe z est constructible, cest un nombre algbrique et son degr est une puissance de 2. Dmonstration. Avec les notations du thorme 1, F n est une extension nie de Q de degr 2n , en particulier une extension algbrique. Puisque z F n , cest un nombre algbrique. De plus, Q(z) est une sous-extension de F n dont le degr est prcisment celui de z. Par multiplicativit des degrs, le degr de z divise 2n , donc est une puissance de 2. Corollaire 1.3. Si un nombre complexe z est constructible, il en est de mme de ses conjugus. Dmonstration. Soit z un conjugu de z dans C. Il existe un unique homomorphisme de corps f 0 : Q(z) C tel que f 0 (z) = z . On peut ltendre par rcurrence en un homomorphisme de corps f n : F n C. En considrant la suite de corps ( f n (F i )), on voit que z est constructible. Corollaire 1.4. Si un nombre complexe z est constructible, le corps engendr par ses conjugus est une extension nie de Q dont le degr est une puissance de 2. Dmonstration. Soit z une nombre complexe constructible, de conjugus z 1 , . . . , z d , o d est le degr de z. Il suft de dmontrer que chaque extension Q(z 1 , . . . , z i 1 ) Q(z 1 , . . . , z i ) est de degr une puissance de 2, le degr de lextension Q Q(z 1 , . . . , z d ) tant le produit des degrs de ces extensions intermdiaires. Comme chaque z i est constructible, il suft de dmontrer alors que pour tout sous-corps K de C et tout nombre complexe constructible z, lextension K K (z) est nie de degr une puissance de 2.

SUR LES NOMBRES CONSTRUCTIBLES LA RGLE ET AU COMPAS

Comme dans le thorme 1, choisissons une suite dextensions quadratiques Q = F 0 F 1 F n telle que z F n et considrons la suite dextensions composes K = K F 0 K F 1 K F n . Pour tout i {1, . . . , n}, il existe un lment a i F i , de degr 2 sur F i 1 tel que F i = F i 1 (a i ). Par suite, K F i = K F i 1 (a i ). Comme le polynme minimal de a i sur K F i 1 divise celui de a i sur F i 1 , il est de degr 1 ou 2 ; autrement dit, lextension K F i 1 K F i est de degr 1 ou 2. Par multiplicativit des degrs, le degr de lextension K K F n est une puissance de 2. Comme z K F n , il en est de mme du degr de la sous-extension K K (z), ce qui conclut la dmonstration du corollaire. Ce dernier corollaire permet de dmontrer que la rciproque du corollaire 1.2 nest pas vraie. Il y a des polynmes P Q[X ] de degr 4, irrductibles sur Q, dont la rsolvante cubique Q est encore irrductible sur Q ; on peut prendre par exemple P = X 4 X 1. Le corps F P engendr par les racines complexes de P contient les racines de Q, qui sont toutes de degr 3. Par consquent, le degr de F P est un multiple de 3, donc nest pas une puissance de 2. Cependant, il est bien connu que la rciproque du corollaire 1.4 est vraie, donc fournit une condition ncessaire et sufsante pour quun nombre complexe soit constructible. Thorme 2. Un nombre complexe est constructible si et seulement si cest un nombre algbrique et que le corps engendr par ses conjugus est une extension nie de Q de degr une puissance de 2. La dmonstration de ce thorme est souvent faite au moyen de thorie de Galois. La dmonstration qui suit gure en exercice dans [1, 2] et est plus lmentaire ; elle sinspire dune preuve classique du thorme de dAlembert-Gau, voir par exemple [3] et constitue la seule partie peut-tre originale de cette note. Dmonstration. Soit z un nombre algbrique, de degr d , de conjugus z 1 , . . . , z d . Supposons que le degr du corps F = Q(z 1 , . . . , z d ) soit une puissance de 2. Puisque ce corps contient Q(z 1 ), dont le degr est d , cela entrane dj que d est une puissance de 2. Raisonnons maintenant par rcurrence sur d . Soit c Q. Soit P lensemble des paires {i , j } dentiers distincts satisfaisant 1 i , j d . Pour toute telle paire p = {i , j }, posons z p,c = z i + z j + c z i z j et soit Q c le polynme pP (X z p,c ). On le considre comme un polynme en X dont les coefcients sont des polynmes en z 1 , . . . , z d . Toute permutation des z i induit une permutation de lensemble des paires P et laisse donc le polynme Q c inchang. Par consquent, les coefcients de Q c sont des polynmes symtriques en z 1 , . . . , z d ( coefcients dans Q). Daprs le thorme fondamental sur les fonctions symtriques,(1) ce sont des fonctions polynomiales coefcients rationnels en les coefcients du polynme minimal de z 1 , donc des nombres rationnels. Autrement dit, Q c Q[X ].
(1)

Pour tre prcis, il faudrait dabord raisonner en remplaant les z i par des indtermines Zi , dnis sant ainsi un polynme Q c dont les coefcients sont des lments de Q[Z1 , . . . , Zd ], appliquer le tho rme fondamental sur les polynmes symtriques Q c et valuer enn en (z 1 , . . . , z d ).

ANTOINE CHAMBERT-LOIR

Toute racine de Q c engendre une extension de Q contenue dans F ; son degr est donc une puissance de 2. Ainsi, les degrs d 1 , . . . , d e , des facteurs irrductibles 1 Q c,1 , . . . ,Q c,e de Q c sont des puissances de 2, disons d i = 2ai . On a d 1 + +d e = 2 d (d 1). a Notons aussi d = 2 ; lexposant de 2 au membre de droite de la relation prcdente est gal a 1 ; au membre de gauche, il est au moins gal min(a 1 , . . . , a e ). Cela entrane quau moins lun de a 1 , . . . , a e , disons a s , est infrieur ou gal a 1. En dautre mots, d s divise d /2. Les racines de Q c,s sont de la forme z i , j ,c ; leur degr est une puissance de 2 qui divise d /2 < d . Elles engendrent un sous-corps de F , sous-corps dont le degr est donc aussi une puissance de 2. Par lhypothse de rcurrence, les racines de Q c,s sont constructibles. Cela dmontre quil existe une paire p P telle que z p,c soit constructible. Jusqu prsent, le nombre rationnel c tait x, mais ce qui prcde vaut pour tout c. Puisque le corps des nombres rationnels est inni, mais que lensemble P est ni, il existe deux nombres rationnels distincts c et c , et une paire p = {i , j } comme ci-dessus, tels que z p,c = z i + z j + c z i z j et z p,c = z i + z j + c z i z j soient tous deux constructibles. Puisque les nombres constructibles forment un corps, il sensuit que z i + z j et z i z j sont constructibles. Alors z i et z j , tant les racines du polynme quadratique (X z i )(X z j ) coefcients constructibles, sont aussi des nombres constructibles (cf. les commentaires qui prcdent lnonc du thorme 1). Puisque z 1 , . . . , z d sont conjugus de z i , le corollaire 1.3 entrane quils sont tous constructibles, ce quil fallait dmontrer. Rfrences
[1] Antoine Chambert-Loir. Algbre corporelle. ditions de lcole polytechnique, 2005. [2] Antoine Chambert-Loir. A Field guide to Algebra. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 2005. [3] Pierre Samuel. Thorie algbrique des nombres. Mthodes. Hermann, 1971.