You are on page 1of 23

Exo7

La rgle et le compas
Vido
Vido
Vido
Vido
Vido

partie 1. Constructions
partie 2. Nombres constructibles
partie 3. lments de thorie des corps
partie 4. Corps et nombres constructibles
partie 5. Applications aux problmes grecs

Vous avez votre disposition une rgle et un compas et bien sr du papier et un crayon ! Avec si
peu de matriel souvre vous un monde merveilleux rempli de gomtrie et dalgbre.

1. Constructions et les trois problmes grecs


Nous allons voir dans cette premire partie que tout un tas de constructions sont possibles. Mais
le but de ce cours est de rpondre trois problmes qui datent des mathmaticiens grecs : la
trisection des angles, la duplication du cube ainsi que le clbre problme de la quadrature du
cercle.

1.1. Premires constructions gomtriques


Nous avons notre disposition un compas et une rgle (non gradue). On dmarre par des constructions lmentaires.
Si A, B sont deux points donns du plan, alors on peut construire, la rgle et au compas,
le symtrique de B par rapport A. Pour cela, il suffit juste de tracer la droite (AB) et le
cercle de centre A passant par B. Cette droite et ce cercle se coupent en B bien sr et aussi
en B0 = s A (B), le symtrique de B par rapport A.
C
B

I
A

B0

Si A, B sont deux points donns du plan, alors on peut construire la mdiatrice de [AB].
Pour cela, tracer le cercle centr en A passant par B et aussi le cercle centr en B passant
par A. Ces deux cercles sintersectent en deux points C, D. Les points C, D appartiennent
la mdiatrice de [AB]. Avec la rgle on trace la droite (CD) qui est la mdiatrice de [AB].
En particulier cela permet de construire le milieu I du segment [AB]. En effet, cest lintersection de la droite (AB) et de la mdiatrice (CD) que lon vient de construire.

2
Si A, B, C sont trois points donns alors on peut construire la parallle la droite (AB)
passant par C. Tout dabord construire le milieu I de [AC]. Puis construire D le symtrique
de B par rapport I. La figure ABCD est un paralllogramme, donc la droite (CD) est
bien la parallle la droite (AB) passant par C.
D
C
C

I
A
A

Pour construire la perpendiculaire (AB) passant par un point C, on construit dabord


deux points de la mdiatrice de [AB], puis la parallle cette mdiatrice passant par C.

1.2. Rgles du jeu


Il est peut-tre temps dexpliquer ce que lon est autoris faire. Voici les rgles du jeu : partez
de points sur une feuille. Vous pouvez maintenant tracer dautres points, partir de cercles et de
droites en respectant les conditions suivantes :
vous pouvez tracer une droite entre deux points dj construits,
vous pouvez tracer un cercle dont le centre est un point construit et qui passe par un autre
point construit,
vous pouvez utiliser les points obtenus comme intersections de deux droites traces, ou bien
intersections dune droite et dun cercle trac, ou bien intersections de deux cercles tracs.

Une remarque importante : la rgle est une rgle simple, qui nest pas gradue.

3
Convention pour les couleurs : les points donns lavance sont les points bleus. Les constructions se font en rouge (rouge ple pour les constructions qui viennent en premier, rouge vif
pour les constructions qui viennent en dernier).

1.3. Conserver lcartement du compas


On peut conserver lcartement du compas. Cest une proprit importante qui simplifie
les constructions.
Si lon a plac des points A, B, A 0 alors on peut placer la pointe en A avec un cartement de
longueur AB. Cest--dire que lon peut mesurer le segment [AB], puis soulever le compas
en gardant lcartement pour tracer le cercle centr en A 0 et dcartement AB.
Cette opration se justifie de la faon suivante : on pourrait construire le point B0 tel que
A 0 ABB0 soit un paralllogramme et ensuite tracer le cercle centr en A 0 passant par B0 .
B0

A0

En conservant lcartement du compas, nous pouvons plus facilement construire les paralllogrammes, avec seulement deux traits de compas. Donnons-nous trois points A, B, C. On
mesure lcartement [AB], on trace le cercle centr en C de rayon AB. Puis on mesure lcartement [BC] et on trace le cercle centr en A de rayon BC. Ces deux cercles se recoupent en
deux points, dont lun est D, tel que ABCD est un paralllogramme.

C
A

1.4. Thals et Pythagore


Voyons comment le thorme de Thals nous permet de diviser un segment en n morceaux.
Fixons n un entier. Voici les tapes pour diviser un segment [AB] en n parts gales.
1. Tracer une droite D quelconque, passant par A, autre que la droite (AB).
2. Prendre un cartement quelconque du compas. Sur la droite D et en partant de A, tracer n
segments de mme longueur. On obtient des points A 1 , A 2 , . . . , A n .
3. Tracer la droite (A n B). Tracer les parallles cette droite passant par A i . Ces droites recoupent le segment [AB] en des points B1 , B2 , . . . , B n1 qui dcoupent lintervalle [AB] en n

4
segments gaux.
Cette construction fonctionne grce au thorme de Thals.
A5
A4
A3
A2
A1
B

A1
B

A
A5

A5
A4

A4
A3

A3
A2

A2
A1

A1
A

B1 B2 B3 B4

Voyons maintenant comment le thorme de Pythagore va nous permettre de faire apparatre des
racines carres. Supposons que lon parte dun segment de longueur 1. Il est facile de construire
p
un segment de longueur 2 : cest la longueur de la diagonale du carr de ct 1. Repartons du
p
segment diagonal de longueur 2 : on construit un triangle rectangle avec un ct de longueur
p
1, et lhypotnuse a alors pour longueur 3 (voir le calcul plus bas). Repartant de ce segment, on
p p
construit un escargot avec des segments de longueurs 4, 5...
1

