Vous êtes sur la page 1sur 56

T.I.P.E. dirig par Philippe Caldero.

Gomtrie projective.

Donatien Bnat.

(janvier 2008)
TABLE DES MATIRES

1 tude des projections coniques. 1

2 Complts projectifs. 6

3 Premires proprits des birapports. 9

4 Espaces projectifs et transformations projectives. 14

5 Coordonnes homognes et trilinaires. 19


1 Coordonnes homognes. . . . . . . . . . . . . . . . . . . . . . . 19
2 " barycentriques. . . . . . . . . . . . . . . . . . . . . 21
3 " trilinaires. . . . . . . . . . . . . . . . . . . . . . . 24

6 Les thormes de Pappus et Desargues. 29

7 Le principe de dualit. 33
1 Expression gnrale du principe de dualit. . . . . . . . . . . . 33
2 Le principe de dualit dans le plan projectif. . . . . . . . . . . . 37

8 Lhexagramme mystique de Pascal. 40


1 Le thorme de Pascal. . . . . . . . . . . . . . . . . . . . . . . . 40
2 Application la gomtrie arithmtique. . . . . . . . . . . . . . 43

9 La rciprocit polaire. 47

10 La gomtrie projective sur le corps cinq lments. 50

i
CHAPITRE 1.

TUDE DES PROJECTIONS CONIQUES.

Avouons tout de suite que nous voulons construire une gomtrie dans
laquelle il ny a pas de diffrence entre deux droites parallles et deux droites
scantes. Cette gomtrie, cest celle de la perspective centrale, celle qui semble
le mieux reprsenter le monde tel quil nous apparat. En gomtrie, le procd
qui correspond la perspective centrale est la projection conique ; vrifions que
les projections coniques possdent les proprits que nous dsirons.

*
* *
*
Dfinition 1.
Soient un plan de lespace et deux points O et P . Lintersection de la droite
(OP ) et du plan , lorsquelle existe, est appele la projection conique de
P sur le plan par rapport O.

Dfinition 2.
Et plus gnralement, la fonction qui chaque point P associe, lorsquelle
existe, sa projection conique sur par rapport O est appele la projection
conique de centre O. est appel le plan-image de cette projection.

Dfinition 3.
tant donne une projection conique de centre O, une droite passant par O
est appele une droite centrale, et un plan passant O est appel un plan
central.

Dfinition 4.
AC/AD
Soient A, B, C, D quatre points aligns. Le nombre BC/BD (videmment in-
dpendant de la mesure choisie) est appel le birapport des points A, B, C,
D (dans cet ordre).

1
2

Convention 1.
Convenons de reprsenter le birapport de quatre points aligns A, B, C, D par
le symbole [A, B, C, D].

Convention 2.
partir de maintenant, quand il sera question des proprits de points prser-
ves (ou non) par une projection conique, quil soit compris que la projection
conique de ces points doit exister, cest--dire quils ne doivent pas se trouver
dans le plan central parallle au plan-image. De mme, lorsquil sera question
de projections coniques de droites, ces droites ne devront pas tre incluses dans
le plan central parallle au plan image.

Proposition 1.
La fonction projection conique est dfinie en tout point extrieur au plan cen-
tral parallle au plan-image.

Proposition 2.
Une projection conique conserve lalignement de trois points.
Soient A, B, C trois points aligns, et X, Y , Z leurs projections coniques respectives.
X, Y et Z appartiennent respectivement au droites (OA), (OB), (OC), toutes
trois incluses dans le plan (OAC),
X, Y et Z appartiennent au mme plan (OAC).
Comme X, Y , Z appartiennent galement au plan-image, ils appartiennent
lintersection de ce dernier avec le plan (OAC).
Lintersection de deux plans scants et distincts tant une droite, X, Y et Z sont
aligns.

C.Q.F.D.

Maintenant, nous allons voir quen gnral, les projections coniques


de trois droites parallles sont scantes. Ceci permet de donner une
premire dfinition de la gomtrie projective : il sagit de la gomtrie
des projections coniques, ou plus exactement de la gomtrie qui tudie
les proprits conserves par les projections coniques.

Proposition 3.
Soient d1 , d2 , d3 trois droites parallles entre elles, et incluses dans des plans
centraux distincts.
3

(1) Si ces trois droites sont parallles au plan-image, leurs projections sont
trois droites parallles.

(2) Si ces trois droites rencontrent le plan-image, leurs projections sont trois
droites concourantes en un point, qui est lintersection du plan-image avec la
droite centrale parallle d1 , d2 et d3 ; mais ce point de concours nappartient
aucune des projections.

En effet, dans les deux cas, les projections de d1 , d2 , d3 sont contenues dans les
intersections respectives des plans centraux (Od1 ), (Od2 ), (Od3 ) avec le plan-image ;
comme ils contiennent tous les trois le point O, et quils sont distincts, ces plans
centraux ont pour intersection une droite D k d1 , d2 , d3 (thorme "du toit").

(1) Si d1 , d2 et d3 sont k au plan-image, D lest aussi ; or la projection de d1 est


incluse dans le mme plan central que D ;

D et la projection de d1 sont ncessairement k.

De mme, D est aussi parallle aux projections de d2 et d3 .

les projections de d1 , d2 et d3 sont parallles (par transitivit).


4

(2) Si d1 , d2 et d3 rencontrent le plan-image, D fait de mme. Notons M le point


dintersection de D et du plan-image.
M appartient la fois au plan central (Od1 ) et au plan-image, il appartient
leur intersection.
De mme, M appartient aux intersections de (Od2 ) et (Od3 ) avec le plan-image.
Ainsi, les projections de d1 , d2 , d3 sont concourantes en M .
Enfin, dans chacune des intersections de (Od1 ), (Od2 ) et (Od3 ) avec le plan-
image, M est le seul point ntre la projection daucun point de d1 , d2 , d3 (car
(OM ) k d1 , d2 , d3 ).
les projections de d1 , d2 , d3 sont trois droites concourantes en un point M , et
prives de ce point.

C.Q.F.D.

Dfinition 5.
tant donne une direction non-parallle au plan-image, le point de concours
des projections des droites de direction est appel le point de fuite de .

Proposition 4.
Lensemble des points de fuite des directions dun plan P est la droite dinter-
section du plan-image et du plan central parallle P.

Dfinition 6.
La droite forme par les points de fuite des directions dun plan est appele la
ligne de fuite de ce plan.

Proposition 5.
Une projection conique conserve le birapport de quatre points aligns, lorsquils
ne sont pas aligns sur une droite centrale.

Soient A, B, C, D quatre points aligns, W, X, Y, Z leurs projections coniques


respectives.
Construisons la parallle (OD) passant par C ; soient a et b ses intersections
avec (OA) et (OB).
De mme, construisons la k (OD) passant par Y ; soient a0 et b0 ses intersections
avec (OA) et (OB).
4ACa et 4ADO sont semblables, AC/AD = aC/OD.
4BCb et 4BDO sont semblables, BC/BD = bC/OD.
En faisant le rapport membre membre des deux galits, on obtient

AC/AD aC
= .
BC/BD bC

De la mme faon, 4W Y a0 et 4XY b0 tant tous les deux semblables 4W ZO,


W Y /W Z = a0 Y /OZ et XY /XZ = b0 Y /OZ

W Y /W Z a0 Y
do = 0 .
XY /XZ bY

Par construction, (ab) k (a0 b0 ), a0 Y /b0 Y = aC/bC,

W Y /W Z AC/AD
do = , cest--dire [A, B, C, D] = [W, X, Y, Z].
XY /XZ BC/BD

C.Q.F.D.
CHAPITRE 2.
COMPLTS PROJECTIFS.

Nous avons vu que trois droites parallles a, b, c avaient pour projections


trois droites d, e, f concourantes en un point P ( condition de bien choisir la
projection), et nous avons appel P le point de fuite de a, b, c. Ce sont les points
de a, b, c les plus loigns du centre de projection qui ont les projections les
plus proches de P . P est un point-limite, et nous avons bien envie de dire que
cest la projection dun point imaginaire o se rejoindraient les trois parallles.
Ce point imaginaire, situ une distance infinie, nous lappellerons le point
linfini des droites a, b, c.
De mme, nous avons vu que les points de fuite associs toutes les di-
rections dun plan taient aligns sur une droite que nous avons appele la
ligne de fuite du plan. Nous avons envie de dire que cette ligne de fuite est la
projection dune ligne imaginaire, constitue des points linfini de toutes les
droites de . Cette ligne imaginaire, situe elle aussi une distance infinie,
nous lappellerons la droite linfini de .

*
* *
*

Dfinition 1.
Soit une droite d de direction ; la runion de d et {} (c.--d. lensemble
d {}) est appele le complt projectif de la droite d.

Dfinition 2.
Soient un plan P , et p lensemble des directions de toutes les droites de P ; la
runion de P et p est appele le complt projectif du plan P .

Dfinition 3.
Soit e lensemble des directions de toutes les droites de lespace ; la runion de
lespace et e est appele le complt projectif de lespace.

