La gomtrie

histoire et pistmologie

par Jean-Pierre Friedelmeyer
Irem de Strasbourg

Deuxime Partie :
Vers les gomtries non
euclidiennes et une autre conception
de la gomtrie
Un grain de sable :
le postulat des parallles
Droites parallles (dfinition 23 chez Euclide) :
sont celles qui tant dans un mme plan et
indfiniment prolonges de part et dautre ne
se rencontrent pas, ni dun ct, ni de lautre
Diapo 39
1. mener une ligne droite de tout point tout point.
2. prolonger continment en ligne droite une ligne
droite limite.
3. Dcrire un cercle partir de tout centre et au
moyen de tout intervalle.
4. Et que tous les angles droits soient gaux entre
eux.
Demandes (ou postulats)
Diapo 40
Le cinquime postulat ou postulat des parallles
5. [PP] : et que si une droite
tombant sur deux droites
fait les angles intrieurs et
du mme ct plus petits
que deux droits, les deux
droites, indfiniment
prolonges, se rencontrent
du ct o sont les angles
plus petits que deux droits.

Diapo 41






O tait lerreur ?
2/5 = 16/40 diff. 3/8 = 15/40
109,9 + 68,3 = 178,2 < 180
Diapo 42
Diapo 43
La critique de Proclus (412 485)
Proclus de Lycie, un philosophe noplatonicien
et le dernier matre du Lyce Athnes, crit au
sujet du [PP] :
le fait que des lignes droites se rencontrent
finalement lorsquelles sinclinent de plus en
plus lune sur lautre dans leur prolongement est
probable et non inluctable, moins quun
raisonnement ne dmontre que le fait est vrai
pour des lignes droites. En effet certaines
lignes, indfiniment inclines lune sur
lautre, sont asymptotes () ; ds lors ce qui
est possible pour ces dernires ne lest-il pas
aussi pour les lignes droites ?()
Diapo 44
La gomtrie absolue
Les propositions 1
28 du livre I des
lments ne
dpendent pas du
[PP]. Ce sont des
propositions de la
gomtrie
absolue (terme
introduit par
Bolyai en 1832)











27 [PP]

28 29

30
31

32


Diapo 45
Le rle central de la proposition 29 : impossible
de la dmontrer sans recours au [PP]
Une ligne droite tombant
sur des droites parallles
fait des angles alternes
gaux entre eux et aussi
langle extrieur gal
langle intrieur et oppos,
et les angles intrieurs et du
mme ct gaux deux
droits.


Diapo 46
Durant 20 sicles,
de multiples tentatives de dmonstration

partir des axiomes et thormes de la
gomtrie absolue
En partant de la ngation du [PP] et en
cherchant une contradiction
Diapo 47
Proprits quivalentes au postulat des parallles
Dun point donn on peut mener une parallle et une
seule une droite donne : Proclus ; Playfair,
(1748 -1819)
tant donne une figure, il existe une figure
semblable de taille arbitraire ; Wallis, (1616-1703) ;
tant donns trois points non aligns, il existe un
cercle passant par ces trois points ; Legendre,
(1752 1833) ; Bolyai
Si dans un quadrilatre trois angles sont des angles
droits, le quatrime aussi est un angle droit ; Clairaut,
(1713 -1763)
On peut construire un triangle ayant une aire
donne, arbitrairement grande ; Gauss, (1777-1855)
Diapo 48
Lhypothse implicite de Wallis :
Pour toute figure, il existe une figure
semblable, aussi grande que lon veut
Diapo 49
Dmonstration
A
c
a
B
b b b b
B1
b b'
C1