1
1
p
5
p
6

p
7

1
1

1
p
3
p
2

p
2

p
2

p
9

p
3

p
10
p
2

p
3

p
8

1
p
4

p
4

Tout ceci se justifie par le thorme de Pythagore : dans un triangle rectangle ayant un ct de
p
longueur ` et un
est de longueur `2 + 1. En partant de `1 = 1,
q autre deplongueur 1, lhypotnuse
q
p
p
p
on trouve `2 = `21 + 1 = 2, puis `3 = `22 + 1 = 3, `4 = 4 = 2, et plus gnralement `n = n.

`2 + 1

5
Voici maintenant trois questions qui datent de la Grce antique et qui vont nous occuper le reste
du chapitre.

1.5. La trisection des angles


Considrons un angle , cest--dire la donne dun point A et de deux demi-droites issues de ce
point. Nous savons diviser cet angle en deux laide dune rgle et dun compas : il suffit de tracer
la bissectrice. Pour cela on fixe un cartement de compas et on trace un cercle centr en A : il
recoupe les demi-droites en des points B et C. On trace maintenant deux cercles centrs en B puis
C (avec le mme rayon pour les deux cercles). Si D est un point de lintersection de ces deux cercles
alors la droite (AD) est la bissectrice de langle.

D
B

C
A

Problme de la trisection. Peut-on diviser un angle donn en trois


angles gaux laide de la rgle et du compas ?

1.6. La duplication du cube


Commenons par un problme assez simple : tant donn un carr, construire ( la rgle et au
compas) un carr dont laire est le double. Cest facile, car cela revient savoir tracer un ct de
p
longueur a 2 partir dun ct de longueur a. En fait la diagonale de notre carr original a la
p
p
longueur voulue a 2. Partant de cette longueur, on construit un carr dont laire est (a 2)2 = 2a2 :
son aire est bien le double de celle du carr de dpart.
p
a 2

a
p
a 2

S = a2

S = 2a2

6
Posons nous la question dans lespace : tant donn un cube, peut-on construire un second cube
dont le volume est le double de celui du premier ? Si le premier cube a ses cts de longueur a,
p
3
alors le second doit avoir ses cts de longueur a 2. La question se formule alors de la manire
suivante :

p
3
a 2

a
V = a3

V = 2a3

Problme de la duplication du cube. tant donn un segment de


longueur 1, peut-on construire la rgle et au compas un segment
p
3
de longueur 2 ?

1.7. La quadrature du cercle


Problme de la quadrature du cercle. tant donn un cercle,
peut-on construire la rgle et au compas un carr de mme aire ?
p
r

p
r

S = r2

Cela revient construire un segment de longueur


de longueur 1.

S = r2

p
la rgle et au compas, partir dun segment

2. Les nombres constructibles la rgle et au compas


Pour rsoudre les trois problmes grecs, il va falloir les transformer compltement. Dune question
gomtrique nous allons passer une question algbrique. Dans cette partie on ramne le problme de la construction de points dans le plan la construction de points sur la droite numrique
relle.

2.1. Nombre constructible


On considre le plan euclidien P muni dun repre orthonorm, que lon identifiera R2 (ou C).
On dfinit des ensembles de points C i P par rcurrence.

On se donne au dpart seulement deux points : C 0 = {O, I } o O = (0, 0) et I = (1, 0).


Fixons i 0, et supposons quun certain ensemble de points C i soit dj construit. Alors on dfinit C i+1 par rcurrence, comme lensemble des points lmentairement constructibles
partir de C i . Cest--dire : P C i+1 si et seulement si
0. P C i
1. ou P (AB) (A 0 B0 ) avec A, B, A 0 , B0 C i ,
2. ou P (AB) C (A 0 , A 0 B0 ) avec A, B, A 0 , B0 C i ,
3. ou P C (A, AB) C (A 0 , A 0 B0 ) avec A, B, A 0 , B0 C i .
On a not C (A, r) le cercle de centre A et de rayon r.
Il faut comprendre cette construction ainsi : si A, B, A 0 , B0 ont t construits et sont dans C i alors,
partir de ces points, on peut tracer plusieurs objets la rgle et au compas : par exemple la
droite (AB) laide de la rgle ou le cercle de centre A 0 et de rayon de longueur A 0 B0 en plaant
la pointe du compas en A 0 avec un cartement faisant passer le cercle par B0 . Si cette droite (AB)
et ce cercle C (A 0 , A 0 B0 ) sintersectent alors les points dintersection sont par dfinition dans C i+1 .
Voici les trois situations possibles. Les points A, B, A 0 , B0 en bleu sont dans C i , et les points P en
rouge sont dans C i+1 .

B
B

A0
P

A0

P
A
B0

B0
P0

P0
A

A0

B0

Voici la premire tape. Partant de C 0 (en bleu gauche), on peut tracer une droite et deux cercles
(au milieu), ce qui donne pour C 1 quatre points supplmentaires (en rouge droite).