6
7

Proposition 1.
Si d et e sont deux droites distinctes, que et  soient leurs directions respec-
tives, et que db et eb soient leurs complts projectifs respectifs :
(1) Soit d et e ne sont pas coplanaires, cest--dire que d et e ne sont ni
parallles ni scantes : dans ce cas db et eb nont pas dintersection (db eb = ) ;
(2) Soit d et e sont coplanaires et scantes : dans ce cas db et eb ont pour
intersection un point de lespace (db eb = {un point de lespace}) ;
(3) Soit d et e sont coplanaires et parallles : dans ce cas d et e ont pour
intersection la direction commune d et e (db eb = {} = {}).

Proposition 2.
Si P et Q sont deux plans distincts, que p soit lensemble des directions de
toutes les droites de P , que q soit lensemble des directions de toutes les droites
de Q, et que Pb et Q b soient les complts projectifs respectifs des plans P et
Q:
(1) Soit P et Q sont scants, cest--dire que P et Q ont pour intersection
une droite de lespace : dans ce cas Pb et Q
b ont pour intersection le complt
projectif de cette droite ;
(2) Soit P et Q sont parallles : dans ce cas Pb et Q
b ont le mme ensemble
de directions, et cest leur intersection.

Dfinition 4.
La direction dune droite, en tant qulment du complt projectif de cette
droite, est appele son point linfini.

Dfinition 5.
Lensemble des directions de toutes les droites dun plan, en tant qulment
du complt projectif de ce plan, est appel sa droite de linfini.

Dfinition 6.
Lensemble des directions de toutes les droites de lespace, en tant qulment
du complt projectif de lespace, est appel son plan de linfini.
8

partir de maintenant, les complts projectifs sappelleront des "es-


paces projectifs" ; le procd que nous venons dutiliser pour les dfinir
(cest--dire laddition dlments linfini des espaces affines) sera
appel la "construction gomtrique des espaces projectifs".
Dans le quatrime chapitre, nous verrons une nouvelle dfinition des
espaces projectifs : ce sera la "construction algbrique des espaces pro-
jectifs".
CHAPITRE 3.

PREMIRES PROPRITS DES BIRAPPORTS.

Convention 1.
Soient d1 , d2 , d3 , d4 quatre droites coplanaires et concourantes. Lorsque lon
parlera du birapport de ces droites, quil soit compris quil sagit du birapport
de leurs points dintersection respectifs avec une droite quelconque ne passant
pas par le point de concours des quatre premires.
Comme nous lavons montr, ce dernier birapport ne dpend pas du choix de la
cinquime droite.
Convenons de reprsenter le birapport des droites d1 , d2 , d3 , d4 par le
symbole [d1 , d2 , d3 , d4 ].

Problme 1.
Soient a, b, c, d quatre droites concourantes en un point O. Connaissant seule-
ment les angles forms par ces quatre droites, trouver leur birapport.

Soient A, B, C, D les intersections respectives de a, b, c, d avec une droite


quelconque ne passant pas par O, et soit h la distance de O cette droite.
Exprimons, de deux faons diffrentes, les aires algbriques des triangles ainsi
forms :

9
10

2 Aire 4AOC = OA OC Sin AOC Aire 4AOC = AC h





2 Aire 4AOD = OA OD Sin AOD Aire 4AOD = AD h

2 Aire 4BOC = OB OC Sin BOC Aire 4BOC = BC h





2 Aire 4BOD = OB OD Sin BOD Aire 4BOD = BD h

Par dfinition, le birapport de A, B, C, D est

AC/AD
[A, B, C, D] =
BC/BD

le deuxime groupe de relations nous montre que ceci peut aussi scrire :

Aire 4AOC/ Aire 4AOD


[A, B, C, D] =
Aire 4BOC/ Aire 4BOD

, daprs le premier groupe de relations,

( 12 OA OC Sin AOC)/( 12 OA OD Sin AOD)


[A, B, C, D] =
( 12 OB OC Sin BOC)/( 21 OB OD Sin BOD)
Sin AOC/ Sin AOD
=
Sin BOC/ Sin BOD

or [A, B, C, D] = [a, b, c, d] ;

Sin AOC/ Sin AOD


[a, b, c, d] =
Sin BOC/ Sin BOD
Sin (a, c)/ Sin (a, d)
= .
Sin (b, c)/ Sin (b, d)

Q.E.F.

Dfinition 1.
Soient A, B, C, D, M cinq points cocycliques. Le birapport [(M A), (M B), (M C), (M D)]
est appel le birapport circulaire de A, B, C, D par rapport M .

Proposition 1.
Soient A, B, C, D quatre points cocycliques. Le birapport circulaire de A, B,
C, D par rapport M a la mme valeur quel que soit le point M sur le cercle
ABCD.
Soient M est N deux points sur le cercle ABCD.
11

Les angles inscrits AM B et AN B interceptent tous les deux larc AB ;


((M A), (M B)) = ((N A), (N B)) ;
de mme, ((M B), (M C)) = ((N B), (N C)) et ((M C), (M D)) = ((N C), (N D)) ;
[(M A), (M B), (M C), (M D)] = [(N A), (N B), (N C), (N D)].

C.Q.F.D.

Proposition 2.
Si A, B, C, D sont quatre points aligns,

[C, D, A, B] = [A, B, C, D].


1
[B, A, C, D] = .
[A, B, C, D]
[A, B, D, C] = idem.

Corollaire de la Prop. 2
Le birapport de quatre points aligns ne change pas si lon permute ces points
deux deux.

Proposition 3.
Si A, B, C, D sont quatre points aligns,

[A, B, C, D] + [A, C, B, D] = 1.

Proposition 4.
Soient A, B, C, D quatre points aligns. En permutant ces points de toutes les
manires possibles, on ne forme au maximum que 6 birapports diffrents. Et
si lun de ces birapports gale b, les autres galent :
1 1 1 b
, 1 b, , 1 , et .
b 1b b b1
12

Soit W , X, Y , Z une permutation de A, B, C, D. Il est vident que lensemble des


permutations de A, B, C, D gale lensemble des permutations de W , X, Y , Z.
Toute permutation de A, B, C, D est :
(1) soit de la forme W , - ,- ,-
(2) soit dune autre forme ; dans ce cas changeons W et le premier point, de
faon amener W la premire position. changeons ensuite les deux autres points :
nous obtenons une permutation de la forme W , - ,- ,- , dont le birapport est gal
celui de la permutation de dpart.
les birapports obtenus en permutant A, B, C, D ont les mmes valeurs que
ceux obtenus en mettant W la premire position, et en permutant seulement X, Y ,
Z.
Or il ny a que 6 faons de permuter X, Y , Z.
il ne peut y avoir que 6 birapports diffrents, nommment :
[W, X, Y, Z], [W, X, Z, Y ], [W, Y, X, Z], [W, Y, Z, X], [W, Z, X, Y ], [W, Z, Y, X].
Et si le premier de ces birapports gale b :
1 1
- le 2e gale , car [W, X, Z, Y ] = ;
b [W, X, Y, Z]
- le 3e gale 1 b, car [W, Y, X, Z] = 1 [W, X, Y, Z] ;
1 1
- le 4e gale , car [W, Y, Z, X] = ;
1b [W, Y, X, Z]
1
- le 5e gale 1 , car [W, Z, X, Y ] = 1 [W, X, Z, Y ] ;
b
b 1
- et le dernier gale , car [W, Z, Y, X] = .
b1 [W, Z, X, Y ]
C.Q.F.D.

Problme 2.
Trouver les valeurs de b telles que ces 6 birapports ne soient pas tous diffrents.
Si lun des 6 birapports gale b, les autres galent :
1 1 1 b
, 1 b, , 1 , et ;
b 1b b b1
pour quau moins deux des birapports soient gaux, il faut et il suffit que lune
des galits suivantes soit vraie :
1 1 1 b
b= , b = 1 b, b= , b=1 , b= .
b 1b b b1
Supposons quen assignant b une certaine valeur k, une de ces galits soit
satisfaite ; appelons l, m, n, p les valeurs prises par les seconds membres des quatre
autres galits. Si nous assignons ensuite b une de ces quatre valeurs, disons l, alors
une des galits sera videmment satisfaite, et les seconds membres des quatre autres
galits vaudront k, m, n, p.
Cette tude tant termine, rsolvons le problme :
1
Les solutions de lquation b = sont b = 1, b = 1 ;
b
si b = 1, les seconds membres des quatre galits restantes valent 0, , 0, ;
13

si une des valeurs 0, 1, est assigne b, deux birapports vaudront 0, deux


birapports vaudront 1, et les deux birapports restants vaudront ;
si b = 1, les seconds membres des quatre galits restantes valent 2, 12 , 2, 12 ;
si une des valeurs 1, 12 , 2 est assigne b, deux birapports vaudront 1, deux
birapports vaudront 12 , et les deux birapports restants vaudront 2.
1
La solution de lquation b = 1 b est b = 2 ; cette valeur a dj t trouve.
1
Les solutions de lquation b = sont b = 1i2 3 , b = 1+i2 3 ;
1b
si b = 1i2 3 , les seconds membres des quatre galits restantes valent 1+i2 3 ,

