Professional Documents
Culture Documents
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.
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
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).
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
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.
D
B
C
A
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
p
r
S = r2
S = r2
p
la rgle et au compas, partir dun segment
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)
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
ei(+ )
ei
+ 0
ei
0
ei
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
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
cos
cos
cos 3
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.
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).
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.
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
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
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
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).
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,
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
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.
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.
Cest une reformulation du thorme suivant, d Ferdinand von Lindemann (en 1882) :
Thorme 3
nest pas un nombre algbrique (donc nest pas constructible).
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.
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 !
Auteurs
Arnaud Bodin.
Relu par Vianney Combet.