Pour C 2 on repartirait de tous les points (rouges ou bleus) de C 1 , et on tracerait tous les cercles ou
droites possibles (il y en a beaucoup !), et les points dintersection formeraient lensemble C 2 .
Dfinition 1
S
C = i0 C i est lensemble des points constructibles. Autrement dit C = C 0 C 1 C 2
De plus P C si et seulement sil existe i 0 tel que P C i .
C R R est lensemble des abscisses des points constructibles : ce sont les nombres
(rels) constructibles.
C C C est lensemble des affixes des points constructibles : ce sont les nombres complexes constructibles.
Attention ! Mme si deux points A, B sont constructibles et que lon peut tracer la droite (AB),
pour autant les points de (AB) ne sont pas tous constructibles. Seuls les points dintersection de
(AB) avec dautres objets construits sont constructibles.
Dterminer les points constructibles C ou dterminer les nombres constructibles C R sont deux
problmes quivalents. En effet, si (x, y) est un point constructible alors par projection sur laxe
des abscisses nous obtenons le rel constructible x, et de mme pour y projection sur laxe des
ordonnes, puis report sur laxe des abscisses. Rciproquement on peut passer de deux nombres
constructibles x, y R un point constructible (x, y) dans le plan. Voici comment : partant du point
(y, 0) on construit (0, y) sur laxe des ordonnes par un coup de compas en reportant y. Une fois
que (x, 0) et (0, y) sont construits, il est facile de construire (x, y).

(0, y)

(x, y)

2.2. Premires constructions algbriques

Proposition 1
Si x, x0 sont des rels constructibles alors :
1. x + x0 est constructible,
2. x est constructible,
3. x x0 est constructible.
4. Si x0 6= 0, alors x/x0 est constructible.
Tous ces rsultats sont valables si lon remplace x, x0 par des nombres complexes z, z0 .

Dmonstration
1. La construction pour le rel x + x0 est facile en utilisant le report du compas (on reporte la
0
longueur x0 partir de x). Une autre mthode est de construire dabord le milieu x+2x puis le
symtrique de 0 par rapport ce milieu : cest x + x0 .
La somme de deux nombres complexes z + z0 correspond la construction dun paralllogramme
de sommets 0, z, z0 , z + z0 : les points daffixes 0, z, z0 tant supposs constructibles, on construit
un paralllogramme de sorte que z + z0 soit le quatrime sommet.
z + z0
z0

2. Loppos du rel x (resp. du complexe z) sobtient comme symtrique par rapport lorigine :
tracez la droite passant par 0 et x (resp. z) ; tracez le cercle de centre 0 passant par x (resp. z) ;
ce cercle recoupe la droite en x (resp. z).

3. Commenons par le produit de deux nombres rels x x0 . On suppose construits les points ( x, 0)
et (0, x0 ) (dessin de gauche). On trace la droite D passant par ( x, 0) et (0, 1). On construit ensuite
la rgle et au compas la droite D 0 parallle D et passant par (0, x0 ). Le thorme de Thals
prouve que D 0 recoupe laxe des abscisses en ( x x0 , 0).

10

x0
x0

x x0

x/x0

4. Pour le quotient la mthode est similaire (dessin de droite).


5. Il reste soccuper du produit et du quotient de deux nombres complexes. Tout dabord, si
z = ei est un nombre complexe constructible, alors est constructible (considrer le cercle
centr lorigine qui passe par z ; il recoupe laxe des abscisses en ( , 0)). Le nombre ei est
aussi constructible : cest lintersection de la droite passant par lorigine et z avec le cercle unit.
Rciproquement avec et ei on construit facilement z = ei .
ei

ei(+ )

ei

+ 0

ei
0

ei

Maintenant si z = ei et z0 = 0 ei alors z z0 = ( 0 ) ei(+ ) . Le rel 0 est constructible comme


0
nous lavons vu au-dessus. Il reste construire le nombre complexe ei(+ ) , qui correspond la
somme de deux angles et 0 . Cela se fait simplement, partir du cercle unit, en reportant au
compas la mesure dun angle partir de lextrmit de lautre.
Pour le quotient la mthode est similaire.

Corollaire 1
N CR

Z CR

Q CR

Autrement dit, tous les rationnels (et en particulier tous les entiers) sont des nombres rels
constructibles.
La preuve dcoule facilement de la proposition :
Dmonstration
Puisque 1 est un nombre constructible alors 2 = 1 + 1 est constructible, mais alors 3 = 2 + 1 est
constructible et par rcurrence tout entier n 0 est un lment de C R .
Comme tout entier n 0 est constructible alors n lest aussi ; donc tous les entiers n Z sont
constructibles.
p
p
Enfin pour q Q, comme les entiers p, q sont constructibles, alors le quotient q est constructible
et ainsi Q C R .

Nous allons voir que C R contient davantage de nombres que les rationnels.

11

Proposition 2
Si x 0 est un nombre constructible, alors

x est constructible.

Remarques :
p
1. La rciproque est vraie. En effet si x0 = x est un nombre constructible, alors par la proposip p
tion 1 : x0 x0 est constructible. Or x0 x0 = x x = x, donc x est constructible.

2. On peut en dduire aussi que si z C est constructible alors les racines carres (complexes)
de z sont constructibles. On utilise pour cela la racine carre du module et la bissection de
largument comme on la vue au paragraphe 1.5.
p p
3. En particulier 2, 3, . . . sont des nombres constructibles (comme on lavait vu en premire
partie).
Dmonstration

x1
2

Soient les nombres constructibles 0, 1, x placs sur laxe des abscisses. Traons le cercle dont le
diamtre est [1, x] (cela revient construire le centre du cercle x2 1 ; voir la proposition 1). Ce cercle
recoupe laxe des ordonnes en y 0.

y=

b
x

On applique le thorme de Pythagore dans trois triangles rectangles, pour obtenir :

2
2

= (1 + x)2
a +b
2
1+ y
= a2

2
2
x +y
= b2 .
On en dduit a2 + b2 = (1 + x)2 = 1 + x2 + 2 x dune part et a2 + b2 = 1 + x2 + 2 y2 dautre part. Ainsi
p
1 + x2 + 2 x = 1 + x2 + 2 y2 do y2 = x. Comme y 0 alors y = x.
Une autre mthode consiste remarquer que le triangle de sommets (0, 0), (1, 0), (0, y) et le triangle
p
y
de sommets (0, 0), ( x, 0), (0, y) sont semblables donc xy = 1 , do x = y2 , donc y = x.