1+i 3 1i 3 1+i 3
2 , 2 , 2 ;

si une des valeurs 1i2 3 , 1+i2 3 est assigne b, trois birapports vaudront

1i 3
2 , et les trois birapports restants vaudront 1+i2 3 .
1
1i 3 1+i 3
Les solutions de lquation b = 1 sont b = 2 , b= 2 ; ces valeurs ont
b
dj t trouves.
b
Les solutions de lquation b = sont b = 0, b = 2 ; ces valeurs ont dj t
b1
trouves.
Finalement, les valeurs donner b pour que certains des 6 birapports soient
gaux sont :

1
b= , 2 ou 1
2
b = 1, 0 ou
b = j ou j 2

Q.E.F.

Les birapports 21 , 2 et -1 sont ceux, par exemple, de quatre points tels


quun soit au milieu de deux autres, et que le quatrime soit linfini.
Les birapports 1, 0 et sont ceux, par exemple, de quatre points tels
que deux soient confondus, et quun des deux autres soit linfini.
Les birapports complexes j et j 2 , sont ceux, par exemple, de quatre
points du plan complexe tels que trois forment un triangle quilatral,
et que le quatrime soit linfini (en fait, nous navons pas donn de
dfinition du birapport de quatre points complexes, mais elle se devine
trs bien).
CHAPITRE 4.
ESPACES PROJECTIFS ET TRANSFORMATIONS
PROJECTIVES.

Le problme de la construction gomtrique des espaces projectifs est


quelle nous oblige distinguer les points ordinaires des points linfini.
Pour viter ce problme, il faut faire comme si le plan-image nexistait
pas, et considrer uniquement les droites centrales qui contiennent les
points projeter.
Ceci suggre une construction algbrique des espaces projectifs qui ne
permet pas de distinguer les lments ordinaires de ceux linfini. Nous
pourrons alors choisir arbitrairement les points qui reprsentent linfini,
soit en fixant lhyperplan qui doit les contenir, soit, ce qui revient au
mme, en donnant lquation de cet hyperplan (cest ce que nous ferons
dans le chapitre suivant).

*
* *
*
Convention 1.
Quand, dans ce chapitre, il sera question dun vecteur de E ou dun scalaire,
quil soit compris que ce vecteur ou ce scalaire est non-nul, moins que le
contraire soit indiqu.
N.B. cette convention ne sapplique qu ce chapitre.

Dfinition 1.
La droite vectorielle engendre par un vecteur est appele sa droite vecto-
rielle associe.

Dfinition 2.
Lensemble des droites (vectorielles) dun espace vectoriel est appel son es-
pace projectif associ.

14
15

Convention 2.
Si x est un vecteur, convenons de reprsenter sa droite vectorielle associe par
le symbole |x.

Convention 3.
Si E est un espace vectoriel, convenons de reprsenter son espace projectif
associ par le symbole |E.

Dfinition 3.
Si E est un espace vectoriel de dimension n, la dimension de son espace
projectif associ est n 1.

Dfinition 4.
Si E est un espace vectoriel, et que F soit un sous-espace vectoriel de E, |F
est appel une varit linaire projective de |E.

Dfinition 5.
Un espace projectif est appel :
plan projectif si sa dimension = 2 ;
droite projective " " " = 1;
point projectif " " " = 0.

Proposition 1.
Si f est une transformation linaire injective, |f (|x) =(df) |f (x) dfinit bien
une fonction univoque.
Il faut vrifier que |f (|x) a la mme valeur quel que soit lantcdent de |x par |.
Soient x et y deux vecteurs tels que |x = |y, alors ax = by (o a et b sont deux
scalaires dterminer),
f (ax) = f (by)
Comme f est une transformation linaire, f (ax) = a f (x) et f (by) = b f (y),
a f (x) = b f (y)
|a f (x) = |b f (y)
Or |a f (x) = |f (x) et |b f (y) = |f (y),
|f (x) = |f (y).

C.Q.F.D.
16

Dfinition 6.
Si f est une transformation linaire injective, |f (comme dfinie dans le tho-
rme prcdent) est appele la transformation projective associe f .

Convention 4.
partir de maintenant, lorsquil sera question dune transformation linaire,
quil soit compris quelle est injective ( moins que le contraire soit indiqu).

Proposition 2.
Si f est une transformation linaire, et que |f soit sa transformation projective
associe, toutes les transformations de la forme af (avec a 6= 0) ont galement
|f pour transformation projective associe.
Soit x un vecteur quelconque,

|af (|x) = |(af )(x)


= |a f (x)
= |f (x)
= |f (|x)

|af = |f .

C.Q.F.D.

Proposition 3.
Si f est une transformation linaire inconnue, que |f soit sa transformation
projective associe, et que (e1 , . . . . . . , en ) soit une base de E : la donne de
|f (|e1 ), . . . . . . , |f (|en ) ne suffit pas pour dterminer |f .
Ce thorme est une proposition particulire ngative, nous pouvons donc le prouver
en nonant un exemple.
Tout dabord, nous avons besoin du lemme suivant :

Lemme de Schur.

Trouver lensemble des transormations linaires qui fixent chaque droite vectorielle.
17

Soit g une transformation qui fixe chaque droite vectorielle de E, et soient x, y


deux vecteurs dune base de E.

g(x) = ax

g(y) = by o a, b, c sont des scalaires dterminer.

g(x + y) = c(x + y)

Comme g est une transformation linaire, g(x + y) = g(x) + g(y)


c(x + y) = ax + by, c.--d. cx + cy = ax + by
x et y tant des vecteurs dune base de E, c = a et c = b, a = b ;
g multiplie tous les vecteurs dune base de E par un mme scalaire a ;
g est une homothtie.
Ainsi lensemble recherch est inclus dans lensemble des homothties.
Remarquons maintenant que lensemble des homothties est inclus dans len-
semble recherch.
lensemble des transformations linaires qui fixent chaque droite vectorielle est
lensemble des homothties.

Q.E.F.

Soit f une transformation linaire inconnue. On nous donne seulement :


|f (|e1 ) = |e1 , . . . . . . , |f (|en ) = |en .
Nous pouvons dj affirmer que f (e1 ) = e1 , . . . . . . , f (en ) = en , o , . . . . . . ,
sont des scalaires dterminer. Rciproquement, pour tout choix de ces scalaires, ces
relations sont susceptibles dtre satisfaites par f .
la matrice de f dans la base (e1 , . . . . . . , en ) est de la forme

0 0
0 . . . 0

0 0

Rciproquement, toute matrice de cette forme, o , . . . . . . , sont des scalaires,


est susceptible de reprsenter f .
Si = . . . . . . = , et que ces scalaires soient non-nuls, alors f est une homothtie,
dans ce cas, daprs le lemme, elle fixe toute droite vectorielle, |f = Id|E
sinon, f nest pas une homothtie, dans ce cas, daprs le lemme, elle ne fixe pas
toute droite vectorielle, |f 6= Id|E
Nous avons montr, dans cet exemple, que la donne de |f (|e1 ), . . . . . . , |f (|en )
peut ne pas suffire pour dterminer |f .

C.Q.F.D.

Proposition 4.
Si f est une transformation linaire inconnue, que |f soit sa transformation
projective associe, et que (e1 , . . . . . . , en ) soit une base de E : la donne de
|f (|e1 ), . . . . . . , |f (|en ) et de |f (|e1 + . . . . . . + en ) suffit pour dterminer |f .
Notons la somme e1 + . . . . . . + en , et | sa droite vectorielle associe.
Soit f une transformation linaire inconnue. On nous donne seulement :
|f (|e1 ) = |f1 , . . . . . . , |f (|en ) = |fn et |f (|) = |.
18

Les premires relations montrent que f (e1 ) = f1 , . . . . . . , f (en ) = fn , o , . . . . . . ,


sont des scalaires dterminer. La dernire relation montre que f () = k, o k est
un autre scalaire dterminer.
la matrice de f dans la base (e1 , . . . . . . , en ) est
0 0
M 0 . . . 0

0 0

o M est la matrice forme des vecteurs-coordonnes de f1 . . . . . . fn exprims


dans la base (e1 , . . . . . . , en ).
Lgalit f () = k peut scrire comme une galit de vecteurs :
0 0

1
.. .
M 0 . 0 .. = k
0 0 1

Ceci peut se simplifier :




M .. = k

.

f est une transformation linaire injective, det f 6= 0 ;


det M , en tant que facteur de det f , est 6= 0 ;
la matrice M est inversible, nous pouvons alors crire :
1

..
. = k M

Une fois effectu le produit de M 1 par le vecteur-coordonnes de , il reste :



c1
.. ..
. = k .
cn

Ainsi, les scalaires , . . . . . . , sont dtermins, un facteur k prs ;