On donne trois droites a, b, c, telles que a et b fassent avec c
des angles dont la somme est infrieure deux droits. En
dplaant b de faon que langle avec c reste constant
jusqu b, elle devra ncessairement couper un moment
donn la droite a en un point C1. Nous pouvons alors
construire un triangle ABC semblable AB1C1, ce qui
montre que les droites a et b se coupent (en C)
Diapo 50
La question de fond :
quest ce quune droite ?
Dfinition par Euclide : Une ligne est une longueur
sans largeur. Une ligne droite est celle qui est
place de manire gale par rapport aux points
qui sont sur elle.
Dfinition par Legendre (1752 1833) : la ligne
droite est le plus court chemin dun point un
autre.
Diapo 51
Quel est le chemin le plus court sur le globe terrestre ?
Diapo 52
Le scandale de la gomtrie
"On parviendrait plus facilement la trouver (la
dmonstration du [PP] ), si on avait une bonne
dfinition de la ligne droite ; par malheur cette
dfinition nous manque
C'est cette non-dfinition de la droite qui conduit au
scandale de la gomtrie comme l'explique d'Alembert
:
"La dfinition et les proprits de la ligne droite, ainsi
que des lignes parallles, sont donc l'cueil et le
scandale des lments de Gomtrie

Diapo 53
Peut-on dvelopper une thorie gomtrique dductive
sans le [PP] ?
Lobatchevskij (1829) : Thorie des parallles
Toutes les droites traces par un
mme point A peuvent se
distribuer par rapport une droite
donne (BC) en deux classes :
- celles qui coupent (BC), telle (AF)
-celles qui ne coupent pas (BC), telle
la perpendiculaire (AE)
- La droite (AH) qui forme la limite
commune de ces deux classes est
dite parallle (BC)
Lobatchevskij dveloppe la
gomtrie hyperbolique
Diapo 54
J. Bolyai dveloppe le concept de gomtrie absolue
dans : La science absolue de lespace (1832) :
Jai cr un autre monde, un nouveau monde partir de rien

Par un point donn on peut construire plusieurs
parallles cette droite.

Les seules figures semblables sont les figures gales.

Par trois points non aligns, il ne passe pas
ncessairement un cercle.

La somme des angles dun triangle est strictement
infrieure deux droits.

Laire dun triangle est borne :
Aire = k( somme des angles)
Diapo 55
Comment se
reprsenter une
telle gomtrie ?
Le modle de
Poincar (1854 1912)
Diapo 56
Droites et cercles
dans un modle de Poincar
Diapo 57
Cette construction et les suivantes ont t ralises grce au site NonEuclid
Les parallles de Lobatchevskij
Diapo 58
Langle de paralllisme de Lobatchevskij
Diapo 59
Diapo 60
Diapo 61
Diapo 62
La quadrature chez les Grecs
La figure emblmatique du
concept grec de quadrature
pourrait tre celle reprsente ci-
contre : laire limite par la lunule
forme dun demi cercle et dun
quart de cercle est exactement
gale laire du carr construit
partir des deux centres des cercles.

Raliser la quadrature dune figure
plane cest construire (avec la
rgle et le compas seuls) le carr
qui a la mme aire que celle
dlimite par cette figure plane.


Diapo 63
Un exemple de quadrature, en forme de puzzle
le puzzle de Dudeney (1857 1931)
Diapo 64
Diapo 65
Quadrature du cercle en gomtrie hyperbolique
Le carr ABJG a
ses quatre cts
gaux et ses quatre
angles gaux
chacun /4.
Son aire mesure
Diapo 66
Carrs en perspective

Diapo 67
Paolo Ucello : Le miracle de la
profanation de lhostie
1465 - 1469
Diapo 68
Pavage du plan par Escher

Diapo 69
Une figure de Escher
Diapo 70
Deux types de dveloppement
Gomtrie euclidienne
Les axiomes sont le terme final
du dveloppement
historique

Les thormes se sont
constitus avant leur
organisation logique, par
lexprience lobservation,
en accord avec lintuition
sensible

La gomtrie est un abstrait
par rapport lintuitif

Gomtrie non euclidienne
Ce sont les axiomes (et surtout le
[PP]) qui sont au dpart du
dveloppement historique

Le commencement historique
concide avec le dbut logique. Les
thormes sont issus du
dveloppement logique, en
rupture avec lintuition


La gomtrie devient un concret par
rapport au logique, au moyen des
modles