12

2.3. Retour sur les trois problmes grecs


Avec le langage des nombres constructibles les problmes historiques snoncent ainsi :
p
3
La duplication du cube. Est-ce que 2 est un nombre constructible ?
La quadrature du cercle. Est-ce que est un nombre constructible ?
La trisection des angles. tant donn un rel constructible cos , est-ce que cos 3 est aussi
constructible ?
Si vous ntes pas convaincu voici les preuves :
Si on a un cube de volume a3 , alors il faut construire un cube de volume 2a3 . Fixons a un rel
p
p
3
3
constructible. Que 2 soit aussi constructible quivaut a 2 constructible. Un segment de
p
3
longueur a 2 dfinit bien un cube de volume 2a3 . On aurait rsolu la duplication du cube.
p
Soit construit un cercle de rayon r, donc daire r 2 . Que soit constructible quivaut
p
constructible. Construire un segment de longueur r, correspond un carr daire r 2 ,
donc de mme aire que le cercle initial. Nous aurions construit un carr de mme aire que le
cercle ! On aurait rsolu la quadrature du cercle.
Remarquons que construire un angle gomtrique de mesure est quivalent construire
le nombre rel cos (voir la figure de gauche). Partons dun angle gomtrique , cest--dire
partons dun rel cos constructible. Construire cos 3 est quivalent construire un angle
gomtrique de mesure 3 . On aurait rsolu la trisection des angles.

cos

cos

cos 3

2.4. Les ensembles


Une dernire motivation propos des nombres constructibles concerne les ensembles. Nous avons
les inclusions densembles :
N Z Q R C.
Le passage dun ensemble un ensemble plus grand se justifie par la volont de rsoudre davantage dquations :
passage de N Z, pour rsoudre des quations du type x + 7 = 0,
passage de Z Q, pour rsoudre des quations du type 5x = 4,
passage de Q R, pour rsoudre des quations du type x2 = 2,
passage de R C, pour rsoudre des quations du type x2 = 1.
Mais en fait le passage de Q R est un saut beaucoup plus grand que les autres : Q est un
ensemble dnombrable (il existe une bijection entre Z et Q) alors que R ne lest pas.
Nous allons dfinir et tudier deux ensembles intermdiaires :
Q CR Q R

13
C R est lensemble des nombres rels constructibles la rgle et au compas,
Q est lensemble des nombres algbriques : ce sont les rels x qui sont solutions dune quation P(x) = 0, pour un polynme P coefficients dans Q.

3. lments de thorie des corps


La thorie des corps nest pas vidente et mriterait un chapitre entier. Nous rsumons ici les
grandes lignes utiles nos fins. Il est important de bien comprendre le paragraphe suivant ; les
autres paragraphes peuvent tre sauts lors de la premire lecture.

3.1. Les exemples comprendre


Premier exemple. Soit lensemble
n
o
p
p
Q( 2) = a + b 2 | a, b Q .

Cest un sous-ensemble de R, qui contient par exemple 0, 1, 13 et tous les lments de Q, mais aussi
p
p
2 (qui nest pas rationnel !), 21 23 2.
Voici quelques proprits :
p
p
p
p
p
Soient a + b 2 et a0 + b0 2 deux lments de Q( 2). Alors leur somme (a + b 2) + (a0 + b0 2)
p
p
p
est encore un lment de Q( 2). De mme (a + b 2) Q( 2).
p
p
p
p
p
Plus surprenant, si a + b 2, a0 + b0 2 Q( 2) alors (a + b 2) (a0 + b0 2) = aa0 + 2bb0 + (ab0 +
p
p
p
a0 b) 2 est aussi un lment de Q( 2). Enfin linverse dun lment non nul a + b 2 est
p
p
1p
= a2 12b2 (a b 2) : cest encore un lment de Q( 2).
a+ b 2
p
Ces proprits font de Q( 2) un corps. Comme ce corps contient Q on parle dune extension de Q.
p
De plus, il est tendu avec un lment du type : on parle alors dune extension quadratique.
p
Notez que, mme si Q, nest gnralement pas un lment de Q.
Deuxime srie dexemples. On peut gnraliser lexemple prcdent : si K est lui-mme un
corps et est un lment de K alors
n
o
p
p
K( ) = a + b | a, b K
est un corps. On vrifie comme ci-dessus que la somme et le produit de deux lments restent dans
p
K( ), ainsi que loppos et linverse.
Cela permet de construire de nouveaux corps : partant de K 0 = Q, on choisit un lment, disons
p
p
p
0 = 2 et on obtient le corps plus gros K 1 = Q( 2). Si on prend 1 = 3 alors 3 Q( 2) et donc
p
K 2 = K 1 ( 3) est un nouveau corps (qui contient K 1 ). Le corps K 2 est :
n
o
p p
p
p p
p
p
K 2 = K 1 ( 3) = Q( 2)( 3) = a + b 2 + c 3 + d 2 3 | a, b, c, d Q .
p p p
On pourrait continuer avec 2 = 11 et exprimer chaque lment de Q( 2)( 3)( 11) comme une
p
p
p p
p p
p p p
p
p p
somme de 8 lments a 1 + a 2 2 + a 3 3 + a 4 11 + a 5 2 3 + a 6 2 11 + a 7 3 11 + a 8 2 3 11
avec les a i Q.
p
p
p
p
p p
p
En partant de K 1 = Q( 2), on aurait pu considrer 1 = 1+ 2 et K 2 = K 1 ( 1 + 2) = Q( p
2)( 1 + 2).
p
p
Chaque
lment de K 2 peut scrire comme une somme de 4 lments a + b 2 + c 1 + 2 +
p p
p
d 2 1 + 2.
p
Une proprit. Il faut noter que chaque lment de Q( 2) est racine dun polynme de degr au
p
plus 2 coefficients dans Q. Par exemple 3 + 2 est annul par P(X ) = (X 3)2 2 = X 2 6X + 7. Les