la transformation f est elle aussi dtermine, ce facteur k prs ;
la transformation projective |f est entirement dtermine par les donnes.

C.Q.F.D.
CHAPITRE 5.
COORDONNES HOMOGNES ET TRILINAIRES.

1. Coordonnes homognes.

(Premire construction.)
Convention 1.
Choisissons un repre (;~, ~) du plan-image. Quand les coordonnes cart-
siennes dun point seront donnes sans quun repre soit prcis, quil soit

compris que ces coordonnes sont exprimes dans le repre (O;~, ~, O).

Proposition 1.
Soit A(x, y, z) un point de lespace distinct de O. Les points de (OA) sont ceux
qui ont pour coordonnes cartsiennes (kx, ky, kz) avec k R.

Proposition 2.
Soit A(x, y, z) un point de lespace, de coordonne z non-nulle. Sa projection
conique a pour coordonnes cartsiennes ( xz , yz , 1).
Soit M le point de coordonnes cartsiennes ( xz , yz , 1).
( xz , yz , 1) = (kx, ky, kz) avec k = z1 , M (OA).
De plus, la troisime coordonne de M est 1, M plan-image.
M est dans lintersection de (OA) avec le plan-image, c.--d. que M est la
projection conique de A.
C.Q.F.D.

Proposition 3.
Soit P un point du plan-image, distinct de , et dont les coordonnes cart-
siennes dans (;~, ~) sont (x, y), et soit D la droite centrale parallle (P ).
Les points de D ont pour coordonnes cartsiennes (x, y, 0).

19
20

Dfinition 1.
tant donn un point P du plan-image, on appelle coordonnes homognes
de ce point les coordonnes cartsiennes de tout point de (OP ) autre que O.

Convention 2.
Les coordonnes homognes de la forme (x, y, 0), autres que (0, 0, 0), seront
considres commes des coordonnes dun point linfini : celui de la droite
centrale passant par (x, y, 0) (cest aussi, plus gnralement, celui de toutes les
droites parallles celle-l).

Proposition 4.
Soit une droite du plan-image, et dquation ax + by + c = 0 dans (;~, ~). Son
quation en coordonnes homognes est ax + by + cz = 0.

Convention 3.
z = 0 sera considre comme lquation, en coordonnes homognes, dune
droite linfini : celle du plan-image (cest aussi, plus gnralement, celle de
tous les plans parallles celui-l).

(Deuxime construction.)

Donnons maintenant la dfinition algbrique des coordonnes homo-


gnes dans le plan projectif :

Dfinition 2.
Soient B une base de E, et v un vecteur non-nul de E. On appelle coordon-
nes homognes du point projectif |v les composantes de v dans B.
21

La construction algbrique du plan projectif est intresante car jusqu


prsent, nous navons pas distingu les points ordinaires des points
linfini. En fait, comme les points projectifs sont tous de la mme
nature, il ny a aucune raison de choisir une droite projective plutt
quune autre pour reprsenter linfini. La dfinition suivante est donc
arbitraire, et nous la choisissons seulement parce quelle rappelle les
deux dernires conventions :

Dfinition 3.
Choisissons une base B de E. Les points projectifs de |E dont les coordonnes
homognes dans B sont de la forme (x, y, 0) (o x et y sont deux scalaires)
sont appels des points linfini. La droite projective forme par ces points
est appele la droite de linfini.

2. Coordonnes barycentriques.

Si lon choisit trois non-aligns dans un plan affine, tout point de ce


plan peut considr vu comme un barycentre des trois premiers points,
affects de masse convenables dont la somme ne doit pas tre nulle :
cest ainsi que lon repre les points dans le systme des coordonnes
barycentriques. Ce systme peut encore tre utilis pour reprer les
points dun plan projectif, condition dattribuer des coordonnes aux
points linfini : ce seront prcisemment les coordonnes dont la somme
est nulle.

Proposition 5.
Soient trois points A, B, C, et trois nombres rels a, b, c tels que a + b + c 6= 0.

Il existe un unique point M tel que aM A + bM B + cM C = 0 , et ce point est
coplanaire avec A, B, C.
(Analyse.)
Si un tel point M existe,

aAM = bM B + cM C;

(a + b + c)AM = b(AM + M B) + c(AM + M C);
b c
AM = AB + AC.
a+b+c a+b+c
(Synthse.)
Comme les points A, B, C sont connus, et que a+b+c 6= 0, cette dernire relation
dfinit un unique point M , et montre quil est coplanaire avec A, B, C.
22

Enfin, si un point M vrifie cette relation, alors

b c
AM = AB + AC;
a+b+c a+b+c

(a + b + c)AM = b(AM + M B) + c(AM + M C);

aAM = bM B + cM C;

aM A + bM B + cM C = 0 .

C.Q.F.D.

Dfinition 4.
Le point M dfini dans le thorme prcdent est appel le barycentre des
points A, B, C affects des masses respectives a, b, c.

Convention 4.
Soient trois points A, B, C, et trois nombres rels a, b, c tels que a + b + c 6= 0.
Convenons de reprsenter le barycentre des points A, B, C affects des masses
respectives a, b, c par le symbole Bary(A, a)(B, b)(C, c).

Proposition 6.
Si A, B, C sont trois points non-aligns, tout point du plan (ABC) peut
tre considr comme un barycentre des points A, B, C affects de masses
convenables.

A, B, C ne sont pas aligns, les deux vecteurs AB et AC sont indpendants et
engendrent tous les vecteurs du plan (ABC).

Si M est un point du plan (ABC), le vecteur AM est aussi dans ce plan,

il existe deux nombres rels et tels que AM = AB + AC ;

AM = (AM + M B) + (AM + M C);

(1 )AM = M B + M C;

(1 )M A + M B + M C = 0 , cest--dire :
M = Bary(A, 1 )(B, )(C, ).

C.Q.F.D.


23

Dfinition 5.
Choisissons un triangle 4ABC du plan-image ; nous lappellerons le triangle
de rfrence.
Si M est un point du plan de projection, on appelle coordonnes ba-
rycentriques de ce point tout triplet de nombres (a, b, c) tels que M =
Bary(A, a)(B, b)(C, c).

Problme 1.
Trouver les relations entre les coordonnes homognes dun point et ses coor-
donnes barycentriques, lorsque le triangle de rfrence des coordonnes bary-
centriques concide avec le triangle form par le point et les vecteurs ~, ~ du
repre des coordonnes homognes.
Soit M un point du plan de projection, situ distance finie des points A, B, C ;
soient (X, Y, Z) un triplet de coordonnes homognes de M , et (a, b, c) un triplet de
coordonnes barycentriques de M .

X Y X Y X Y
AM = ~ + ~ = AB + AC = (AM + M B) + (AM + M C);
Z Z Z Z Z Z

X Y X Y
(1 )AM = M B + M C;
Z Z Z Z
X Y X Y
(1 )M A + M B + M C = 0 .
Z Z Z Z

X Y X Y
Cette dernire relation nous montre que M = Bary(A, 1 Z Z )(B, Z )(C, Z );
or M = Bary(A, a)(B, b)(C, c);

X Y


a = k(1 )


Z Z
X

b=k avec Z, k 6= 0. ()

Z
c = kY



Z
(Discussion.)
Nous pouvons rcrire le prcdent systme de relations de la manire suivante :

a = (Z X Y )

k
b = X avec = 6= 0. ()
Z
c = Y

Si M est un point linfini, sa troisime coordonne Z est 0 ; les coordonnes


barycentriques a, b, c telles quelles sont dfinies dans () sont indtermines ; mais,
si nous considrons (), ces coordonnes sont parfaitement dtermines :
a = (X Y ), b = X, c = Y (avec 6= 0).
24

3. Coordonnes trilinaires.

Cest un fait bien connu que si un point est lintrieur dun triangle
quilatral, la somme de ses distances aux cts du triangle gale laire
de ce triangle ; et si les distances considres sont algbriques (cest--
dire si on leur permet de changer de signe quand le point change de
ct), cette galit devient valable pour tous les points du plan. Nous
allons dfinir un systme de coordonnes en utilisant un triangle quel-
conque comme rfrence, et dans lequel la somme des trois coordonnes
est la mme pour tous les points du plan.

Dfinition 6.
Choisissons un triangle 4ABC du plan-image ; nous lappellerons le triangle
de rfrence.
Si M est un point du plan de projection, et que :
- dsigne le produit la distance de M la droite (BC) par la longueur
du ct BC, le tout affect du signe + ou selon que M se trouve, ou non,
du mme ct de (BC) que le triangle de rfrence ;
- dsigne le produit la distance de M la droite (AC) par la longueur
du ct AC, le tout affect du signe + ou selon que M se trouve, ou non,
du mme ct de (AC) que le triangle de rfrence ;
- dsigne, etc. . .
alors : les nombres , , sont appels des coordonnes trilinaires de
M.

Proposition 7.
La somme des coordonnes trilinaires est constante, et vaut laire du triangle
de rfrence.
25

Le triangle de rfrence 4ABC partage le plan en sept zones. Choisissons arbi-