Diapo 71
Dfinition axiomatique moderne
Hilbert (1862 1943) : Les fondements de la gomtrie (1899)
Nous pensons trois systmes diffrents de choses
: nous nommons les choses du premier systme
des points (); nous nommons droites, les
choses du deuxime systme () ; nous appelons
plans les choses du troisime systme.
Entre les points, les droites et les plans nous
imaginons certaines relations que nous exprimons
par des expressions telles que : tre sur, entre,

La description exacte () de ces relations est
donne par les axiomes de la gomtrie
Diapo 72
Diffrents types daxiomes
Axiomes dappartenance
ex. : il existe une droite lie deux points donns
laquelle appartiennent ces deux points
Axiomes dordre
dfinissent des expressions comme : A est entre B
et C ou la notion de segment
Axiomes de congruence
dfinissent par ex. la congruence (galit) de deux
segments
Axiome des parallles
Axiomes de continuit
par ex. laxiome dArchimde
Diapo 73
Quel est alors le statut de la vrit
en mathmatiques ?
La vrit-copie :
Adquation de la chose
et de lentendement :
la vrit dans lesprit
est le dcalque dune
ralit hors de lesprit
Hilbert Frege : Si les axiomes
choisis arbitrairement ne se
contredisent pas, dans toutes
leurs consquences, alors ils sont
vrais, les objets dfinis par eux
existent. Ce qui est pour moi
critre de vrit et dexistence.
Diapo 74
Consquences pistmologiques

Linvention des gomtries non euclidiennes remet en
cause l accord entre lespace sensible et lespace de la
gomtrie euclidienne ; elle oblige sinterroger :
sur la relation (qui nest plus du tout vidente) entre
la thorie que constitue la gomtrie et le rel de
lespace sensible,
sur le caractre de vrit de la gomtrie, puisquil y
a maintenant deux gomtries, galement vraies, et
pourtant bases sur des propositions contradictoires,
(dont lune nie ce que lautre affirme).
Diapo 75
Problme logique : comment deux thories bases sur deux
propositions contradictoires peuvent elles coexister ?

Construction par ngation
Soit E = {a
1
,a
2
, ,a
n
} un
ensemble daxiomes
construisant une thorie T
Soit p une proposition non
contenue dans T.
Alors
E
+
= {a
1
,a
2
, ,a
n
,p} et
E
-
={a
1
,a
2
,,a
n
,non(p)}
dfinissent deux nouvelles
thories aussi vraies lune
que lautre dun point de
vue logique.


A
non A
gomtrie
absolue
gomtrie
euclidienne
gomtrie non
euclidienne
O
axiome des
parallles
ngation de l'axiome
des parallles
G. non Eucl.
Diapo 76
Un autre exemple
linvention des nombres complexes
Nombres rels

Il nexiste pas de
nombres dont le
carr soit gal (- 1)
Nombres complexes

Il existe (au moins) un
nombre dont le carr
vaut (-1)
Diapo 77
Deux logiques mathmatiques diffrentes
Logique traditionnelle

Empcher lintrusion
dun lment
tranger

Logique exhaustive :
par rapport un
concept bien dfini,
sa tche est
dpuiser le contenu
du concept.
Nouvelle logique mathmatique :
la logique de cration
Construire des objets nouveaux par
ngation des concepts anciens.

Briser la carapace du concept pour
en faire sortir quelque chose de
nouveau.

Ne fonctionne pas par gnralisation
: la gomtrie non euclidienne
nest pas une gnralisation de la
gomtrie euclidienne.
Diapo 78
En guise de conclusion
la draisonnable aptitude
des mathmatiques expliquer la nature.
Comment se fait-il que la mathmatique, ()
sadapte dune si admirable manire aux objets de
la ralit ?
cette question il faut, mon avis, rpondre de la
manire suivante :

Pour autant que les propositions de la
mathmatique se rapportent la ralit,
elles ne sont pas certaines, et pour
autant quelles sont certaines, elles ne se
rapportent pas la ralit.
Einstein : La gomtrie et lexprience
Diapo 79