14
nombres qui sont annuls par un polynme coefficients rationnels sont les nombres algbriques.
p
Plus gnralement, si K est un corps et K, alors tout lment de K( ) est annul par un
p p
polynme de degr
1 ou 2 coefficients dans K. On en dduit que chaque lment de Q( 2)( 3)
p
p
p
(ou de Q( 2)( 1 + 2)) est racine dun polynme de Q[X ] de degr 1, 2 ou 4. Et chaque lment
p p p
de Q( 2)( 3)( 11) est racine dun polynme de Q[X ] de degr 1, 2, 4 ou 8, etc.
Nous allons maintenant reprendre ces exemples dune manire plus thorique.

3.2. Corps
Un corps est un ensemble sur lequel sont dfinies deux oprations : une addition et une multiplication.
Dfinition 2
Un corps (K, +, ) est un ensemble K muni des deux oprations + et , qui vrifient :
0. + et sont des lois de composition interne, cest dire x + y K et x y K (pour tout
x, y K).
1. (K, +) est un groupe commutatif, cest--dire :
Il existe 0 K tel que 0 + x = x (pour tout x K).
Pour tout x K il existe x tel que x + ( x) = 0.
+ est associative : (x + y) + z = x + (y + z) (pour tout x, y, z K).
x + y = y + x (pour tout x, y K).
2. (K \ {0}, ) est un groupe commutatif, cest--dire :
Il existe 1 K \ {0} tel que 1 x = x (pour tout x K).
Pour tout x K \ {0}, il existe x1 tel que x x1 = 1.
est associative : (x y) z = x (y z) (pour tout x, y, z K \ {0}).
x y = y x (pour tout x, y K \ {0}).
3. est distributive par rapport + : (x + y) z = x z + y z (pour tout x, y, z K).

Voici des exemples classiques :


Q, R, C sont des corps. Laddition et la multiplication sont les oprations usuelles.
Par contre (Z, +, ) nest pas un corps. (Pourquoi ?)
Voici des exemples qui vont tre importants pour la suite :
p
p

Q( 2) = a + b 2 | a, b Q est un corps (avec laddition et la multiplication habituelles des


nombres rels). Voir les exemples introductifs.

Q(i) = a + ib | a, b Q est un corps (avec laddition et la multiplication habituelles des


nombres complexes).

Par contre a + b | a, b Q nest pas un corps (o = 3, 14 . . .). (Cest une consquence du


fait que nest pas un nombre algbrique comme on le verra plus loin.)
La proposition 1 de la premire partie se reformule avec la notion de corps en :

15

Proposition 3
Lensemble des nombre rels constructibles (C R , +, ) est un corps inclus dans R.
On a aussi que (C C , +, ) est un corps inclus dans C.

3.3. Extension de corps


Nous cherchons des propositions qui lient deux corps, lorsque lun est inclus dans lautre. Les
rsultats de ce paragraphe seront admis.
Proposition 4
Soient K, L deux corps avec K L. Alors L est un espace vectoriel sur K.
Dfinition 3
L est appel une extension de K. Si la dimension de cet espace vectoriel est finie, alors on
lappelle le degr de lextension, et on notera :
[L : K] = dimK L.
Si ce degr vaut 2, nous parlerons dune extension quadratique.

Proposition 5
Si K, L, M sont trois corps avec K L M et si les extensions ont un degr fini alors :
[M : K] = [M : L] [L : K].
Exemple 1
p
p
p
p

Q( 2) est une extension de Q. De plus, comme Q( 2) = a + b 2 | a, b Q , alors Q( 2)


p
est un espace vectoriel (sur Q) de dimension 2 : en effet (1, 2) en est une base. Attention :
p
p
ici 1 est un vecteur et 2 est un autre vecteur. Le fait que 2 Q se traduit en : ces
deux vecteurs sont linairement indpendants sur Q. Cest un peu droutant au dbut !
C est une extension de degr 2 de R car tout lment de C scrit a + ib. Donc les vecteurs
1 et i forment une base de C, vu comme un espace vectoriel sur R.
p p
p p
p
p
p p
p

Notons Q( 2, 3) = Q( 2)( 3) = a + b 3 | a, b Q( 2) . Alors Q Q( 2) Q( 2, 3).


p p
Calculer le degr des extensions. Expliciter une base sur Q de Q( 2, 3).

Pour x R, on note Q(x) le plus petit corps contenant Q et x : cest le corps engendr par x. Cest
p
cohrent avec la notation pour les extensions quadratiques Q( ), qui est bien le plus petit corps
p
contenant .
p
1
3
Par exemple, si x = 2 = 2 3 , alors il nest pas dur de calculer que
n
o
p
p
p
2
3
3
3
Q( 2) = a + b 2 + c 2 | a, b, c Q .
p
2
3
En effet Q( 2) contient x, x2 , x3 , . . . mais aussi 1x , x12 , . . . Mais comme x3 = 2 Q et 1x = x2 , alors
p
3
a + bx + cx2 , avec a, b, c Q, engendrent tous les lments de Q(x). Conclusion : [Q( 2) : Q] = 3.

16

3.4. Nombre algbrique