trairement un point M du plan ; lun des vnements suivants est ralis :
(1) M est lintrieur du triangle de rfrence ;
(2) M est du mme ct de deux droites du triangle de rfrence que ce dernier ;
(3) M est du ct oppos au triangle de rfrence par rapport deux droites de
ce dernier.
(Remarque : deux vnements sont simultanment raliss lorsque M est sur une
droite du triangle de rfrence, et les trois vnements sont simultanment raliss
lorsque M est un des sommet du triangle de rfrence).
Appelons hA , hB , hC les distances respectives de M aux droites (BC), (AC),
(AB).

(1) Si M est lintrieur du triangle de rfrence :

= +hA |BC| = Aire 4BM C;


= +hB |AC| = Aire 4AM C;
= +hC |AB| = Aire 4AM B;
+ + = Aire 4BM C + Aire 4AM C + Aire 4AM B = Aire 4ABC.

(2) Si M est du mme ct de (AB) et (BC) que le triangle de rfrence :

= +hA |BC| = Aire 4BM C;


= hB |AC| = Aire 4AM C;
= +hC |AB| = Aire 4AM B;
+ + = Aire 4BM C + Aire 4AM B Aire 4AM C = Aire 4ABC.
Par permutation de A, B, C, ce rsultat reste vrai si M se trouve dans lune des
deux autres zones numrotes (2).
26

(3) Si M est du ct oppos au triangle de rfrence par rapport (AB) et (AC) :

= +hA |BC| = Aire 4BM C;


= hB |AC| = Aire 4AM C;
= hC |AB| = Aire 4AM B;

+ + = Aire 4BM C Aire 4AM C Aire 4AM B = Aire 4ABC.


Par permutation de A, B, C, ce rsultat reste vrai si M se trouve dans lune des
deux autres zones numrotes (3).

Dans tous les cas, + + = Aire 4ABC.

C.Q.F.D.

Problme 2.
Trouver :
(1) les coordonnes trilinaires des milieux des cts du triangle de rf-
rence ;
(2) les quations des parallles aux cts de ce triangle.
(1) Soit D le milieu de BC. Appelons hb , hc les distances respectives de D aux droites
(AC), (AB) ; et appelons h la distance de A la droite (BC).

Comme D est lintrieur du traingle de rfrence,


27

= 0;
= +hB |AC| = Aire 4ADC;
= +hC |AB| = Aire 4ADB;
or Aire 4ADC = 21 |DC|h = 41 |BC|h
et Aire 4ADB = 12 |DB|h = 14 |BC|h ;
= = 12 Aire 4ABC.
les coordonnes trilinaires du milieu de BC sont (0, 21 Aire 4ABC, 12 Aire 4ABC).
Par permutation de A, B, C,
les coordonnes trilinaires du milieu de AB sont ( 21 Aire 4ABC, 21 Aire 4ABC, 0) ;
celles du milieu de AC sont ( 12 Aire 4ABC, 0, 12 Aire 4ABC).

(2) Une droite est parallle AB si et seulement si tous ses points sont la mme
distance de (AB) ;
lquation dune parallle AB est de la forme = une constante ;
de mme, les quations des parallles BC sont de la forme = une constante ;
celles des parallles AC sont de la forme = une constante.

Q.E.F.

Problme 3.

Une bille parcourt un billard triangulaire : elle roule du premier bord au


deuxime, paralllement au troisime, puis rebondit et roule jusquau troi-
sime bord, paralllement au premier, et ainsi de suite. La bille finit-elle par
revenir sa position initiale ?
Choisissons le cadre du billard comme triangle de rfrence, et nommons ses sommets
A, B, C de telle sorte que BC soit le premier ct du billard, AC le deuxime, et AB
le troisime.
Au premier instant, la bille se trouve sur le ct BC ; sa premire coordonne
= 0; appelons (0, b, c) les coordonnes de la bille cet instant.
Puis la bille rejoint le ct AC, paralllement AB. Au moment du rebond : la
troisime coordonne de la bille na pas chang (car le dplacement sest fait sur une
k AB) ; la deuxime coordonne = 0 (car ce moment la bille est sur (AC)) ; la
premire coordonne = c (car la somme des trois coordonnes reste constante, et vaut
a + b).
Les coordonnes de la bille cet instant sont (b, 0, c).
28

Plus gnralement : si la balle roule du me bord du billard au ne , paralllement


au pe , sa me coordonne est permute avec la ne , alors que la pe ne change pas.
Ainsi :
(1) Au premier instant, les coordonnes de la bille sont : (0, b, c) ;
(2) au premier rebond (sur le 2e ct) : (b, 0, c) ;
(3) " 2e " ( " " 3e " ) : (b, c, 0) ;
(4) " 3e " ( " " 1er " ) : (0, c, b) ;
(5) " 4e " ( " " 2e " ) : (c, 0, b) ;
(6) " 5e " ( " " 3e " ) : (c, b, 0) ;
(7) " 6e " ( " " 1er " ) : (0, b, c) ;
la bille revient sa position initiale au bout de six rebonds, et au bout de trois
seulement si b = c, cest--dire si la bille part du milieu de BC.

Q.E.F.
CHAPITRE 6.

LES THORMES DE PAPPUS ET DESARGUES.

Proposition 1.
(Thorme de Pappus.)

Soient d et d0 deux droites distinctes, et O leur point dintersection (ven-


tuellement linfini). Si A, B, C sont trois points distincts de d, tous diffrents
de O, que A0 , B 0 , C 0 soient trois points distincts de d0 , tous diffrents de O, et
que X, Y , Z dsignent les intersections respectives des droites (AB 0 ) et (BA0 ),
(BC 0 ) et (CB 0 ), (AC 0 ) et (CA0 ) : alors X, Y et Z sont aligns.

Il existe une transformation projective qui envoie les points X et Y linfini. Comme
lalignement est une proprit projective, il nest pas altr par cette transformation :
nous pouvons donc raisonner en considrant que X et Y sont linfini, cest--dire
que (AB 0 ) k (BA0 ) et (BC 0 ) k (CB 0 ).
De deux choses lune :

29
30

(1) soit (AB) k (A0 B 0 ), dans ce cas ABA0 B 0 et BCB 0 C 0 sont des paralllo-
grammes ;
BC = B 0 C 0 , AB 0 = A0 B et AB 0 C 0 = A0 BC ;
4AB 0 C 0 et 4A0 BC sont gaux (2e cas dgalit des triangles), et leurs cts
AC et A0 C satisfont galement le cas dgalit ;
0

(AC 0 ) k (A0 C) ;

(2) soit (AB) et (A0 B 0 ) se rencontrent en un point O, dans ce cas, daprs le


thorme de Thals,
OB 0 OA OB 0 OC
= et =
OA0 OB OC 0 OB
en faisant le rapport membre membre de ces deux galits, on obtient
OC 0 OA
=
OA0 OC
(AC 0 ) k (A0 C).
Dans tous les cas, (AC 0 ) k (A0 C) ;
Z est un point linfini ;
comme X et Y sont aussi des points linfini, X, Y et Z sont aligns.
C.Q.F.D.

Remarque : si V dsigne un espace vectoriel de dimension 3 sur un corps


K, alors, pour que le thorme de Pappus soit vrai dans le plan projectif
|V , il faut et il suffit que K soit commutatif. Autrement dit : le thorme
de Pappus est un test (ncessaire et suffisant) de la commutativit dun
corps.
31

Proposition 2.
(Thorme de Desargues.)

Soient 4ABC et 4A0 B 0 C 0 deux triangles sans sommets communs. Si les


droites (AA0 ), (BB 0 ), (CC 0 ) sont concourantes en un point O, et que X, Y ,
Z dsignent les intersections respectives de (AB) et (A0 B 0 ), (BC) et (B 0 C 0 ),
(CA) et (C 0 A0 ) : alors X, Y et Z sont aligns.
Il existe une transformation projective qui envoie les points X et Y linfini ; nous
pouvons donc raisonner en considrant que X et Y sont linfini, cest--dire que
(AB) k (A0 B 0 ) et (BC) k (B 0 C 0 ).

Daprs le thorme de Thals,


OA OB OC OB
= et =
OA0 OB 0 OC 0 OB 0
OA OC
0
= ;
OA OC 0
(AC) k (A0 C 0 ), c.--d. que Z est un point linfini ;
comme X et Y sont aussi des points linfini, X, Y et Z sont aligns.
32

C.Q.F.D.
CHAPITRE 7.
LE PRINCIPE DE DUALIT.

En gomtrie projective, il existe un principe que lon appelle "le prin-


cipe de dualit". Grce ce principe, pour ainsi dire magique, il est possible
de trouver des thormes de gomtrie nouveaux par des changements de d-
nomination, ou, plus exactement, par des permutations de concepts. Il suffit
dchanger les concepts de "couper" et de "runir", dune part, et, ceux de
"point" et de "droite", dautre part. . Un raisonnement algbrique per-
met de justifier le principe de dualit, et mme den obtenir une expression
gnrale.

*
* *
*

1. Expression gnrale du principe de dualit.


Dfinition 1.
Une fonction linaire de E dans K est appele une forme linaire.

Dfinition 2.
La fonction qui, tout couple (, x), o est une forme linaire et x un
vecteur, associe le scalaire (x) est appele la fonction dvaluation.

Convention 1.
Convenons de reprsenter la fonction dvaluation par le symbole .

Egmont Colerus, "De Pythagore Hilbert", p. 210.

33
34

Proposition 1.
Lensemble des formes linaires sur E, muni des lois naturelles daddition des
applications linaires et de multiplication des applications linaires par des
scalaires, est un espace vectoriel de mme dimension que E.

Convention 2.
Convenons de reprsenter lespace des formes linaires sur E par le symbole
E?.

Proposition 2.
La fonction dvaluation est bilinaire.
Soient , deux formes linaires, x, y deux vecteurs, et a, b deux scalaires, ces six
lments tant arbitrairement choisis ;

( + a, x) = ( + a)(x)
= (x) + a (x)
= (, x) + a (, x)

(, x + by) = (x + by)
= (x) + b (y)
= (, x) + b (, y)
est bilinaire.

C.Q.F.D.

Dfinition 3.
Une forme linaire et un vecteur x sont dits orthogonaux si (x) = 0.
Ceci revient dire que et x sont orthogonaux si (, x) = 0.

Dfinition 4.
Un ensemble de formes linaires et un ensemble X de vecteurs sont dits
orthogonaux si chaque forme linaire de est orthogonale chaque vecteur
de X.
35

Proposition 3.
Si est un ensemble de formes linaires, lensemble des vecteurs qui lui sont
orthogonaux est un sous-espace vectoriel.
Soit X lensemble des vecteurs orthogonaux .
Soient x, y deux vecteurs quelconques de X, et a un scalaire ;
pour toute forme linaire ,
(, x) = 0 et (, y) = 0 ;
comme est bilinaire, (, ax + y) = a (, x) + (, y) ;
(, ax + y) = a 0 + 0 = 0 ;
comme ceci est vrai pour toute forme linaire , ax + y X ;
X est un sous-espace vectoriel de E.

C.Q.F.D.

Proposition 4.
Si X est un ensemble de vecteurs, lensemble des formes linaires qui lui sont
orthogonales est un sous-espace vectoriel de E ? .

Dfinition 5.
Lensemble des vecteurs orthogonaux une forme linaire, ou un ensemble de
formes linaires, est appel son orthogonal. De mme, lensemble des formes
linaires orthogonales un vecteur, ou un ensemble de vecteurs, est aussi
appel son orthogonal.

Convention 3.
Si est une forme linaire, ou un ensemble de formes linaires, convenons de
reprsenter son orthogonal par le symbole . De mme, si X est un vecteur,
ou un ensemble de vecteurs, convenons de reprsenter son orthogonal par le
symbole X .

Proposition 5.
Si F est un sous-espace vectoriel de E, dim F + dim F = dim E.
Soit p la dimension de F . Choisissons une base (e1 , . . . , ep ) de F , et compltons-la en
une base B = (e1 , . . . , ep , . . . , en ) de E.
Soient e?1 , . . . . . . , e?n les formes linaires dfinies par la formule gnrale
36

e?i (ej ) = ij

B ? = (e?1 , . . . . . . , e?n ) est une base de E ? , et la matrice de dans les bases B, B ?


est

e?1 . . . e?p e?p+1 . . . e?n



e1 1 0 0 0 0 0
.. ..
. 0 . 0 0 0 0

ep 0 0 1 0 0 0
ep+1
0 0 0 1 0 0
.. ..
. 0 0 0 0 . 0
en 0 0 0 0 0 1

(cest--dire la matrice unit).


Cette matrice montre que les seules formes linaires orthogonales {e1 , . . . , ep }
sont e?p+1 , . . . , e?n ;
F = V ect(e?p+1 , . . . , e?n ) ;
comme e?p+1 , . . . , e?n sont des vecteurs dune base, dim F = n p ;
dim F + dim F = n p + p = n = dim E.

C.Q.F.D.

Proposition 6.
Si F et G sont deux sous-espaces vectoriels de E, et que F G : G F .

Soient F et G sont deux sous-espaces vectoriels ; nous avons vu que


si G est inclus dans F , F est inclus dans G . Donc une descrip-
tion des positions respectives de diffrents sous-espaces vectoriels de E
peut tre transforme en une description des positions respectives de
leurs orthogonaux (dans E ? ), par un simple changement du sens des
inclusions.

Soient maintenant deux varits linaires projectives A et B de |E,


telles que A B. Nous pouvons associer de faon unique A et B aux
deux sous-espaces vectoriels F et G tels que A = |F et B = |G, et
linclusion est conserve : F G. Prenons les orthogonaux de F et G ;
linclusion change de sens : G F . Finalement, prenons les espaces
projectifs associs F et G ; linclusion reste inverse : |F |G .
De plus, si n dsigne la dimension de |E,
37

dim A = dim |F
= dim F 1
= (dim E dim F ) 1
= (n + 1 dim F ) 1
= n dim F
= n dim |F 1

Ceci tant vrai pour tous les espaces projectifs, et pour toutes les va-
rits linaires projectives choisies, nous pouvons accepter le principe
suivant :

PRINCIPE DE DUALIT.
Tout thorme de gomtrie projective dans un espace projectif de dimension
n, si son nonc ne fait intervenir que les positions relatives des diffrentes
varits linaires projectives, reste vrai si lon permute les concepts de "varit
linaire projective de dimension m" et de "varit linaire projective de dimen-
sion n m 1", dune part, et les concepts de "contenir" et d"tre inclus",
dautre part.

2. Le principe de dualit dans le plan projectif.


Plaons-nous dans le plan projectif (dimension : n = 2) ; il est pos-


sible de trouver une expression simple du principe du dualit, car les
seules varits linaires projectives autres que le plan sont les points
(dimension : m = 0) et les droites (dimension : m = 1), et que leurs
dimensions se correspondent par la formule n m 1. Le principe
gnral nonc dans la premire section montre que les concepts per-
muter sont ceux de "point" et de "droite", et ceux de "couper" et de
"runir" (deux droites se coupent en un point, deux points sont runis
par une droite) ; nous retrouvons le principe de dualit tel quil est
exprim dans la citation dEgmont Colerus :

PRINCIPE DE DUALIT.
Tout thorme de gomtrie projective du plan, si son nonc ne fait intervenir
que les positions relatives des droites et des points, reste vrai si lon permute
les concepts de "couper" et de "runir", dune part, et, ceux de "point" et de
"droite", dautre part.
38

Pour apprcier le pouvoir de ce principe, appliquons-le aux deux tho-


rmes du chapitre prcdent : les thormes de Pappus et de Desargues.
Le thorme de Pappus affirme ceci :
Soient d et d0 deux droites distinctes, et O leur point dintersection
(ventuellement linfini). Si A, B, C sont trois points distincts sur
d, tous diffrents de O, que A0 , B 0 , C 0 soient trois points distincts sur
d0 , tous diffrents de O, et que X, Y , Z dsignent les intersections res-
pectives des droites (AB 0 ) et (BA0 ), (BC 0 ) et (CB 0 ), (AC 0 ) et (CA0 ) :
alors X, Y et Z sont aligns.
En permutant les concepts de "point" et de "droite", et ceux de "cou-
per" et de "runir", nous obtenons le thorme suivant :

Proposition 7.
(Thorme dual de celui de Pappus.)

Soient D et D0 deux points distincts, et o la droite les joignant. Si a, b, c sont


trois droites distinctes concourantes en D, toutes diffrentes de o, que a0 , b0 ,
c0 soient trois droites distinctes concourantes en D0 , toutes diffrentes de o, et
que x, y, z dsignent les droites joignant respectivement les points a b0 et
b a0 , b c0 et c b0 , a c0 et c a0 : alors x, y et z sont concourantes.
39

Il nest pas ncessaire de dmontrer ce dernier thorme : il est vrai en


vertu du principe de dualit.
Maintenant, essayons dobtenir un nouveau thorme partir de celui
de Desargues ; rappelons que le thorme de Desargues affirme ceci :
Soient 4ABC et 4A0 B 0 C 0 deux triangles sans sommets communs. Si
les droites (AA0 ), (BB 0 ), (CC 0 ) sont concourantes en un point O, et
que X, Y , Z dsignent les intersections respectives de (AB) et (A0 B 0 ),
(BC) et (B 0 C 0 ), (CA) et (C 0 A0 ) : alors X, Y et Z sont aligns.
En permutant les concepts de "point" et de "droite", et ceux de "cou-
per" et de "runir", nous obtenons :

Proposition 8.
(Thorme dual de celui de Desargues.) Soient a, b, c les trois droites dun
triangle, et a0 , b0 , c0 les trois droites dun autre triangle, ces six droites tant
distinctes. Si les points a a0 , b b0 , c c0 sont aligns, et que x, y, z dsignent
les droites joignant respectivement a b et a0 b0 , b c et b0 c0 , c a et c0 a0 :
alors x, y et z sont concourantes en un point O.

Ce nouveau thorme peut tre reformul ainsi :


Soient 4ABC et 4A0 B 0 C 0 deux triangles sans sommets communs.
Si les intersections respectives des droites (AB) et (A0 B 0 ), (BC) et
(B 0 C 0 ), (CA) et (C 0 A0 ) sont alignes, alors les droites (AA0 ), (BB 0 ) et
(CC 0 ) sont concourantes en un point O.
Et nous voyons que ce dernier nonc est la rciproque du thorme
de Desargues.
CHAPITRE 8.
LHEXAGRAMME MYSTIQUE DE PASCAL.

1. Le thorme de Pascal.

Proposition 1.

Soit c une conique projective. Si A, B, C, A0 , B 0 , C 0 sont six points de c, et


que X, Y , Z dsignent les intersections respectives de (AB 0 ) et (BA0 ), (AC 0 )
et (CA0 ), (BC 0 ) et (CB 0 ) : alors X, Y et Z sont aligns.
Si la conique c est dgnre (c..d. si c = deux droites scantes), X, Y et Z sont
aligns en vertu du thorme de Pappus.
Supposons maintenant que la conique ne soit pas dgnre : nous pouvons trouver
une droite qui ne la coupe pas ; il existe une transformation projective qui envoie
cette droite linfini, et limage de c par cette transformation est une ellipse (car les
ellipses sont les seules coniques sans points linfini) : nous pouvons donc raisonner
en considrant que c est une ellipse.
De deux choses lune : soit la droite (XY ) coupe lellipse c, soit elle ne la coupe
pas.

40
41

(1) Si la droite (XY ) ne coupe pas c : il existe une transformation projective


qui envoie (XY ) sur la droite linfini, et limage de c par cette transformation est
encore une ellipse : nous pouvons donc considrer que les points X et Y sont linfini,
cest--dire que (AB 0 ) k (BA0 ) et (BC 0 ) k (CB 0 ).

(AB 0 ) k (BA0 ) arc AB = arc B 0 A0 ;


(BC 0 ) k (CB 0 ) arc BC = arc C 0 B 0 ;
en faisant la somme membre membre des deux galits, on obtient

arc AC = arc C 0 A0

(AC 0 ) k (C 0 A);
Z est un point linfini ;
comme X et Y sont aussi des points linfini, X, Y et Z sont aligns.
(2) Si la droite (XY ) coupe c : il nest plus possible denvoyer (XY ) linfini sans
dnaturer c ; nous ne traiterons pas ce cas, plus difficile que le premier. Toutefois, il est
vident que mme dans ce cas, X, Y et Z sont aligns (car sinon, les mathmaticiens
auraient dj not lerreur).
Dans tous les cas, X, Y et Z sont aligns.

C.Q.F.D.

Problme 1.
tant donns cinq points A, B, C, D, E et une droite d passant par A,
construire lintersection de d avec la conique ABCDE.

Soit F le point recherch. Appelons X et Z les intersections respectives des droites


(AE) et (BD), (CD) et d ;
42

traons la droite (XZ) ; soit Y son intersection avec la droite (CE) ;


d = (AF ) daprs le thorme de Pascal, lintersection des droites (BF ) et
(CE) est sur la droite (XZ) ;
Y est lintersection de (BF ) et (CE) ;
(BY ) = (BF ) ;
comme d = (AF ), nous navons plus qu tracer la droite (BY ) : elle coupe d en
F.
Q.E.F.

Nous disposons ainsi dune mthode pour construire point par point
la conique qui passe par cinq points donns. Gardons la disposition
des points A, B, C, D, E du diagramme prcdent, et ordonnons au
logiciel de gomtrie de dessiner le lieu du point F :

Comme prvu, ce lieu semble tre une conique ; plus exactement une
ellipse.
En disposant convenablement A, B, C, D, E, nous pouvons changer
la nature de ce lieu ; par exemple en une hyperbole :
43

2. Application la gomtrie arithmtique.


Nous venons de voir une application gomtrique du thorme de Pas-


cal (la construction point par point dune conique). Ce thorme va
maintenant nous servir prouver quune certaine loi est associative, et
quainsi elle donne une structure de groupe lensemble des points
coordonnes rationnelles dune ellipse dquation rationnelle.

Plaons-nous dans le plan affine, et choisissons un repre des coordon-


nes cartsiennes.

Dfinition 1.
Un point est dit rationnel si ses coordonnes sont toutes rationnelles. De
mme, une droite est dite rationnelle si ses quations linaires sont ration-
nelles.

Dfinition 2.
On dit que deux points sont de la mme nature algbrique sils sont tous
les deux rationnels, ou si aucun des deux ne lest.


44

Proposition 2.
Soient F (X, Y ) = 0 une quation du second degr coefficients rationnels,
et f (X, Y ) = 0 une quation du premier degr coefficients rationnels. Les
racines communes de ces deux quations, si elles sont relles, sont toutes ra-
tionnelles ou toutes irrationnelles.
Lquation f (X, Y ) = 0 est quivalente un systme de deux quations paramtriques
coefficients rationnels : (
X = at + a0
Y = bt + b0
les racines communes des deux quations de dpart sont des triplets (at+a0 , bt+
b0 ), o t est solution de
F (at + a0 , bt + b0 ) = 0
cette dernire quation peut scrire explicitement

At2 + Bt + C = 0

o A, B, C sont des nombres rationnels ; si cette quation admet des racines relles
t1 et t2 , elle devient
A(t t1 )(t t2 ) = 0

C un rationnel
A t1 t2 = C, do t1 t2 = = = un rationnel;
A un rationnel
t1 et t2 sont deux rationnels ou bien deux irrationnels ;
dans le permier cas, les triplets (at1 + a0 , bt1 + b0 ) et (at2 + a0 , bt2 + b0 ) sont tous
les deux rationnels ;
dans le second cas, ces triplets sont tous les deux irrationnels.

C.Q.F.D.

Corollaire de la Prop. 2
Les deux points dintersection dune droite rationnelle et dune ellipse dqua-
tion rationnelle sont de la mme nature algbrique.

Convention 1.
Jusqu la fin du chapitre, c dsigne une ellipse dont lquation en coordonnes
cartsiennes (disons F (X, Y ) = 0) est rationnelle.

Dfinition 3.
Choisissons un point E de c de coordonnes rationnelles, et une droite d ext-
rieure c dquation rationnelle ; nous les appellerons respectivement le point
de rfrence et la droite de rfrence.
45

Dfinition 4.

est la loi interne dfinie ainsi : si A et B sont deux points de c, et que


P dsigne lintersection (ventuellement linfini) de (AB) et de la droite de
rfrence,
A B =
(
lintersection de c et (P E) autre que E, si c et (P E) ont 2 points dintersection
le point E, si (P E) est tangente c
Pour que cette dfinition reste valable quand A = B, il faut comprendre
que (AA) dsigne la tangente c en A.

Proposition 3 (Consquence directe de la dfinition).


La loi est commutative.

Proposition 4.
Le point E est lment neutre de la loi .

Proposition 5.
Tout point de c admet un inverse dans c pour la loi .
Traons la tangente c en E ; soit P son intersection avec la droite d.
Traons la droite (P M ) ; soit N son intersection avec c autre que M (si (P M )
est tangente c, on prendra N = M ) ;
par construction, E = M N ;
46

N est linverse de M pour la loi ;


tout point de c admet un inverse pour la loi .

C.Q.F.D.

Proposition 6.
La loi est associative.
Soient A, B, C trois points de c. Construisons les points A B, B C, (A B) C,
A (B C), et pour abrger, nommons-les respectivement C 0 , A0 , R, S.
Soient X, Y , Z les intersections respectives de (AB) et (EC 0 ), (EA0 ) et (CB),
(AA0 ) et (CC 0 ) ;
daprs le thorme de Pascal, X, Y , et Z sont aligns ;
or X et Y sont deux points de d (ce sont les deux points intermdiaires des
constructions de c0 = a b et a0 = b c) ;
Z d.
Lintersection de (AA0 ) et (ES) est un point de d (cest le point intermdiaire de
la construction de S) ;
ce point dintersection = Z ;
de mme, lintersection de (CC 0 ) et (ER) est un point de d ;
ce point dintersection = Z ;
ces deux points dintersection sont confondus,
do R=S, cest--dire (A B) C = A (B C).

C.Q.F.D.

Proposition 7 (Consquence des quatre dernires propositions).


Lellipse c munie de la loi est un groupe ablien.

Proposition 8.
Lensemble des points rationnels de c muni de la loi est un groupe ablien.
Soient A et B deux points rationnels de c.
La droite (AB) est rationnelle ;
or la droite de rfrence d est aussi rationnelle ;
le point dintersection P de la droite (AB) et de la droite d est rationnel.
Comme le point de rfrence E est rationnel, la droite (P E) est rationnelle ; elle
coupe c en deux points : E et A B (ces deux points tant confondus si (P E) est
tangente c) ;
de plus, c est une ellipse dquation rationnelle ;
A B est de la mme nature algbrique que E ;
A B est un point rationnel.
Ainsi, lensemble des points rationnels de c est clos pour la loi ;
cest un sous-groupe de lellipse munie de la loi .

C.Q.F.D.
CHAPITRE 9.
LA RCIPROCIT POLAIRE.

Convention 1.
(Notation de Muir.)
Convenons de reprsenter le dveloppement de

a d e f p
t
b g h k q
c l m n r

par le symbole

p q r

d e f a
g h k b
l m n c

X Y
Z

Proposition 1. a b c X
Si Q est une forme quadratique dfinie par Q(X, Y, Z) = b d e Y , ses
c e f Z
drives partielles sont :

x y z x y z

2a 2b 2c 1 0 0 0 1
Q Q
(x, y, z) = 0 0 0 1 (x, y, z) = 2b 2d 2e 1
X Y
0 0 0 1 0 0 0 1

x y z

0 0 0 1
Q
(x, y, z) = 0 0 0 1
Z
2c 2e 2f 1

47
48

Proposition 2.
Si Q(X, Y, Z) est une forme quadratique, et que B soit sa forme polaire,

Q Q Q
(x, y, z)x0 + (x, y, z)y 0 + (x, y, z)z 0 = 2B[(x, y, z), (x0 , y 0 , z 0 )].
X Y Z
Daprs la proposition prcdente,
Q Q Q
(x, y, z)x0 + (x, y, z)y 0 + (x, y, z)z 0
X Y Z
x y z x y z x y z

2a 2b 2c 1
0 0 0 1
0 0 0 1
= 0 0 0 1 x0 + 2b 2d 2e 1 y 0 + 0 0 0 1 z 0
0 0 0 1 0 0 0 1 2c 2e 2f 1
x y z x y z
0
b c x0

2a 2b 2c x
a
or ceci= 2b 2d 2e y 0 = 2 b d e y 0
2c 2d 2f z 0 c d f z0
= 2B[(x, y, z), (x0 , y 0 , z 0 )], o B reprsente la forme polaire de Q.

C.Q.F.D.

Proposition 3.
Si Q(X, Y, Z) est une forme quadratique, et que B soit sa forme polaire, lqua-
tion du plan vectoriel tangent en (x0 , y0 , z0 ) 6= (0, 0, 0) au cne dquation
Q(X, Y, Z) = 0 est B[(x0 , y0 , z0 ), (X, Y, Z)] = 0.
Lquation du plan tangent est
Q Q Q
(x0 , y0 , z0 )(X x0 ) + (x0 , y0 , z0 )(Y y0 ) + (x0 , y0 , z0 )(Z z0 ) = 0
X Y Z
ceci est quivalent

2B[(x0 , y0 , z0 ), (X x0 , Y y0 , Z z0 )] = 0

cest--dire

2B[(x0 , y0 , z0 ), (X, Y, Z)] 2B[(x0 , y0 , z0 ), (x0 , y0 , z0 )] = 0 (car b est bilinaire) ;

comme (x0 , y0 , z0 ) est un point du cne,

2B[(x0 , y0 , z0 ), (x0 , y0 , z0 )] = 2Q(x0 , y0 , z0 ) = 0;

lquation du plan tangent devient finalement, aprs llimination du terme nul


et une division par 2 :

B[(x0 , y0 , z0 ), (X, Y, Z)] = 0.

C.Q.F.D.
49

Dfinition 1.
Soient Q(X, Y, Z) une forme quadratique, B sa forme polaire, et (a, b, c) un
vecteur non-nul de E. Le plan vectoriel dquation B[(a, b, c), (X, Y, Z)] = 0
est appel le plan polaire de (a, b, c) par rapport au cne dquation
Q(X, Y, Z) = 0.

Proposition 4.
Soient Q(X, Y, Z) une forme quadratique, et C le cne dquation Q(X, Y, Z) =
0. Si le plan polaire dun vecteur (a, b, c) 6= (0, 0, 0) par rapport C contient
un vecteur (d, e, f ) 6= (0, 0, 0), alors le plan polaire de (d, e, f ) par rapport C
contient (a, b, c).
Appelons B la forme polaire de Q.
Si le vecteur (d, e, f ) appartient au plan polaire de (a, b, c) par rapport C, alors
il satisfait lquation de ce plan, cest--dire :

B[(a, b, c), (d, e, f )] = 0;

or B est symtrique, en tant que forme polaire dune forme quadratique ;


B[(d, e, f ), (a, b, c)] = 0;
(a, b, c) appartient au plan polaire de (d, e, f ) par rapport C.

C.Q.F.D.
CHAPITRE 10.
LA GOMTRIE PROJECTIVE SUR LE CORPS
CINQ LMENTS.

Pour finir, construisons un espace projectif fini, cest--dire partir dun


espace vectoriel de dimension finie, et nonons quelques rsultats numriques.

*
* *
*
Convention 1.
Convenons de reprsenter le corps cinq lments (Z/5Z) par le symbole F5 .

Proposition 1.
5n 1
Soit n un entier naturel. Lespace projectif |Fn5 contient points projec-
4
tifs.
Soit A = Fn5 0 lensemble des vecteurs non-nuls de Fn5 .
Deux vecteurs de A sont dans la mme droite vectorielle si et seulement sils sont
colinaires.
soit x un vecteur quelconque de A ; il a au maximum trois multiples distincts,
savoir 2x, 3x, 4x ;
comme x est non-nul, une de ses composantes est 6= 0, et nous pouvons crire :
..

.
x= a

..
.

o a =1, 2, 3 ou 4 ;
.. .. ..

. . .
2a
2x = 3a
3x = 4a
4x =

.. .. ..
. . .

50
51

et a, 2a, 3a, 4a est une permutation de 1, 2, 3, 4 ;


les vecteurs x, 2x, 3x, 4x sont bien distincts ;
chaque droite vectorielle contient exactement 4 vecteurs de A ;
Card A 5n 1
le nombre de droites vectorielles de A est = .
n
4 4
5 1
|Fn5 contient points projectifs.
4
C.Q.F.D.

En particulier, il y a :
Un seul point projectif dans |F15 ;
6 points projectifs " |F25 ;
31 " " " |F35 ;
156 " " " |F45 ;
781 " " " |F55 ;
etc...

Proposition 2.
Soit n un entier 2. Toutes les droites projectives de |Fn5 contiennent 6 points.
Soit P un plan vectoriel de Fn5 , engendr par deux vecteurs u, v.
Comme u et v engendrent P , ces deux vecteurs sont libres ;
un des dterminants principaux de la matrice (u, v) est 6= 0.
Considrons maintenant le vecteur u + v ;
les dterminants principaux de (u, u + v)=les dterminants principaux de (u, v) ;
un des dterminants principaux de (u, u + v) est 6= 0 ;
u + v et v ne sont pas colinaires, et u + v est 6= 0.
De mme, u + v et u ne sont pas colinaires.
Par des calculs similaires, on montre que deux vecteurs choisis parmi u, v, u + v,
u + 2v, u + 3v, u + 4v ne sont jamais colinaires, et quils sont tous 6= 0.
Soit maintenant un vecteur w de P . Il peut se dcomposer en une combinaison
linaire de u et v :
w = au + bv, o a et b F5 .
Si a = 0, w = bv ;
si a 6= 0, a possde un inverse (car F5 est un corps), et w = a(u + a1 bv) ;
dans les deux cas, w est un multiple dun des vecteurs u, v, u + v, u + 2v, u + 3v,
u + 4v.
il y a exactement 6 droites vectorielles incluses dans P .
toutes les droites projectives de |Fn5 contiennent 6 points.

C.Q.F.D.

Proposition 3.
(5n 1)(5n 5)
Soit n un entier 2. Le nombre de droites projectives de |Fn5 est .
480
52

Le nombre de faon de choisir 2 points projectifs dans |Fn5 est

(5n 1)(5n 5
32
Le nombre de faon de choisir 2 points projectifs sur une mme droite projective
est
65
= 15
2

le nombre de droites projectives de |Fn5 est

(5n 1)(5n 5) (5n 1)(5n 5)


=
15 32 480
C.Q.F.D.

En particulier, il y a :
Une seule droite projective dans |F25 ;
31 droites projectives " |F35 ;
806 " " " |F45 ;
20306 " " " |F55 ;
etc...

Les deux tableaux de valeurs montrent que dans |F35 , il y a 31 points


projectifs, et 31 droites projectives. Cette concidence numrique frap-
pante est le rsultat de la dualit.

Il est possible de montrer que dans F35 , beaucoup de thormes clas-


siques de gomtrie projective restent vrais : mme si nous nous loi-
gnons des espaces ordinaires (construits partir despaces vectoriels
sur des corps infinis et continus), nous ne sommes jamais complte-
ment perdus.

FIN.