Lensemble des nombres algbriques est

Q = x R | il existe P Q[X ] non nul tel que P(x) = 0 .

Proposition 6
Q est un corps.
Dmonstration
Laddition et la multiplication dfinies sur Q sont celles du corps (R, +, ). Ainsi beaucoup de proprits
dcoulent du fait que lensemble des rels est un corps (on parle de sous-corps).
La premire chose que lon doit dmontrer, cest que + et sont des lois de composition interne, cest-dire que si x et y sont des nombres rels algbriques alors x + y et x y le sont aussi. Ce sera prouv
dans le corollaire 2.
1. (Q, +) est un groupe commutatif, car :
0 Q (prendre P ( X ) = X ) et 0 + x = x (pour tout x Q).
Si x Q alors x Q (si P ( X ) est un polynme qui annule x alors P ( X ) annule x).
+ est associative : cela dcoule de lassociativit sur R.
x + y = y + x : idem.
2. (Q \ {0}, ) est un groupe commutatif, car :
1 Q \ {0} et 1 x = x (pour tout x Q \ {0}).
Si x Q \ {0} alors x1 Q \ {0} : en effet, si P ( X ) est un polynme de degr n annulant x, alors
X n P ( X1 ) est un polynme annulant 1x .
est associative : cela dcoule de lassociativit sur R \ {0}.
x y = y x : idem.
3. est distributive par rapport + : cela dcoule de la distributivit sur R.

Si x Q est un nombre algbrique, alors le plus petit degr, parmi tous les degrs des polynmes P
Q[X ] tels que P(x) = 0, est le degr algbrique de x. Par exemple, calculons le degr algbrique
p
de 2 : un polynme annulant ce nombre est P(X ) = X 2 2 et il nest pas possible den trouver
p
p
de degr 1, donc le degr algbrique de 2 vaut 2. Plus gnralement avec Q est de degr
p
p
3
algbrique gal 1 ou 2 (de degr algbrique 1 si Q, de degr 2 sinon). Par contre 2 est de
degr 3, car il est annul par P(X ) = X 3 2 mais pas par des polynmes de degr plus petit.
Proposition 7
1. Soit L une extension finie du corps Q. Si x L, alors x est un nombre algbrique.
2. Si x un nombre algbrique alors Q(x) est une extension finie de Q.
3. Si x est un nombre algbrique alors le degr de lextension [Q(x) : Q] et le degr algbrique de x concident.

Dmonstration
1. Soit L une extension finie de Q, et soit n = [L : Q]. Fixons x L. Les n + 1 lments (1, x, x2 , . . . , x n )
forment une famille de n + 1 vecteurs dans un espace vectoriel de dimension n. Donc cette famille
est lie. Il existe donc une combinaison linaire nulle non triviale, cest--dire il existe a i Q non
P
P
tous nuls tels que ni=0 a i x i = 0. Si lon dfinit P ( X ) = ni=0 a i X i , alors P ( X ) Q[ X ], P ( X ) nest
pas le polynme nul et P ( x) = 0. Cest exactement dire que x est un nombre algbrique.

17
P
2. Soit P ( X ) = ni=0 a i X i non nul qui vrifie P ( x) = 0. En cartant le le cas trivial x = 0, on peut donc
P
P
supposer que a 0 6= 0 et a n 6= 0. Alors x n = a1n ni=01 a i x i et 1x = a10 ni=1 a i x i1 . Ce qui prouve que

x n Vect(1, x, . . . , x n1 ) et 1x Vect(1, x, . . . , x n1 ). De mme pour tout k Z, x k Vect(1, x, . . . , x n1 ),


donc Q( x) Vect(1, x, . . . , x n1 ). Ce qui prouve que Q( x) est un espace vectoriel de dimension finie
sur Q.

3. Ce sont peu prs les mmes arguments. Si m = [Q( x) : Q] alors il existe a i Q non tous nuls
P
i
tels que m
i =0 a i x = 0. Donc il existe un polynme non nul de degr m annulant x. Donc le degr
algbrique de x est infrieur ou gal m.
P 1
i
Mais sil existait un polynme P ( X ) = m
infrieur m qui
i =0 b i X non nul de degr strictement
Pm1
annulait x, alors nous aurions une combinaison linaire nulle non triviale i=0 b i x i = 0. Cela
impliquerait que x m1 Vect(1, x, . . . , x m2 ) et plus gnralement que Q( x) Vect(1, x, . . . , x m2 ),
ce qui contredirait le fait que Q( x) soit un espace vectoriel de dimension m sur Q.
Bilan : le degr algbrique de x est exactement [Q( x) : Q].

Corollaire 2
Si x et y sont des nombres rels algbriques alors x + y et x y aussi.

Dmonstration
Comme x est un nombre algbrique alors L = Q( x) est une extension finie de K = Q. Posons M =

Q( x, y) = Q( x) ( y). Comme y est un nombre algbrique alors M est une extension finie de Q( x). Par la
proposition 5 M = Q( x, y) est une extension finie de K = Q.
Comme x + y Q( x + y) Q( x, y) et que Q( x, y) est une extension finie de Q alors par la proposition 7,
x + y est un nombre algbrique.
Cest la mme preuve pour x y Q( x y) Q( x, y).

4. Corps et nombres constructibles


Cette partie est la charnire de ce chapitre. Nous expliquons quoi correspondent algbriquement
les oprations gomtriques effectues la rgle et au compas.

4.1. Nombre constructible et extensions quadratiques


Voici le rsultat thorique le plus important de ce chapitre. Cest Pierre-Laurent Wantzel qui a
dmontr ce thorme en 1837, lge de 23 ans.
Thorme 1. Thorme de Wantzel
Un nombre rel x est constructible si et seulement sil existe des extensions quadratiques
Q = K0 K1 K r

telles que x K r .
Chacune des extensions est quadratique, cest--dire [K i+1 : K i ] = 2. Autrement dit, chaque extenp
sion est une extension quadratique de la prcdente : K i+1 = K i ( i ) pour un certain i K i . Donc
en partant de K 0 = Q, les extensions sont :
Q Q(

p
p
p
0 ) Q( 0 )( 1 )

18
Dmonstration
Il y a un sens facile : comme on sait construire les racines carres des nombres constructibles (voir
p
la proposition 2) alors on sait construire tout lment dune extension quadratique K 1 = Q( 0 ), puis
par rcurrence tout lment de K 2 , K 3 ,. . .
Passons au sens difficile. Rappelons-nous que les points constructibles sont construits par tapes C 0 ,
C 1 , C 2 ,. . .
Lensemble C j+1 sobtient partir de C j en ajoutant les intersections des droites et des cercles que lon
peut tracer partir de C j . Nous allons voir que ce passage correspond une extension quadratique.
Soit donc K le plus petit corps contenant les coordonnes des points de C j . Nous considrons P un
point de C j+1 . Ce point P est lintersection de deux objets (deux droites ; une droite et un cercle ; deux
cercles). Distinguons les cas :
P est lintersection de deux droites. Ces droites passent par des points de C j donc elles ont
pour quations ax + b y = c et a0 x + b0 y = c0 et il est important de noter que lon peut prendre
a, b, c, a0 , b0 , c0 comme tant des lments de K . Par exemple une quation de la droite passant
y y
par A ( x A , yA ) et B( xB , yB ) (avec x A , yA , xB , yB K ) est y = xB x A ( x x A ) + yA , ce qui donne bien
B
A
une quation coefficients dans K . Les coordonnes de P sont donc

cb0 c0 b ac0 a0 c
,
.
ab0 a0 b ab0 a0 b

Comme K est un corps alors labscisse et lordonne de ce P sont encore dans K . Dans ce cas il
ny a pas besoin dextension : le plus petit corps contenant les coordonnes des points de C j et
de P est K .
P appartient lintersection dune droite et dun cercle. Notons lquation de la droite ax + b y = c
avec a, b, c K et ( x x0 )2 + ( y y0 )2 = r 2 lquation du cercle. On note que x0 , y0 , r 2 (mais pas
ncessairement r ) sont des lments de K car les coordonnes du centre et dun point du cercle
sont dans K . Il reste calculer les intersections de la droite et du cercle : en posant
= 2 x0 a3 b y0 + 2 y0 a2 cb b2 y0 2 a2 + b2 r 2 a2 + 2 a3 x0 c a4 x0 2 a2 c2 + a4 r 2 K,

on trouve deux points ( x, y), ( x0 , y0 ) avec

x=

p
b
1
c 2
2
2

x
ab
+
y
a
+
cb

(
a
+
b
)
+
0
0
a a2 + b 2
b

et

y=

c ax
,
b

p
1
b
c
c ax0
x0 ab + y0 a2 + cb (a2 + b2 )
et y0 =
.
2
2
a a +b
b
b
p
Les coordonnes sont bien de la forme + avec , K et cest le mme K pour x, y, x0 , y0 .
p
Donc les coordonnes de P sont bien dans lextension quadratique K ( ).
P appartient lintersection de deux cercles. On trouve aussi deux points ( x, y), ( x0 , y0 ) et x, y, x0 , y0
p
sont aussi de la forme + pour un certain K fix et , K . Les formules sont plus
longues crire et on se contentera ici de faire un exemple (voir juste aprs).
On pourrait donner un autre argument : lintersection du cercle C centr en O et du cercle C 0
centr en O 0 est aussi lintersection du cercle C avec la mdiatrice de [OO 0 ]. (Exercice : justifier
que cette mdiatrice est constructible sans tendre le corps.) On se ramne donc au cas de
lintersection dun cercle et dune droite.

x0 =

19
C0
C

O0
O

En rsum, dans tous les cas, les coordonnes de P sont dans une extension quadratique du corps K ,
qui contient les coefficients qui servent construire P . Par rcurrence, cela donne le rsultat souhait.

Exemple 2
Donnons les extensions ncessaires dans chacun des trois cas de la preuve sur un exemple
concret.
1. P est lintersection de deux droites (AB) et (A 0 B0 ) avec par exemple A(0, 1), B(1, 1),
A 0 (0, 2), B0 (1, 1) dont les coordonnes sont dans K = Q. Les quations sont 2x + y = 1
et 3x y = 2 ; le point dintersection P a pour coordonnes ( 35 , 15 ), donc labscisse et
lordonne sont dans Q. Il ny a pas besoin dtendre le corps.

B0

P
B
A0

2. P et P 0 sont les intersections de la droite passant par A(0, 1) et B(1, 1) et du cercle de


centre A 0 (2, 1) passant par le point B0 (1, 1) (et donc de rayon 3). Les quations sont
alors 2x + y = 1 et (x 2)2 + (y 1)2 = 9. Les deux solutions sont les points :

p 1
p
p 1
p
1
1
2 29 , 1 + 2 29 ,
2 + 29 , 1 2 29 .
5
5
5
5
Donc si on pose = 29 (qui est bien un rationnel) alors les coordonnes des points
p
dintersection sont de la forme + (, Q), cest--dire appartiennent lextension
p
quadratique Q( 29).

20

B0

A0

P0

3. Soient le cercle C ((1, 0), 2) (qui a pour centre A(1, 0) et passe par B(1, 0)) et le cercle
p
C ((2, 1), 5) (qui a pour centre A 0 (2, 1) et passe par B0 (0, 0)). Les quations sont (x + 1)2 +
y2 = 4, (x 2)2 + (y 1)2 = 5. Les deux points dintersection sont :


p 3
p
p 3
p
1
1
7 79 ,
3 + 79 ,
7 + 79 ,
3 79 .
20
20
20
20
Encore une fois, pour le rationnel = 79, les abscisses et ordonnes des points dinterp
section sont de la forme + avec , Q ; lextension quadratique qui convient est
p
donc Q( 79).

P
A0
A
B0

B
P0

4.2. Corollaires
La consquence la plus importante du thorme de Wantzel est donne par lnonc suivant. Cest
ce rsultat que lon utilisera dans la pratique.

21

Corollaire 3
Tout nombre rel constructible est un nombre algbrique dont le degr algbrique est de la
forme 2n , n 0.
Dmonstration
Soit x un nombre constructible. Par le thorme de Wantzel, il existe des extensions quadratiques
Q = K 0 K 1 K r telles que x K r . Donc x appartient une extension de Q de degr fini. Ainsi,
par la proposition 7, x est un nombre algbrique.
On sait de plus que [K i+1 : K i ] = 2, donc par la proposition 5, nous avons [K r : Q] = 2r . Il nous reste en
dduire le degr algbrique [Q( x) : Q]. Comme Q( x) K r , alors nous avons toujours par la proposition
5 que : [K r : Q( x)] [Q( x) : Q] = [K r : Q] = 2r . Donc [Q( x) : Q] divise 2r et est donc de la forme 2n .

Voici une autre application plus thorique du thorme de Wantzel, qui caractrise les nombres
constructibles.
Corollaire 4
C R est le plus petit sous-corps de R stable par racine carre, cest--dire tel que :
p
(x C R et x 0) x C R ,
si K est un autre sous-corps de R stable par racine carre alors C R K.

La preuve est faire en exercice.

5. Applications aux problmes grecs


Nous allons pouvoir rpondre aux problmes de la trisection des angles, de la duplication du
cube et de la quadrature du cercle, tout cela en mme temps ! Il aura fallu prs de 2 000 ans
pour rpondre ces questions. Mais pensez que, pour montrer quune construction est possible,
il suffit de lexhiber (mme si ce nest pas toujours vident). Par contre pour montrer quune
construction nest pas possible, cest compltement diffrent. Ce nest pas parce que personne na
russi une construction quelle nest pas possible ! Ce sont les outils algbriques qui vont permettre
de rsoudre ces problmes gomtriques.
Rappelons le corollaire au thorme de Wantzel, qui va tre la cl pour nos problmes.
Corollaire 5
1. Si un nombre rel x est constructible alors x est un nombre algbrique. Cest--dire quil
existe un polynme P Q[X ] tel que P(x) = 0.
2. De plus le degr algbrique de x est de la forme 2n , n 0. Cest--dire que le plus
petit degr, parmi tous les degrs des polynmes P Q[X ] vrifiant P(x) = 0, est une
puissance de 2.

5.1. Limpossibilit de la duplication du cube


La duplication du cube ne peut pas seffectuer la rgle et au compas.

Cela dcoule du fait suivant :

22

Thorme 2
p
3
2 nest pas un nombre constructible.

Dmonstration
p
3
2 est une racine du polynme P ( X ) = X 3 2. Ce polynme est unitaire et irrductible dans Q[ X ],
p
3
donc 2 est un nombre algbrique de degr 3. Ainsi son degr algbrique nest pas de la forme 2n .
p
3
Bilan : 2 nest pas constructible.

5.2. Limpossibilit de la quadrature du cercle


La quadrature du cercle ne peut pas seffectuer la rgle et au compas.

Cest une reformulation du thorme suivant, d Ferdinand von Lindemann (en 1882) :
Thorme 3
nest pas un nombre algbrique (donc nest pas constructible).

Comme nest pas constructible, alors


x C R = x2 C R ).

p
nest pas constructible non plus (cest la contrapose de

Nous ne ferons pas ici la dmonstration que nest pas un nombre algbrique, mais cest une
dmonstration qui nest pas si difficile et abordable en premire anne.

5.3. Limpossibilit de la trisection des angles


La trisection des angles ne peut pas seffectuer la rgle et au compas.

Plus prcisment nous allons exhiber un angle que lon ne peut pas couper en trois.

23

Thorme 4
Langle 3 est constructible mais ne peut pas tre coup en trois car cos 9 nest pas un nombre
constructible.
Bien sr langle 3 est constructible car cos 3 = 12 . La preuve de la non constructibilit de langle 9
fait lobjet dun exercice : cos 9 est un nombre algbrique de degr algbrique 3, donc il nest pas
constructible.

1
cos
3 =2

cos
9

La trisection nest donc pas possible en gnral, mais attention, pour certains angles particuliers
cest possible : par exemple les angles ou 2 !

Pour aller plus loin voici quelques rfrences :


Thorie des corps. La rgle et le compas. J.-L. Carrega, Hermann, 2001.
Un livre complet sur le sujet !
Nombres constructibles. V. Vassallo, Ph. Royer, IREM de Lille, 2002.
Avec un point de vue pour le collge et le lyce.
Sur les nombres algbriques constructibles la rgle et au compas. A. Chambert-Loir, Gazette
des mathmaticiens 118, 2008.
Vous trouverez dans cet article une rciproque du corollaire au thorme de Wantzel, prouve
de faon lmentaire , cest--dire sans faire usage de la thorie de Galois.

Auteurs
Arnaud Bodin.
Relu par Vianney Combet.

You might also like