Lobachevsky Etudes Geometriques Sur La Theorie Des Paralleles

ETUDES GOMTRIQUES
THEORIE DES PARALLLES

N.
I.
LOBATSCHEWSKY,
Conseiller d'tat de l'Knipire de Russie et Professeur l'Universit
TRiDGIT
PAR
J.
de Kasan;
l'IUlMi
HOUEL,
Professeur de M<ithmatiques pures la Facult des Sciences

de Bordeaux ;
SUIVI d'un extrait
db la correspondanc'b de Gauss et de Schumacher.
DEPARTMENT OF MATHEMATICS
UNIVERSITY OF TO!?CNTC>
PREFACE DU TRADUCTEUR.
Le
de
remarquable dont nous donnons
travail
commun que
le titre
ici la
traduction n'a
avec les nombreuses lucubrations des
auteurs qui avant et aprs Legendre, se sont efforcs, sans beaucoup

,
de succs, de dmontrer priori l'axiome XI d'Euclide, plus connu

sous
le
nom
impropre de postulatum.
Le but de
l'auteur (^) est,
au contraire, de prouver
raison d'affirmer que la
priori aucune
somme
qu'il n'existe
des trois angles
d'un triangle rectiligne ne soit pas infrieure deux angles droits,
ou, ce qui revient au
mme, qu'on ne
puisse mener, par
un point
donn, qu'une seule droite ne rencontrant pas une droite donne
dans
le
mme
plan.
Cette question a t, pendant plus d3 cinquante ans, l'objet des
mditations de Gauss, qui, ds 1792, tait dj en possession des

vrais principes sur lesquels
appele par
lui
il
a fond
n'a jamais publi ses recherches, dont
rsultats
une doctrine complte,
Gomtrie non -euclidienne. Malheureusement,
nous ne connaissons
que par quelques notices disperses dans
les
il
les
Gelekrle
Anzeigen de Gttingue, et par quelques passages de sa Correspondance avec Schumacher, dite rcemment par M. Peters. Lorsqu'il
eut connaissance des travaux de Lohatschewsky
1829
et continus jusqu'en
ce qu'il avait
fait
1855)
et
de
J.
(commencs en
Bolyai (1832),
il fit
alors
lorsque Abel et Jacobi eurent retrouv, par leurs
propres efforts, ses rsultats indits, relatifs aux transcendantes

elliptiques.
(*)
N.
en 1856.
I.
Il
renona
la
proprit de ses dcouvertes, et se
Lobatsche-wsky, n Nijni-Novogorod en 1793, mort Kasa
PRFACE DU TRADUCTEUR.
ir
contenta de donner son adhsion complte la Gomtrie imagi-
naire de Lohd^tscheyfskY, dont i\ trouvait seulement
mal
la
dnomination
choisie.
Malgr
la
haute valeur de ces recherches,
Gauss
moins,
les et
il
les
elles n'ont
d'aucun gomtre, ce qui ne
jusqu'ici lattenton
attir
ft pas arriv si
communiques lui-mme aux savants, ou
si,
du
et prises publiquement sous son patronage. Nous ne
croyons pas cependant en exagrer
la
porte philosophique, en
disant qu'elles jettent un jour tout nouveau sur les principes
fondamentaux de
gomtrie, et qu'elles ouvrent une voie encore
la
inexplore, pouvant conduire des dcouvertes inattendues. Pour
ne pas
ne
sortir
de
fassent faire
la
question lmentaire, on ne peut nier quelles
un progrs
en relguant parmi
les
tant de gomtres de
immense aux mthodes d'enseignement,
chimres
l'espoir
que nourrissent encore
parvenir dmontrer l'axiome d'Euclide
autrement que par Yexprience. Dsormais ces tentatives devront

mises au
tre
mouvement
mme
rang que
la
quadrature du cercle et
le
perptuel.
Nous croyons rendre service aux auteurs de Traits classiques (*),

en mettant sous leurs yeux une traduction franaise d'un opuscule
peu connu de Lobatschewsky
(^),
dans lequel
la
Gomtrie imagi-
naire est tablie en partant des premires propositions d'Euclide.
Nous
allons
donner une ide du contenu de cet ouvrage.
Aprs avoir rappel
les principes
connus sur lesquels
il
s'ap-
puiera, l'auteur pose une dfinition des parallles, plus gnrale
que
la dfinition ordinaire, et se
rduisant celle-ci, lorsqu'on
admet l'axiome XI d'Euclide. Il dmontre ensuite diverses propositions, dont une partie taient connues de Legendre
La somme des angles d'un triangle recliligne ne 'peut surpasser
;
deux angles
S'il existe
()
droits.
un
seul triangle recliligne dans lequel la
M. Richard Ballzer, dans
la
somme
des
seconde dition de ses excellents lments
de Gomtrie, a, le prennier, introduit ces notions exactes la place qu'elles
doivent occuper.
{*)
Geometrische Untersuchungen zur Thorie der Parallellitiien, von Nicolaus
Lobatschewsky, kaiserl. russ. toirkl. Staatsrath und ordentl. Prof, der Mathe-
matikbeider Universitdt Kasan.
Berlin, 1840 (in- 18, 61 pages).
PREFACR DU TRADUCTEUR.
angles soit gale deux angles droits,
cette
ni
somme
sera
aussi
gale deux angles droits dans tous les autres triangles rectili-
gnes.
Si deux perpendiculaires une
(dans racception gnralise
mme
droite sont parallles
somme
du mot), la
des angles d'un
deux angles
triangle rectitigne quelconque est gale
droits.
Etc.
Puis
il
tablit,
indpendamment de Taxiome d'Eucllde,
cipales propositions de la gomtrie de la sphre. Enfin,
dre le cercle et
l'infini, et
ce cas que
la
sphre dans
la
le
les prinil
consi-
cas o le centre s'loigne
rayons deviennent parallles. On dmontre dans
les
somme
des angles didres d'un angle tridre dont les
artes sont parallles, est gale deux angles droits. Par suite,
dans
que
sphriques
triangles
les
grande,
tracs
sur la sphre
existe entre les angles et les cts les
il
celles
que
la
infiniment
mmes
relations
Gomtrie ordinaire tablit pour les triangles
rectil igns.
De
la
trigonomtrie de
mtrie de
la
sphrique est absolument
que dans
la
sphre infinie, on passe
sphre finie et celle du plan.

la
mme
la
trigono-
Gomtrie imaginaire
Gomtrie ordinaire. La trigonomtrie plane, au con-
la
traire, est essentiellement diffrente
formules, dans
la
dans
la
La trigonomtrie
la
les
deux systmes. Ses
Gomtrie imaginaire, concident avec
Gomtrie ordinaire pour
cela a lieu
dans
pour celles de
les triangles
la
infiniment
celles
petits,
de
comme
trigonomtrie sphrique. Pour des
triangles de grandeur finie, elles se dduisent de celles de la tri-
gonomtrie sphrique, en y donnant aux cts des triangles des

valeurs imaginaires.
On peut rsumer comme

la
il
suit
Tensemble des propositions de
Gomtrie lmentaire qui ne dpendent pas de l'axiome XI
Egalit des triangles.
des angles gaux (ou ingaux dans
ment. Relations entre

d'un point, o d'un
(^)
des cts gaux (ou ingaux) sont opposs
les
le
mme
sens), et rciproque-
angles forms dans un plan tout autour
mme
ct d'une droite, avec les rciproques.
L'angle extrieur un triangle est plus grand que chacun des int-
(^)
Bolyai
Kurzer Grundriss enes Versuchs
. s, w., g 32.
PB^PAiGE DU TRADUCTEUR.
IV
rieurs
non adjaGents. Elever ou abaisser une perpendiculaire. On
n'en peut abaisser qu'une d'un: point sur une droite. Celte perpendiculaire est
droite la plus courte. Partager
la
une droite ou un
angle en deux parties gales. Construire un triangle (ou un angle)

gal
un
un angle) donn. Une
triangle (pu
deux points communs^^ avec un' cercl,
et
droite peut avoir
pas plus. Trois points
d'un cercle tant donns, trouver son< centre. Principales proprits

des cordes
et
des tangentes. Possibilit des polygones rguliers;
construction des seuls polygones de 4, 8, 16,... cts.
ne peuvent avoir plus de deux points
communs
Deux
plupart de ces propositions ont leurs analogues dans

trie
de
sphre,
la
laquelle
tout entire
est
cercles
sans concider. La
la
gom-
indpendante de
l'axiome XI.
Mais on ne peut plus, sans cet axiome, tablir
une droite en
similitude, ni partager
ler la
la thorie
de
la
trois parties gales, ni calcu-
grandeur de l'angle d'un polygone rgulier. On peut
faire
passer un cercle par trois points donns sur une sphre; maison,
ne peut pas le faire passer par trois points donns d'une manire
quelconque sur un plan. Si trois points quelconques non en ligne
droite pouvaient tre placs sur
serait
dmontr. Calcul de
l'aire
une sphre, l'axiome XI d'Euclide

de
la
sphre.
Nous recommanderons spcialement aux

entrer pleinement dans
rer par
la
la
lecteurs qui voudront
pense de Lobatschewsky, de s'y prpa-
mditation approfondie des vingt-huit premires proposi-
tions du premier livre d'Euclide, en faisant table rase de tout ce
que
l'on a crit
depuis sur ce sujet,

J.
H.
ERRATA.
Page 25, ligne
\,
26,
12,
42,
4,
au
lieu de
n{a'),
lisez
H (a'
jprop. 32], lisez [prop.
reues,
lisez
reus.
.33]
TUDES GOMTRIQUES
THORIE DES PARALLELES
Quelques-unes des thories de
encore beaucoup dsirer,

qu'il faut attribuer le
la
gomtrie lmentaire laissent
et c'est leur imperfection, je crois,
peu de progrs que cette science, en dehors
des applications de l'analyse, a pu raliser depuis Euclide.

Je compte pann ces points dfectueux l'obscurit qui rgne sur
premires notions des grandeurs gomtriques et sur
les
dont on
se reprsente la
mesure de ces grandeurs,
la
ainsi
manire
que
l'im-
portante lacune que prsente la thorie des parallles, et que les
travaux des gomtres n'ont encore pu combler. Les efforts de
Legendre n'ont rien ajout celte thorie, cet auteur ayant t

forc de quitter la voie
du raisonnement rigoureux pour se
jeter
dans des considrations dtournes, et de recourir des principes

qu'il
cherche,
sans
raison
suffisante, faire passer
pour des
axiomes ncessaires.
Mon premier
dans
le
essai sur les
fondements de
toutes les exigences des lecteurs, je

la
la
gomtrie a paru
Courrier de Kasan, pour l'anne 1829. Dsirant satisfaire
me
suis
occup ensuite de
rdaction de l'ensemble de cette science, et j'ai publi
mon
travail
par parties dans les Mmoires de V Universit de Kasan, pour les
annes 1836, 1837 et 1838, sous
le titre
de Nouveaux principes
de Gomtrie, avec une thorie complte des parallles. L'tendue

de ce travail a peut-tre empch mes compatriotes de suivre cette
tude, qui, dtpuis Legendre, semblait avoir perdu son intrt. Je
RTUnKS GOMBTRiQUES
n'en
persiste
pas moins croire que la thorie

des parallles
conserve toujours ses droits Tattention
des gomtres, et c'est
pour cela que je ine propose d'exposer
ici ce quîl y a d'essentiel
dans mes recherches, en faisant d'abord
remarquer, contrairement
a Topmion de Legendre, que les
autres imperfections de principes
telles que la dfmition de la ligne
droite, ne doivent point nous
occuper ici, et sont sans aucune influence
sur la thorie des
parallles.
Pour ne pas fatiguer
le lecteur par une multitude

de propositions
dmonstrations n'offrent aucune difficult,
j'indiquerai
seulement ici celles dont la connaissance
est ncessaire pour ce
qui va suivre.
dont
les
'
Une
1.
ligne droite se svperpose a

elle-mme dans toutes ses
positions. J'entends par l que,
pomts de la ligne droite

change pas de place.
2.
Deux
la
si
Ion
fait
tourner autour de deux
surface qui la contient, cette ligne

ne
^
lignes droites ne peuvent se

couper en deux points.
3. lne ligne droite, suffisamment

prolonge dans les deux sens
pourra dpasser toute limite, et
partagera ainsi en deux parties
toute portion de plan limite.
Dem
lignes droites perpendiculaires
une troisime, et
plan que celte troisime, ne
peuvent se
couper, quelque loin qu'on les
prolonge.
situes dans
un
mme
5. Une ligne droitecoupera toujours une

autre droite, lorsqu'elle
aura des points situs de part
et d'autre de celle-ci.
Des angles opposs par
sommet et ayant leurs cts situs

uns des autres sont gaux.
Cette
proposition est vraie aussi pour
les angles didres.
sur
les
prolongement.s
le
les
7 Deux lignes droites ne peuvent se couper,

lorsqu'elles sont
coupes par une troisime sous des
angles gaux.
SUR LA THEORIE DES PARALLELES.

8.
Dans un
triangle rectiligne, des cts
gaux sont opposs
des angles gaux, et rciproquement.

9.
un
Dans un triangle
rectiligne,
un plus grand ct
est
oppos
plus grand angle. Dans un triangle rectangle, Thypotnuse est
plus grande que chacun des cts de l'angle droit, et les deux
angles adjacents l'hypotnuse sont aigus.

10.
Deux
un ct
ou deux cts gaux comprenant un
triangles rectilignes sont gaux lorsqu'ils ont
gal et deux angles gaux,
angle gal, ou deux cts gaux et l'angle oppos au plus grand de

ces deux cts gal, ou enfin les trois cts gaux.
il.
Une
droite
perpendiculaire deux autres droites situes
dans un plan qui ne la contient pas est perpendiculaire toute

autre droite
mene par son
pied dans ce plan.
12. L'intersection d'une sphre avec
'13. Une droite perpendiculaire
un plan
est
un
l'intersection de
cercle.
deux plans
perpendiculaires entre eux, et situe dans l'un de ces deux plans,

est perpendiculaire l'autre.
14. Dans
un
triangle sphrique, des cts
gaux sont opposs
des angles gaux, et rciproquement.

15.
Deux
cts gaux
triangles sphriques sont gaux
comprenant un angle
gal,
lorsqu'ils
ont deux
ou bien un ct gal
adjacent deux angles gaux.
Les propositions que nous donnerons dans ce qui va suivre

seront accompagnes de leurs explications et de leurs dmonstrations.
16. Toutes les droites traces par
un
mme
point dans un plan
peuvent se distribuer, par rapport une droite donne dans ce

plan, en deux classes, savoir
en droites qui coupent
la
droite
donne, et en droites qui ne la coupent pas. La droite qui forme

la limite
commune
de ces deux classes est dite parallle
donne.
2
la droite
TUDES GI^.OMTRIQUES
du point A
Soit abaisse,
diculaire
AD,
{fig. 1),
sur
la droite
BC,
perpen-
la
au point A, sur la droite AD, la perpendiculaire AE. Dans l'angle droit EAD,
et soit leve
Fi(?. 1.
il
arrivera
tant
ou que toutes
du point A rencontreront
comme
DG,
les droites par-
le fait
la droite
AF, par exemple; ou
bien que quelques-unes d'entre elles,
comme
la
perpendiculaire AE, ne ren-
contreront pas DC. Dans Tincerlitude

la
perpendiculaire
AE
si
est la seule droite
qui ne rencontre pas DC, nous admettrons la possibilit qu'il existe encore
AG, qui ne
d'autres lignes, telles que
coupent pas DG, quelque loin qu'on
En
prolonge.
lignes
une
passant
des
les
coupent CD, aux
qui
AG, qui ne coupent pas CD, on trouvera ncessairement

AH, parallle DG, c'est--dire une ligne d'un ct de
ligne
laquelle les lignes
AG
ne rencontrent aucune
que, de l'autre ct, toutes

gle
AF,
lignes
HAD, compris
AF
les lignes
HA
entre la parallle
la ligne
CD, tandis
rencontrent CD. L'an-
et la perpendiculaire
AD,
sera dit l'angle de 'paralllisme, et nous le dsignerons par IT(p),
reprsentant
Si
distance AD.
la
n(p) est un angle droit,
diculaire
droite
AE
DC;
et
le
prolongement AE' de
sera galement parallle au prolongement
et par leurs
point
DB
de
la
nous ferons remarquer, ce propos, que, par rapport
aux quatre angles forms au point A par
AD
perpen-
la
prolongements AE'
perpendiculaires AE,
les
AD'
toute droite partant du
est comprise, soit par elle-mme, soit par son prolonge-
ment, dans un des deux angles droits dirigs vers BC, de sorte
qu' l'exception de la seule parallle
ges suffisamment dans

Si l'on a
autre droite
n(p)
AK,
< ->
les
EE
alors,
toutes ces droites, prolon-
faisant avec
de l'autre ct de AD,
AD
le
mme
quelle sera parallle au prolongement
que, dans cette hypothse,
'
deux sens, devront couper
il
DB
angle
de
la droite
il
y aura une
DAK =
la ligne
BC.
il(p), la-
DG de
;
faut distinguer encore le sens
sorte
du pa-
ralllisme. Toutes les autres droites comprises dans l'intrieur des
deux angles droits dirigs vers BC appartiennent aux droites

canles, lorsqu'elles sont situes dans l'angle
HAK
5e-
= 2 Q(p) des
SUR LA THORIE DES PARALLLES.
deux
parallles
AG,
scantes
AH, AK,
!L
E'AK
elles appartiennent,
au contraire, aux droites non

de
lorsqu'elles sont situes
des deux angles
Tintrieur
n(p)>
l'autre ct des parallles
EAH
=-
n(/)),
EE', per-
entre les parallles et la droite
EE' les
De l'autre ct, de la
prolongements AH', AK' des parallles AH, AK seront galement
parallles BG. Parmi les autres droites, celles qui sont dans
pendiculaire sur AD.
'
les
si
l'on
suppose n(p)
", les droites ne pour-
ront tre que scantes ou parallles. Mais,
un
< -, on devra
(p)
qui sont
D'aprs cela,
K AH' appartiendront aux droites scantes, celles

angles K'AE, H'AE' aux droites non scantes.
l'angle
dans
perpendiculaire
si
l'on
admet que
considrer alors deux parallles, l'une dans
sens, l'autre dans le sens oppos; de plus, les autres droites
devront se distinguer en non scantes et en scantes. Dans les deux

hypothses,
le
caractre du paralllisme est que la ligne devient
scante par la moindre dviation vers

lle
du ct de DG,
le
ct o est situe la paral-
AH est parallle DG, toute ligne AF, faisant,

un angle HAF aussi petit que l'on voudra avec
de sorte que,
si
AH, coupera ncessairement DG.

47.
Une
ligne droite
consene
le
caractre
du paralllisme en
tous ses points.

Soit
AB
{fig.
2) parallle CD, et
AG
perpendiculaire sur CD.
Considrons deux points

pris volont sur la
gue AB
et
li-
sur son pro-
longement au del de
la
perpendiculaire. Suppo-
sons le point
par rapport
celle des directions
CD. Abaissons
de
AB
qui est considre
du point E sur CD
nons ensuite EF de manire
qu'elle
la
situ,
perpen-
mme ct
comme parallle
diculaire,
que
la
du
perpendiculaire EK, et
tombe
l'intrieur
me-
de l'angle
BEK. Joignons les points A et F par une droite, dont le prolongement devra rencontrer CD quelque part en G [prop. 16]. Nous
TUDES GOMTRIQUES
obtiendrons ainsi un triangle ACG, dans l'intrieur duquel pn-
EF. Cette dernire ligne, ne pouvant rencontrer AC,
trera la ligne
par suite de
AG
CD
EK
ni
la
construction, et ne pouvant pas non plus rencontrer
pour
la
seconde
quelque part, en
coupera ncessairement
fois [prop. 2],
[prop. 3].
Soit maintenant E' un point sur le prolongement de AB, et

E'K' une perpendiculaire abaisse sur le prolongement de CD.
Menons la ligne E F faisant avec AE un angle AE F assez
petit pour couper AC quelque part en F
Tirons du point A la ligne
AF, faisant avec AB un angle gal AE'F', et dont le prolongement coupera CD en G [prop. 16]. On formera ainsi un triangle
AGC, dans lequel pntrera le prolongement de la ligne E'F Or,
'
'
'
'
'
'
'
cette ligne
ne peut pas rencontrer une seconde
pas non plus couper AG, puisque TangleBAG

il
faudra donc qu'elle rencontre
Donc, quels que soient
EF, E'F',
et
Deux
Soit
AC
les points E, E'
part
la
ligne CD, laquelle
'
d'o partent les lignes
quelque peu qu'elles s'cartent de
couperont toujours
18.
CD quelque
AE elle ne peut
BE'G' [prop. 7].
en G
fois
AB
ligne AB, elles
la
est parallle.
droites sont toujours rciproquement parallles.
(Jig.
S)
une perpendiculaire sur CD,
et
AB une
Menons par
parallle
C la ligne CE, faisant avec CD un angle

CD.
aigu quelconque
le
point
ECD,
et
abaissons
du point A sur CE la perpendiculaire AF. Nous formerons ainsi un

triangle rectangle
potnuse
le
AB
que
aura l'angle
l'on
la droite
DC
et
FC prendront
BAK
les
= FAC.
quelque part en
l'hy-
sera plus grande que
ct AF de l'angle droit [prop. 9].
Faisons
sur AG;
AC
ACF, dont
AG
AF,
positions
Il
AK
et
et plaons
GH, de
faudra alors que
[prop. 16], et
il
AF
sorte
AK coupe
en rsultera un
lequel la perpendiculaire GH rencontrera la

AK en L [prop. 3], et dterminera par l la distance AL du
point A au point de rencontre de la ligne CE avec AB.
triangle
AKC, dans
ligne
De
l rsulte
soit l'angle
que CE coupera toujours AB, quelque
ECD. Donc CD
est parallle
AB
[prop. 16].
petit
que

19. Denis tout triangle rectiligne, la
somme
des trois angles ne
peut surpasser deux angles droits.
Supposons que, dans
le triangle
ABC
somme
(fig. A), la
angles soit
parties gales au point
CDE, on a Tangle ABD

et 10]. De l rsulte que
doit tre aussi gale
tt
BC en deux
D par A et D,
menons la droite AD, sur le prolongement de laquelle nous prendrons

AD joignons, enfin, le point E
DE
EC. Dans les deux triangles gaux ADB,
DEG [prop. 6
DCE, et l'angle BAD
droite
plus petit. Partageons
'
la
BC
cts sont ingaux, soit
les
au point G par
des trois
Daibs le cas
-t-
tt
la
somme des
+ .
En
du triangle AGE
trois angles
outre, le plus petit angle
BAC
du triangle ABC a pass dans le triangle ACE, o il se

trouve partag en deux parties EAC, AEG. En continuant de la
mme manire partager toujours en deux parties gales le ct
[prop. 9]
oppos au plus petit angle, on
finira
ncessairement par obtenir
la somme des trois angles sera t: H- a,

deux angles dontchacun sera moindre, en
un triangle dans lequel

mais o
se trouvera
il
valour absolue, que
que
plus grand
20. Si, dans
il
tt,
un
j a.
faut
donc que a
soit
nul ou ngatif.
triangle rectiligne quelconque, la
trois angles est gale
pour tout autre
Or, le troisime angle ne pouvant tre
somme des
mme
droits, il en sera de
deux angles
triangle.
Supposons que dans
ABC
le triangle rectiligne
^^^ ^^^^^ angles soit gale
?if. 5.
{fig.
tt
5) la
somme
deux au moins
de ces angles, A et G, devront tre aigus.

Abaissons, du
.
sommet du
perpendiculaire
sur
le
troisime angle B,
perpendiculaire partagera le
la
AG celte
triangle ABC en
ct oppos
deux triangles rectangles, dans chacun desquels

la
somme
elle serait
dans
des trois angles devra encore tre gale
dans
l'un
tt,
sans quoi
de ces deux triangles plus grande que
le triangle total
plus petite que
tv.
On
tt,
ou
obtiendra donc ainsi
un
triangle rectangle, dont les cts de l'angle droit seront/) et q,
et
au moyen duquel on pourra former un quadrilatre dont
les
TUDES GOMTRIQUES
cts opposs seront gaux entre eux, et dont les cts adjacents
p eiq
[fig.
6) seront perpendiculaires l'un Tautre. Par la rptition
Fig. 6
de ce quadrilatre, on pourra en
former un
np
ses
dont
pareil
et q, et enfin
les cts seront
un autre ABCD, ayant
perpendiculaires entre eux,
cts
= np, AD = wq,
= np,BG = mq, m et n tant des
dans lequel AB
et
DC
nombres
Ce quadri-
entiers quelconques.
latre sera divis par la diagonale
BD en
deux triangles rectangles gaux, BAD,
BCD, dans chacun desquels la somme

tt. Or, on peut prendre les nombres
grands pour que le triangle rectangle ABC {fig. 7),
des trois angles est gale
et
m assez
dont
Fig. 7.
les cts
de l'angle droit sont
= mq, renferme dans son
BC
En menant
fait
la
BDE,
lors-
concider leurs angles droits.
la ligne
DC, on obtient
triangles rectangles ayant
ct
np,
intrieur tout
autre triangle rectangle donn
qu'on aura
AB
commun. Le
ABC
triangle
ainsi des
deux deux un
est
form par
runion des deux triangles ACD, DCB,
dans chacun desquels
la
somme
des trois
angles ne peut surpasser n; elle doit donc tre, pour chacun, gale
t:,
sans quoi
elle
ne
serait pas gale
t:
dans
le triangle total.
De mme, le triangle BDC se compose des deux triangles DEC,

DBE, d'oi il s'ensuit que dans DDE la somme des trois angles doit
tre gale tt. Cela doit donc avoir lieu, en gnral, pour un
triangle quelconque, puisque tout triangle peut tre
dcompos en
deux triangles rectangles.
On
ou
la
conclut de l que deux hypothses seulement sont possibles
somme
rectilignes,
21.
des trois angles est gale
ou bien
Par un
elle est
tt
dans tous
les triangles
dans tous moindre que u.
point donn, on peut toujours mener une ligne
droite qui fasse avec
une droite donne tm angle aussi
petit
que l'on voudra.

Abaissons, du point donn A
{fig.
8) sur la droite
donne BC,
perpendiculaire AB; prenons volont sur
la
joignons AD; faisons
DE
BC un
D;
menons AE. Dans le triangle
rectangle ABD,soitrangleADB^ a;
AD,
Pig 8
point
et
l'angle
AED du triangle isoscle ADE
-a
sera gal
En
et 20].
parviendra,
AEB, plus
ou
< -a
[prop.
continuant ainsi, on
la
fin,
petit
un angle
que tout angle
donn.
mme
22. Si deux perpendiculaires une

lles
somme
entre elles, la
droite sont paral-
des angles d'un triangle rectiligne
quelconque sera gale %.

Soient les droites AB,
CD
parallles entre elles, et per-
{fig. 9),
pendiculaires sur AC.
Fig. 9.
pointA
les droites AE,
Menons du
AF, aux points
CD des distances quelconques, FC ^ EC, du

pointe. En supposant que la somme
E, F, pris sur la droite
des trois angles soit gale
71
gle
dans
p dans
ACF,
TT
le triangle
p,
BAF
plus, les angles
AEF,
elle
devra tre gale, dans
tt
ACE,
le triangle rectangle
et
le trian-
a et p ne pouvant tre ngatifs. Soient, de

6.
a
a, AFC
6; on aura a H- p
Ton carte maintenant la ligne AF de la perpendiculaire AC,

on pourra rendre aussi petit que l'on voudra l'angle a, compris
entre AF et la parallle AB; on pourra de mme diminuer l'angle h
Si
indfiniment. Par consquent, les deux angles a et p ne peuvent

avoir d'autres valeurs que a
D'aprs cela,
il
et p
= 0.
faut que, dans tous les triangles rectilignes, la
mme
temps
Tangle de paralllisme n(p) soit gal -tt, quelle que soit
la dis-
somme
des trois angles soit gale
tance p ; ou bien
angles soit
<
tt,
il
la
et qu'en
faut que, dans tous les triangles, la
et qu'on ait
La premire hypothse
naire et
tt,
sert de
mme
temps
fondement
Il(p)
la
somme des
<-ic.
Gomtrie ordi-
Trigonomtrie plane. La seconde hypothse peut tre
galement admise, sans conduire
aucune espce de contradiction
10
TUDES GOMTRIQUES
dans
que
me
je
donn
j'ai
nom
le
propose d'tablir
ûne
base
les rsultats, et elle est la
trique, laquelle
nouvelle thorie gom-
de Gomtrie imaginaire, et
jusqu'au dveloppement des qua-
ici
tions entre les angles et les cts des. triangles tant reclilignes
que
sphriques.
23. tant donn itn

trouver une distance
Soient
AB
AG
et
angle quelconque
telle
que l'on
ait
a,,
on
'peut
toujours
a.
U{p)
10) deux droites formant, leur intersec-
{fig.
tion A, l'angle aigu a. Pre-
FiR. in.
nons volont sur AB un

pointB'; de ce point abaissons B'A' perpendiculaire
sur AC; faisons A' A"
levons en A"
culaire
A"B"
la
= AA';
perpendi-
et continuons
jusqu' ce que nous
['insi
arrivions
une perpendicu-
CD, qui ne rencontre
laire
plus AB. C'est ce qui doit
la/somme des trois angles du

a, cette somme, dans le triangle
ncessairement arrfver; car,
AA'B' est
AB'A",8era gale
moindre que
iu
2a; dans
x
gale
triangle
2a
si-
t;
triagle
le
qu'enfin elle devienne ngative, auquel cas
former un triangle. La perpendiculaire
mme
AA"B",elle sera
de suite, jusqu' ce
[prop. 20], et ainsi
il
CD
serait impossible
de
pourrait tre celle-l
qui forme la limite entre les perpendiculaires plus voisines
du point A qui rencontrent AB, et les perpendiculaires plus loignes

qui ne le rencontrent pas. Dans tous les cas, il doit exister une
telle perpendiculaire-limite
laires scantes
tenant par
le
point
la
et situe, par rapport
point quelconque
culaire
FG, lorsqu'on passe des perpendicu-
aux perpendiculaires non scantes. Menons main-
HK, dont
H
le
de
droite
FH
FG, du
la
droite
FG l'angle aigu HFG,

mme ct que le point A. D'un
FH abaissons sur AC la perpendifaisant avec
prolongement devra par suite rencontrer
AB
quelque part en B, et former ainsi un triangle AKB, dans lequel

pntrera
le
prolongement de
contrera donc
la
quelque part en
FH; ce prolongement
ren-
l'hypotnuse AB. L'angle
GFH
ligne
SUR LA THORIE DES PARALLLES-
tant arbitraire, et pouvant tre suppos aussi petit que l'on voudra,
FG
sera
donc
parallle
AB,
Ion aura
et
kF=p
[prop.
16
et18J
On
aisment que, lorsque p diminue, Tangle acrot, et
voit
s'approche de
crot, l'angle
p tend vers
lorsque
>
a diminue, et
Au
zro.
qu'il
contraire, lorsque
s'approche de plus en plus de 0,
il
mesure que p tend vers . Comme on peut choisir arbitrairement

l'angle que Ton dsignera par la notiition n(p), lorsque p sera
exprim par un nombre ngatif, nous poserons la relation
n
relation qui aura lieu
(;/)
n(-
ji)
pour toutes
Tz,
que
les valeurs, tant positives
ngatives, de p, aussi bien que pour
0.
24. Si Von prolonge de plus en plus loin deux lifjncs parallles
dans
le
sens de leur puralllisme, elles rapprocheront de plus en
plus l'une de l'autre.
levons sur
ligne
la
AB
et
deux perpendiculaires AC
{fig. 1 1)
Fis. 11.
par
en A et
Le quadrilatre CABD ?ura,

en B, deux angles droits, et en
une
~Jg
= BD,
joignons leurs extrmits C et

droite.
et
en
deux angles aigus [prop. 22],
lesquels seront gaux entre eux,

il
gine
le
est ais
de s'en convaincre,
quadrilatre superpos lui-mme, en plaant
sur AC, et
la
ligne
AC
sur BD.
gales, et au point milieu
Parlageons
levons sur
AB
AB
comme
si l'on
ima-
ligne
la
BD
en deux parties
perpendiculaire EF,
la
mme temps perpendiculaire sur CD, puisque

CAEF, FEBD concideront l'un avec l'autre, si
laquelle devra tre en

les quadrilatres
l'on plie la figure totale
tre parallle la ligne
point
C, savoir
la
autour de FE. Donc
AB; mais
ligne
la
la parallle
ligne
AB mene
< CA.
rsulte
que
Le point C tant
CG
gera plus loin.
peut
par le
CG, devra s'carter de CD vers
[prop. 16], et retranchera de la perpendiculaire
BG
CD ne
BD une
pris volont sur la ligne
s'approchera d'autant plus de AB, qu'on
CG,
la
AB
portion
il
en
prolon-
12
TUDES GOMTRIQUES
25.
Deux
une troisime sont parallles
droites parallles
entre elles.
Supposons d'abord que
EF (Jig. 12),
mme plan et se
AB, CD,
les trois droites
un
soient situes dans
Yig.M.
succdent dans l'ordre indiqu. Si

premires
AB et CD
AB
troisime EF, je dis que
la
les
deux
sont parallles chacune
CD
et
seront aussi parallles entre elles. Pour le
dmontrer, d'un point quelconque

ligne extrme
ligne extrme
AB, abaissons sur
EF
A de
AE,
perpendiculaire
la
la
l'autre
laquelle rencontrera la ligne intermdiaire
CD en un
angle
de CD, qui
tion
DCE
dans l'ouverture de
l'angle aigu
AH, mene par A dans

quelque part en
dans
AEH,
le triangle
du
[prop. 3], et sous
< -r^ ^^^^ ^^ ^^"s ^^

EF
la direction
est parallle
perpendiculaire AG, abaisse
point
mme
ACG
l'intrieur
couper
le
triangle
point
[prop. 22].
Une
[prop. 9], et toute autre ligne
de l'angle BAC, devra rencontrer
EF parallle AB. Par consquent,

ligne CD devra couper AH quelque part
la droite
la
dans
l'intrieur de l'angle
prolongement de CD entre
GAG. De
'^ direc-
point sur CD, devra tomber
en K, puisqu'il est impossible qu'elle rencontre KF.
mene du
un
l rsulte
que AB
et
CAO,
les points
CD
Si
AH
tait
elle devrait
et G,
dans
le
sont parallles [prop .16
et 18].
Si les
deux lignes extrmes AB, EF, sont supposes chacune

CD, alors toute ligne AK, mene
parallles la ligne intermdiaire
par
le
point
A dans
l'intrieur
de l'angle BAE, coupera
en un point quelconque K, quelque

le
petit
que
la ligne
soit l'angle
CD
BAK. Sur
prolongement de AK, prenons volont un point L, et joignons-le

EF quelque
au point C par la ligne CL; celle-ci devra rencontrer

part en M, de manire former
de
la ligne
AL
une seconde
EF
l'intrieur
fois ni
AC
ni
du
un
triangle
triangle
CM donc
;
MCE. Le prolongement
MCE
ne peut rencontrer
ce prolongement rencontrera
quelque part en H, et par consquent
AB
et
EF
sont parallles
entre elles.
Supposons maintenant que
les parallles
AB, CD
(fig.
13), soient
situes dans deux plans dont l'intersection soit EF. D'un point
quelconque
EA
13
de cette intersection, abaissons une perpendiculaire
sur l'une quelconque
AB
des deux parallles; puis, du pied
de
F'g- ^3.
la
perpendiculaire EA, abaissons
une nouvelle perpendiculaire sur

l'autre
les
CD
parallle
et joignons
exlrmilsEetC des deux perpar
pendiculaires
L'angle
BAC
EC.
ligne
la
doit tre aigu [prop.
22]; donc une perpendiculaire CG,
abaisse du point C sur AB, tombera en
un
point G, situ, par
mme ct que la direction suivant laquelle AB

considres comme parallles. Toute ligne EH, s'car-
rapport CA, du
et
CD
lant
sont
peu que ce soit<e EF, appartiendra, avec
si
la
ligne
plan qui devra couper le plan des deux parallles AB,
EC, un
CD
le
long
d'une ligne quelconque CH. Cette dernire ligne rencontrera
mme point
EH devra aussi
commun aux
AB
quelque part, et ce sera au
H,
plans, et par lequel la ligne
ncessairement passer.
Donc EF
le
est parallle
EF
paralllisme de
AB. On dmontrera de
la
mme
trois
manire
de CD.
et
La supposition qu'une ligne EF
est parallle l'une des
deux
autres droites parallles entre elles AB, CD, revient donc consi-
EF comme
parallles AB, CD
drer
elles,
l'intersection
;
lorsqu'elles
qu'elles
de deux plans contenant
les
deux
par consquent, deux lignes sont parallles entre
sont parallles une
ne soient pas situes toutes
mme
les trois
Ce dernier thorme peut encore s'noncer de
troisime,
bien
mme
plan.
dans un
la
manire suivante
'
Les intersec lions de trois plans deux deux sont trois droites
parallles entre elles, toutes les fois que l'on suppose le parall-
lisme de deux de ces droites.
26.
mme
Deux
triangles opposs sur la surface de la sphre ont
surface.
Nous entendons
ici
par triangles opposs ceux qui sont forms
par les intersections de
la
surface sphrique avec les trois
mmes
du centre. Dans ces triangles, les cts

et les angles ont donc deux deux une direction oppose.
Dans les triangles opposs ABC, A'B'C (Jig.H, on l'un de ces
triangles doit tre considr comme retourne), on a entre les cts
plans, de part et d'autre
14
TUDES GOMTRIQUES
=A
AB
les galits
B',BC
= B'C, CA
-^ C'A', et
les angles
en A,B,C sont gaux leurs correspondants en A',B',C', dans

l'autre triangle.
Par
les trois
imaginons que
points A,B,C
Ton mne' un plan,
et
que sur
ce plan Ton ab.iisse du renlre
de
sphre une perpendicu-
la
dont
laire,
dans
les
points
de
et D'
in
D'C,
la
dans
deux dans
les
sphre en arcs de grands cerelles
qu'aux distances
l'autre triangle [prop. 0].
gles isoscles forms autour des points
prolongemenls
deux triangles opposs aux
devront tre gales [prop. 12], tant entre
D'A', D'B',
les
deux sons rencontrent
surface sphrique. Les distanees du point
aux points A, B, C, mesures sur

cles,
les
Donc
les trian-
D' seront gaux deux
et
deux triangles sphriques ABC, A'B'C
'
Nous prendronspour caractre gnral del'quivalence de deux

surfaces
dfinition suivante
la
lorsqu'elles
Deux mrfaces
sont quivalentes,
sont formes par l'addition ou la soustraction de
parties gales.
27.
Un
didres,
Dans
angle tridre est gal la demi-somme de ses angles
moins un angle
le triangle
droit.
ABC
sphrique
15),
{fiq.
moindre que
dont chaque ct est
, dsignons les angle&
par A,B,G; prolongeons
manire former
Ide
ABA B'A,
deux
|en
lequel partagera la sphre
parties gales.
Dans l'hmis-
phre qui contiendra
le
prolongeons encore
les
cts au del de
ct AB,
le
le cercle entier
triangle
ABC,
deux autres
leur intersection
mutuelle C, jusqu' leur rencontre

I
avec
le
cercle en
'
et
en
'
L'h-
Imisphre se trouvera partag ainsi

en quatre triangles ABC, ACB'
rons
les surfaces
B'CA
par P, X, Y, Z.
X-:
B,
Il
'
A 'CB, dont nous dsigne-
est vident
-i-
que Ton
= A.
La surface du triangle sphrique Y

triangle oppos
et
dont
le
diamtre
ABC
troisime
CD de
qui a
'
sommet
est
men par
P
comme
est quivalente celle
AB commun
avec
le triangle
situ l'autre extrmit
sphre,
la
rsulte
et
ct
le
15
point
le
[prop. 20].
De
du
P,
du
l
+ Y = C,
d'ailleurs
P-f-X-+-Y-f-Z=7r,
il
s'ensuit
que
l'on a
On
.peut encore
-1
,;a
arriver
4-
mme
la
manire, en s'appuyant seulement sur
dmontr relativement
Dans
le triangle
le
tt).
conclusion d'une autre
thorme que nous avons
l'quivalence des surfaces [prop. 26].
sphrique
ABC (^$r. 16), menons, parlesmilieux
D,E des cts AB, BC,

FDEG, sur lequel nous
grand cercle
le
abaisserons, des
points A, B, C, les arcs perpendiculaires
AF, BH, CG. Si l'arc perpendiculaire BH

tombe entre D et E, le triangle rsultant
BDH sera gal h AFD, et le triangle BHE
gal
que
surface du triangle
la
AFGC [prop. 20]. Si

ct BG {fig. 17), il n'y
tre
ABC
le
EGO
[prop. 6 et 15], d'o
est quivalente celle
point
il
rsulte
du quadrila-
E du
concide avec le milieu
aura plus que deux triangles rectangles
gaux AFD, BDE, par l'change desquels on

dmontrera l'quivalence du triangle ABC
quadrilatre
AFEG.
dehors du triangle
laire
CG
Si enfin le point
ABC
en ajoutant
dans
ainsi
le
le triangle
CGE
quadrilatre sphrique
que par
les points
le
ABC au
triangle
= EBH.
FAD
H tombe en
le
triangle,
quadrilatre
= DBH,
on
AFGC,
et retran-
Imaginons maintenant que,
AFGC, on mne par
et C,
du
18), la perpendicu-
pntrant alors dans
passera du triangle
chant ensuite
(Jig.
et
les points
A et G,
des arcs de grands cercles, ces
arcs AG, FC, seront gaux entre eux

FAC, ACG seront aussi gaux [prop.
l'angle ACG.
[prop. 15]
donc
15], et l'angle
les triangles
FAC
sera
âl
TUDES GOMTRIQUES
16
De
du
la somme des
somme des deux
que, dans tous les cas prcdents,
l rsulte
trois angles
triangle spherique est gale la
angles gaux du quadrilalre, autres que les deux
Fig. 18.
pour tout triangle
D'aprs cela,
angles droits.
spherique dont
somme
la
des trois angles est S,
on peut trouver un quadrilatre de mme surface,

ayant deux angles droits et les deux cts perpendiculaires
gaux entre eux,
deux autres angles

Soit maintenant
spherique dont
-S. Prolongeons
et,
AD
et
-S.
19) le quadrilatre
{fig.
= CD sont perpendi-
AB
les cts
culaires sur BG, et dont les angles

les cts
est gal
ABCD
dont chacun des
et
en
A et en D
BG
jusqu' leur rencontre en E,
sont gaux chacun
au del ce point E, portons encore sur le prolongement de AD

la longueur EF
DE, et abaisFig. 19.
prolongement de
sons sur
le
BG
perpendiculaire FG.
l'arc
Partageons
l'arc total
deux parties gales,
gnons
le
milieu
BG
en
et joi-
par des
arcs de grands cercles aux

points
15]; on a donc
FG
et F.
Les triangles
EFG, DCE sont gaux [prop.

DG=-AB. Les triangles ABU, HGF sont
pareillement gaux, parce qu'ils sont rectangles et ont les cts de

l'angle droit gaux.
cercle
l'angle
l'arc
Donc AH
et
AIIF est gal %. L'arc
HF appartiennent un mme
ADEF est pareillement gal ir,
HAD = HFE=|S BAH^S HFG =-^S IIFE EFG
=-^S HAD x+jS.

revient au
mme,
la
Donc
l'angle
HFE=-^(S it),
mesure du fuseau AHFDA,
tour est gale celle du quadrilatre
ou, ce qui
laquelle son
ABGD, comme on
le voit
aisment, lorsqu'on passe de l'un l'autre, en ajoutant d'abord
BAH,
triangle
EFG,
triangles
DCE, HFG, gaux aux prcdents. D'aprs
sera la
du
puis le triangle
mesure du quadrilatre ABGD, et en
triangle spherique dont la
le
et retranchant ensuite les
somme des
mme
cela
-(S
temps aussi
ic)
celle
trois angles est gale S.
17
28. Lorsque trois aplatis se coupent deux deux suivant des
somme
droites parallles, la
deux angles
des trois angles didres est gale
droits.
CC
Soient AA', BB',
20), les trois parallles formes par
{fig.
'^^
j.^ 20.
intersections des trois plans
[prop. 25]. Prenons volont sur
ces droites trois points A,B,C, et
imaginons que Ton mne par ces
W^^^^^^^^^jM
points
un plan qui coupera
les
Wf^^B^K^^K
"^^
plî^s
d^s parallles suivant
les
AB, AC, BG. Menons, de
droites
G et par un
un nouveau plan qui coupera
le plan des parallles AA' BB
suivant la droite AD, et le plan des
parallles CG', BB' suivant la droite CD, et qui fera avec le troisime plan des paralllles AA' GG' un angle que nous dsignerons
par w. Soient X, Y, Z les angles didres des trois plans, suivant
plus, par la ligne
point quelconque
D de
ligne
la
BB'
'
les artes
plans
BDG
comme
AA
'
BB GG
a, ADG
'
respectivement. Soient enfin les angles
'
centre, on dcrive
tions avec les droites
ADB
h,
c.
Imaginons que, du point A
une surface sphrique dont
les intersec-
AG, AD, AA' dterminent un triangle sph-
rique ayant pour cts p, q, r, pour surface a, et pour angles

oppos au ct q, X oppos au ct r, et par suite x -f- 2a
wX
oppos au ct p [prop. 27]. De mme GA, GD, GG' couperont la

sphre de centre G, en dterminant un triangle de surface ^ dont
les cts seront />
r',
et
par suite
'
TC
'
'
4-2p-i(;Z
dtermineront sur une sphre de centre

dont
les cts l,
m, n auront pour
w -i-Z 2, w + X 2 a,
quent
J=(X-|- Y +Z
les surfaces
telle
sorte
oppos g
oppos p'. Enfin
et les angles
D un
quantit donne. Dans
Z oppos
DA,DB,DG
triangle spiirique
angles respectivement opposs
Y, et dont
la
surface sera par cons-
a ^-i-w. Lorsque w diminue,

l)
des triangles a et ^ diminuent en
que a-t-g
'
mme
temps, de
peut tre rendu moindre que toute
le triangle ^, les
lement tre rendus indfiniment
cts
et
petits [prop. 21].
peuvent ga-
Donc
le
trian-
un de ses cts, / ou w, peut tre port autant de fois

que Ton voudra sur un grand cercle de la sphre, sans que l'hmigle d avec
sphre se trouve compltement couvert; par suite, s'vanouit en
TUDES GOMTRIQUES
18
mme
temps que w, d'o rsulte que Ton doit avoir ncessairement
Dans un
29.
sur
les
triangle rectiligne, les perpendiculaires leues
milieux des cts ou ne se rencontrent pas, ou se rencon-
trent toutes en
un mme
Supposons que dans
point.
le triangle
ABC
il y ait intersection
deux perpendiculaires
21),
{fig.
au point D entre
Fig.2i.
les
ED, DF, leves aux milieux E, F des cts

AB, BC. Menons aux sommets du triangle
lignes
les
DA,DB,DG.
Dans
les triangles
gaux ADE, BDE [prop.
10], on a AD = BD; par une raison analogue,
BD
et par
base
consquent
AG tombera au
= CD.
Le triangle ADG
est
donc
perpendiculaire abaisse du point
la
milieu
isoscle,
La dmonstration n'prouve aucun changement lorsque
D des deux perpendiculaires ED, FD se

AC elle-mme, soit en dehors du triangle.
d'intersection
sur
la
ligne
Donc, dans
le
cas o l'on
ne se coupent pas,
les
la
sur
la
de cette base.
le
point
trouve soit
admet que deux de ces perpendiculaires
troisime ne pourra pas non plus rencontrer
deux autres.
30. Les perpendiculaires leves
aux milieux des
triangle rectiligne seront toutes les trois

toutes les fois
que
DE, FG,
milieux D, F,
HK
(flg.
laires
les
deux perpendicu-
DE, FG, qui rencontrent AB en L
en M, soient parallles,
culaire
22} leves sur les
des cts du triangle ABC.
Supposons d'abord que
la ligne
d'un
en supposera deux parailles.
l'on
Soient les perpendiculaires
du point L
cels
parallles entre elles,
HK
et
que
la
et
perpendi-
se trouve entre les deux autres.
l'intrieur
de l'angle BLE, tirons volont
LG, qui devra rencontrer FG quelque
part en
GLE [prop. 16], Puisque,

dans le triangle LGM, la perpendiculaire HK ne peut pas rencontrer MG [prop. 29], il faut donc quelle coupe LG quelque part en
P, d'o l'on conclut que HK doit tre parallle DE [prop. 16] et
G, quelque petit que soit l'angle d'cart
MG[prop. 18et25.
19
SUR LA THORIE DBS PARALLLES.

Si l'on reprsente les cts pir
= 2a,
BC
et
= 26,
AC
que Ton dsigne par A, B, G
ces cts,
on
dans
a,
les
AB
= 2c,
angles respectivement oppos,
cas considr,
le
= u(b) n(c),
n (a)
n (c),
B
C=:n(a)4- n(6),
comme
ce
'
laire
il
HK,
de s'en convaincre,
est ais
menes par
les points
et par suite aussi
FG[prop. 23
coupera AA'
GQ
Fig
AA' , BB'
perpendicu-
Si l'on
n (a) -p
{fig.
deux perpendiculaires HK,
DE ne
FG
pourra
donc ou elle leur sera parallle, ou

La dernire hypothse revient dire que Tangle
> Il(a) + n(6).
position
les
alors la troisime perpendiculaire
pas les rencontrer [prop. 29]
vienne gal
la
aux deux autres perpendiculaires DE,
Supposons maintenant que
des lignes
et 25].
soient parallles
elle
l'aide
A, B, G, paralllement
diminue cet angle jusqu' ce

en donnant
11(6),
23), et
si l'on
ct
23.
BQ
dsigne
la
la ligne
AG
qu'il
de-
nouvelle
la
longueur du troisime
par 2c', alors l'angle CBQ, qui se
trouvera augment, devra tre gal, d'aprs
ce qui a t dmontr plus haut, U{a)
D(c') > n
c'
faut que dans
31
sur
dans un plan,
les
AB
milieux de
et telle
24), par
divers angles
rsulte
> BQ [prop.
9], c'est dire
la ligne courbe,
perpendiculaires leves
les
cette dfinition,on peut concevoir que la courbe-
un
GAB
que toutes
c>c'
ses cordes soient paralllei entre elles.
limite soit engendre

{fig.
il
AGQ, les angles A et Q sont gaux; donc, il

ABQ, l'angle en Q soit plus grand que
Gonfonament
AB
n(c), d'oii
Nous appellerons courbe-limite (horicycle)
situe
(fl)
[prop. 23]. Mais, dans le triangle
le triangle
en A, d'o rsulte
l'angle
>c
comme
il
suit
tant donne
une droite
point A, pris par cette droite, on mne, sous
II(a),
des cordes
chacune de ces cordes sera situe sur
AG
= 2a, L'extrmit G de
la
courbe-limite, dont on
3
20
TUDES GOMTRIQUES
les points.
pourra ainsi dterminer successivement tous

pendiculaire DE, leve sur
Pig.
milieu de
le
la
AB, que nous nomme-
lle la ligne
2.J
La per-
corde AC, sera paral-
rons axe de la courbe- limite. De
mme
toute perpendiculaire FG, leve sur
AH,
milieu d'une corde quelconque
le
Donc
sera parallle AB.
cette pro-
prit devra aussi appartenir en gnral toute perpendiculaire
KL, leve
au milieu K d'une corde quelconque
CH, quels que soient

la
H de
les points C,
courbe-limite qui forment les extr-
mits de celte corde [prop. 30].

telles
comme AB,
recevoir, sans distinction,
nom
le
De
devront donc
perpendiculaires
d'axes de la courbe-
limite,
32.
Un
cercle
dont
rayon va en croissant
le
se
change en une
courbe-limite*
Soit
AB
(fig.
Fig. S5.
25) une corde de la courbe-limite. Par les extrmits A et B de la corde, menons deux
31]. Sur
BAC
Pavec
l'autre
corde
[prop.
un de ces axes AC, prenons un
E comme
point quelconque
contre en
la
= ABD = a
AC, BD, qui feront avec
axes,
des angles gaux
cercle, et
menons
l'origine
de
l'arc
AC, jusqu' sa ren-
l'arc
axe BD. Le rayon
centre d'un
de cercle AF depuis
FE du
cercle, corres-
pondant au point F, formera d'un ct, avec la corde AF, l'angle

AFE == p, et de l'autre ct, avec l'axe BD, l'angle EFD
y.
L'angle compris entre les deux cordes

[prop. 22], d'o rsulte
^<-y.
BAF
Or,
= a p<P+y
comme
AC, F restant
s'approche de
[prop. 22];
ou
il
fixe [prop.
sur l'axe BF,
meut dans
la
centre
se
conservant sa position
s'ensuit que, l'angle y dcroissant ainsi, l'angle
l'inclinaison mutuelle des
la distance
le
21], soit encore lorsque
dcrotre jusqu' zro, soit lorsque le point

diirection
l'angle y peut
du point B de
deux cordes
la
AB-,
AF,
^,
et par suite aussi
courbe-limite au point
F du
cercle.
SUR LA THORIE DES PARALLLEd.

tendront vers zro. Donc on peut appeler
la
courbe-limite
un
cercle
de rayon infiniment grand,
33. Soient
AA
'
= BB '=
elles
Fis. 26.
26) deux droites parallles entre
a; (fig.
dans
direction de
la
vers
'
et
suppo-
sons que
les
d'axes aux
deux arcs de courbes-limites AB
parallles ces droites servent
5,
A'B'=5'. Onaura
=i se
s'
5, *'
indpendant des arcs
e tant
arcs s et s
Pour
dmontrer, admettons que
le
de
et
la droite
soit gal celui
rapport des deux arcs
le
des deux nombres entiers n, m. Entre
AA BB menons un troisime axe GG

l'arc AB une partie AG = t, et de Tare A B une
axes
'
x, distance des
'
'
'
'
'
les
s'
s,
deux
qui retranche de
partie
A G
'
'
=r
du mme ct que t. Supposons que le rapport de ^ 5

nombres entiers p, q, de sorte qu'on ait
situe
soit.
gal celui des deux
Partageons maintenant
il
y aura
de 5
mq
de
et
s'
=--.
q
par des axes en nq parties gales;
l'arc s
np sur /. A ces parties gales

correspondent aussi des parties gales de 5' et de /';
de ces parties sur
s' et
on a par consnuent
il
t
~~
il
'
D'aprs cela, de quelque manire que l'on prenne les deux arcs
deux axes AA BB le rapport de / f restera toumme, tant que la distance x entre ces arcs restera la
t,t' entre les
jours le
mme.
Si
'
'
donc on pose, pour x
'
\, s
= es'
on aura, pour une
valeur quelconque de x,
S
(*)
d'o
En
t
efTet, si l'on
ds,
suppose
<'=: ds',
la
=1
se
(*).
dislance des axes AA',
l'quation prcdente
d9
ds*
donne
CC
inflniment petite,
9^
TUDES GOMTRIQUES
Le nombre
un nombre inconnu soumis
e tant
la seule
condi-
> 1, et d'un autre ct Tunit qui mesure la ligne x pouvant
tion e
on pourra, pour simplifier
tre prise arbitrairement,
que
choisir cette unit de telle sorte
nombre
calcul,
le
devienne gal
de Neper.
la base des logarithmes
On
le
peut encore remarquer que
s'=
pour x
= ao. Donc non
seulement la distance de deux parallles va en diminuant [prop. 24],
mais encore, lorsqu'on prolonge
dans
les parallles
llisme, cette distance finit par s'vanouir.
le
sens du paral-
Les lignes parallles
prsentent donc le caractre des asytnptotes.
SA. Nous appellerons surface-limite (horisphre)
gendre par
la
rvolution de la courbe-limite autour d'un de ses
comme
axes, lequel sera aussi,
un axe de
limite,
surface en-
la
tous les autres axes de la courbe-
la surface-limite.
Une corde de longueur donne est incline d'un angle consmens par ses exlrmitSy quels que soient les
deux points de la surface-limile que l'on prenne pour les extrtant sur les axes
mits de cette corde.

Soient A, B,
l'axe
et
AG
27] trois points de
\fig.
CC
=B
A'CA^G'CA
BA,
AA'
et par suite
AB
CC', mens par
et
les
[prop. 31]. Les deux axes
extrmits de
sont galement parallles et situs dans
Une
la surface-limite,
deux autres axes,
des cordes sur lesquelles les axes sont inclins d'angles
gaux A'AB
BB'
de rvolution, BB' et
DD
perpendiculaire
'
le
troisime corde BC,
la
mme
pian [prop. 25].
leve au milieu de la corde, dans le
plan des deux parallles AA', BB', sera parallle aux trois axes
AA', BB',
ce
[prop.
23
et 25];
une perpendiculaire
EE%
ds
donc
est constant, quel
que
soit , et l'on a,
en considrant
n:>ene
comme
fonction de x,
,
=.
ds
0,
d'o, C et C* tant des constantes arbitraires,
Cdoj,
ds
. Cas
*-=C'
De
plus, s dcrot lorsque
J'unil.
croit [prop. 24].
Donc Ce
nombre par e-"*,

de dmontrer. .{Note du trad.)
En reprsentant
qu'il s'agissait
x
ce
tant
moindre que
on a l'quation
doit tre
>
l,
Fis. 27.
23
54
TUDES GOMTRIQUES
la surface-limite.
D'aprs cela, tout pla7i principal coupe
la sur-
face-limite suivant la ourbe-limitc, tandis que, pour toute autre
position
du plan scant,
cette intersection est
un
cercle. Trois plans
principaux qui se coupent deux deux forment entre eux de

la somme est gale x [prop.
comme les angles du triangle
angles dont
28].
ces angles
de
Nous considrerons
la
surface-limite, qui
a pour cts les arcs de courbes-limites, forms par les intersec-
Les
tions de la surface-limite avec les trois plans principaux.
triangles de la surface-limite ont donc, entre leurs angles et leurs

cts, les
mmes
que Ton dmontre exister dans
relations
35. Dans ce qui va suivre, nous reprsenterons par une

accentue,
telle
que
a?'
la
une autre ligne, dsigne par la

X saBs accent, par la relation exprime par fquation
n{x)
ABC
i-
{fig.
u{x') := -^
mme
lettre
n.
2^) un triangle rectiligne rectangle
ayant pour hypolnuse
Fig.28.
lettre
grandeur d'une ligne, pour indiquer que
celte ligne est lie
Soit maintenant
les
en gomtrie ordinaire.
triangles rectilignes
cts de l'angle droit
AG
AB
6,
c,
pour
#,
BC
et pour angles opposs ces derniers
BAC
II(a),
levons
la
ABC
= n(p). Au point A,
perpendiculaire AA' au plan
du triangle ABC,
menons BB
'
et
et par les points
CC
'
parallles
et
AA
C
'
Les plans qui renferment deux deux

ces trois parallles forment entre eux
l'angle n(a) suivant AA'
suivantCC [prop. 11
l'angle
un angle
droit
et 13], et par suite
n(a') suivant BB' [prop. 28].
Les intersections des lignes BA, BC,
B comme
cts ^nt mn =
du poat
les
BB' avec une surface sphrique, dcrite

centre, dterminent un triangle sphrique dont
U(a), et les angles
n(c), kii =- n(), mk
respectivement opposs n(6), Il(a'), ji:.

D'aprs- cela,
l'existence d'un
triangle rectiligne, ayant pour
95

c, et
cts a, b,
pour angles opposs n(a), n(P), ji, entrane aussi

ayant pour cts n(c),
celle d'un triangle sphrique {fig. 29)
n (of)
Fie. 23.
et
II(),
pour angles op-
n(6),n(a'),-x.
poses
Outre ces deux

;ingles,
tri-
l'existence
du
triangle sphrique entrane aussi rciproque-
ment celle d'un
triangle,
rectiligne pouvant avoir
pour cts
a,
a',
pour angles
et
p,
respectivement
opposs
n(6'),n(c),{x.
On peut
fl,
de a,
ainsi passer
b, c, a, ,
bya,c, p, ^ et aussi
a', p, b' ,c.
Imaginons que par
le
point
(fig.
C,
dont
A' comme
deux autres axes
28), en prenant
axe, on mne une surface-limite qui coupe
les
BB', ce
en B" et
parallles
forment un triangle de surface-limite ayant pour cts
B"(}"=p, C"k
= q,
et
opposs n(a), n(a'), -i:.

;;
B"A
On
r,
^2^^^^^
plans des
aura, par consquent [prop. 34],

^
le
les
pour angles respectivement
et
r sin n(a).
Dtruisons maintenant
avec
les intersections
long de
r ces n
BB
la ligne
().
{fig.
30)
la liaison
des trois plans principaux, et talons-les de

faon qu'ils viennent tous les trois, avec
toutes les lignes qu'ils contiennent, s'appli-
quer sur un
mme
plan, sur lequel les arcs
p, q, r se runiront en
un
seul arc de courbe-
limite, passant par le point A, et
axe A'
de
telle sorte
seront situs
ayant pour
que, d'un ct de AA'
les arcs
et jj; le ct b
triangle, lequel est perpendiculaire
AA'
l'axe
CC
men
du
en A sur
par l'extrmit de b pa-
ralllement AA' et passant par le point C"

de runion des arcs p e\.q\\e ct a, perpendiculaire sur
men
ce- au
point C; et l'axe BB'
par l'extrmit de a paralllement AA', et passant par
26
TUDES GOMTRIQUES
Textrmit B" de
de
l'arc j9;
de AA' seront situs
l'autre ct
perpendiculaire AA' au point A, et l'axe BB'
le ct c,
parallle
et joignant l'extrmit de 6 l'extrmit de B" de l'arc r.

La grandeur de la ligne CC" dpend de b, et nous exprimons cette
dpendance par l'quation CG"= f{h). On aura de mmeBB"==/'(c).
Si, en prenant CC pour axe, on dcrit une nouvelle courbe-limite,
AA'
partir du point C, jusqu' l'intersection

l'axe
BB'
BD
et
que
l'on
dsigne
= f{a),
et par suite,
Remarquons, de
plus,
BB
---
f{a)
que
CD
l'arc
BD
par
de cette courbe avec
on aura
/,
=80 +
4 DB'
CC",
-r fih).
l'on a [prop.
32]
^p/'" = rsmnW./'"
au plan du triangle ABC
Si la perpendiculaire
{fig.
28), au lieu
d'tre leve au point A, l'avait t au point B, les lignes c et r
mmes;
seraient restes les

t
et q; les droites
qeitse
les arcs
en b
et 6,
seraient changs en
et a, et l'angle
n(a) en
I1(P).
On
aurait, par consquent,
= rsin
n(|3). Z^"^,
d'o rsulte, en substituant pour q sa valeur,

CCS n(a)
et,
en changeant a en
6'
= sin n(^).
/^
sin n(c).
",
'>
sin n(b). e
Il
*,
p en c,
sin n(6)
d'o, en multipliant par
sin n(c). e
en rsulte aussi
sm
n(a). e
smn(&).
Or, les droites a et h sont indpendantes l'une de l'autre, et de plus,
pour 6
= 0,
on* a
m-0,
n(6)
= -f7r.
97
Donc, pour toute droite o, on a
siii
n(c)
sin n(|3)
On
tire
encore de
l,
e~
ce qui donne
sin n(a),
= sin n(a) sin n(6),

= CCS
sin
il(a)
n(fl).
par des changes de lettres,
sin n(K)
Gos u{b)
= ces
sin n(6),
= ces n(c) ces n(a),
n(j5)
cos ii(fl)= ces n(c) ces n(p).

Si,
dans
le triangle
sphrique rectangle
(fig.
29), on dsigne les
cts n(c), n(^), n(a), avec les angles opposs n(6),

les lettres a, b,
c,
A, B, les
Il
(a
),
par
quations prcdentes prendront
forme des quations connues que Ton
tablit,
sphrique, pour les triangles rectangles, savoir
la
en trigonomtrie
= sin c sin A,
= c sin B,
cos A = cos a sin B
A,
cos B = cos 6
cos c = cos a cos
sin
sin b
sin
sin
6,
quations au
moyen
desquelles on peut passer celles qui sont
aux triangles sphriques quelconques. Donc
relatives
la trigono-
mtrie sphrique est indpendante de ce que, dans un triangle

rectiligne, la
somme
des trois angles est ou n'est pas gale deux
angles droits.
36. Considrons maintenant de nouveau le triangle rectiligne
Fiff.
ABC
3.
{fig.
31), ayant pour ct a, b, c et
pour angles respectivement opposs n (a),

n(P),
X. Prolongeons l'hypotnuse c au
del
du
point B,
et prenons
au point D, levons sur
BD
la
BD
^;
perpendi-
DD' qui sera parallle au prolongement BB' du ct a au del du point

B. Par le point A, menons encore DD'
qui sera en mme temps
la parallle AA'
culaire
parallle
n(c-r
CB'
^),
[prop.
A'AC --
25].
Par
consquent Tangle A' AD
n(6), d'o
n(6)
= n(a)-f- n(c-i-p).
28
'TUbES
GOMTRIOCES
Fig. 32.
Portons p partir du point B sur Tiiypotnuse c; Textrmit D (fig. 32), levons sur
AB, Fintrieur du
culaire
DD'
triangle,
et par le point
la
perpendi-
A menons
AA'; la ligne BC,isivec son prolongement G' sera la troisime parallle.

parallle
la
CAA
Alors l'angle
=n
'
DAA
(b),
'
=- n{c
p),
d'o
n(c
^) =
n(a)
n.(b).
-f
Cette dernire quation subsiste encore lorsqu'on a c

c
<^.
V6h % '^~
Si
Fis. 3.
;p (fiff.
siirX'B
33), la perpendiculaire AA', leve
au point A, sera pa-
au ct BC
rallle
= ^ ou
son prolongement
Fig. si
</,avec
-
CC
par
consquent n(a) H- ri()

---
X,
aussi
tandis que l'on a
n{c
p)
{fig.
-j:
rohac<p,
[prop. 23}.Si
l'extrmit de ^ tombera au del
A, en
du point
34), sur le prolongement de
rbypolnuse AB. La perpendiculaire

leve sur AD, et
la
DD
AA', mene
parallle
parle point A celte perpendiculaire seront

toutes deux parallles an ct
Ici, l'angle
DAA
= U(p
n (a) + U(h)
BG
c);
n:
et son
prolongement
donc [prop. 28]
- Hf^
c) -^ II (C
P).
La combinaison des deux quations trouves donrie
= u{e f) n[c
2n()=:n(c ^)-n(c4-i5),
2 n(b)
-h
-h
f),
d'o rsulte
eos n(6)
cos [4-n(c
p) + 4 ^(^
ces n()
cos
J-~n (c
j3)
+-
^ n(c +
P)]
f)i
CC.
39
En
substituant
valeur [prop. 35]
ici la
_ cosn(c),
_
COS 11(6)
COS
il
n (a)
'
vient
tang^-^ n(c) := lang -^ n(c
tang ^Vi(<^ 4
p)
p).
P tant ici un nombre arbitraire, puisque Ton peut choisir

volont Tangle Il(^) du cOl a avec le ct c, entre les limites
et -ic, et par suite entre les limites
en faisant successivement p
toute valeur positive
.
.
que
conclura,
l'on a,
pour
admettons que Ton
tang-^n (ne).
comme
Considrons maintenant n
et c, et
, on en
et
2c, 3c,
du nombre n,
tang" -^n(c)
c,
rapport de deux lignes
le
ait
col Y-n(c)
on trouvera que, pour toute ligne x en gnral, positive ou

ngative, on a
lang-^nO*')
~ <^~^
pouvant tre un nombre quelconque plus grand que Funit,
puisque
l'on a
Comme
U{x)
pour
l'unit qui sert
a;
oo.
mesurer
peut faire en sorte que e reprsente
les lignes est arbitraire,

la
on
base des logaiithmes de
Neper.
37.
Parmi
de connatre
Ibs
les
quations trouves plus haut [prop. 36],
deux suivantes
.sinn(c)
sinn(a)
en appliquant
la
sutil
^ sinn(ff) sinn^ft),
= sinn(/;j cosn(^),
dernire aux deux cts de l'angle droit a et 6,
pour dduire de leur combinaison

n 35, sans qu'il
il
ait
les
ambigut dans
deux autres quations du
les signes algbriques, tous
#
30
TUDES GOMTRIQUES
les
angles tant
On
aigus.
ici
parvient d'une manire semblable
aux deux quations

(1)
tangil(c)
(2)
cos
= sinn() tangn(a),
n(a)=; cosn(c)
(OS n(|S).
Considrons maintenant un triangle rectiligne ayant pour cts

a, bf c ifig. 35), et
pour angles respectivement opposs A,B, C.
Fig.35.
et
sont des angles aigus,
laire p, abaisse
oppos
du sommet C sur le ct
l'intrieur du trian-
On formera
ainsi
en appliquant l'quation
celle qui est adjacente
deux triangles rectangles qui donneront,
(1), les relations
tangn(a)
tang n (6)
= sinB tangn(j9),
= sin A tang n (p)
et ces relations continueraient
de subsister lors
angles, B, par exemple, serait droit
On
en deux parties
celle -de ces parties qui est adjacente
l'angle A, c
l'angle B.
Si
perpendicu-
tombera dans
c,
gle, et partagera le ct c
soit
la
{jig.
mme
36), ou obtus
qu'un des
{fig.
37).
a donc gnralement, pour un triangle quelconque.
sinA tang n (a)
(3)
Dans un triangle dont
= sinBtangn(6).
A
angles
les
et
sont aigus
{fig.
35),
on
a encore [quation (2)]

cosll(ir)
cos n (c
quations
qui
Fi?. 36.
= cos A cosll(&),
P)
:= cos B COS II (a),
subsistent encore
pour un triangle dans lequel
un des angles A, B
droit
~ -X
prendre
{fig.
ic
quation
dans
serait
fik. 37.
ou obtus. Ainsi, pour
celle
30), on devra
= c;
se
la
premire
change
alors
que nous avons
trouve plus haut [quation (2)]; l'autre se vrifie d'elle-mme.
31
PourB>-Tc
(Jig.
37), la premire quation
n'est pas altre,
tandis que la seconde devient
CCS n (a;
Or, on a
c)
= cosn(c [prop. 23], et d'ailleurs

cosB. Si l'angle A est droit ou obtus, on rempla-
cosn(a; c)
cos(tc B)
cera
= ces {n B) ces n (a).
par c
et c
a;)
x par
Pour liminer x entre
x, pour ramener ce cas au prcdent.
les
deux quations, remarquons que
Ton a [prop. 37]

cosn(i; a?)
tang:^n(c
- e"-''
tang*-5-n(c) cot"n(a;)
a)
tang*jn(c a?)
l-4-tang*-in(c)cot*|n(a;)
cosii(c) cosn(a7)
1 cosn(c)cosn(,T)
En
mettant pour cos
II(a;),
cosll(fl)
^ ^
"
cos n(c
cosB
x) leurs valeurs,
cosll(&) cos
l-H-cosll(a)cosll(&) cos
il
vient
A cosB
d'o rsulte
_
, .
cosn(a)cosB
'
^
ttt wr-ry
= Tcosil(c) cosAcosn(&)
i cosAcostt(o)cosn(c)
et enfin
sin*n(c)
On
(4)
= [l cos B cos n(c) cosn(a)] [l cos A cos
trouvera de
II
(6) cos n (c)l
mme
= [* cos G cos n(a) cos n(6)l [l cos B cos n cos n (a)]

8in*n(6)=ri cosA cos 0(6) cosll(c)] [l cosCcosil(a) cosn(6)]
sin*n(a)
(c)
>
3^
TUDES GOMftTRIQUKS
De ces
trois quations
on
sin*n(6) sin*n(c)
tire
encore
= ces A cosn(6) cosn(c)
sin*n(a)
(1n conclut
de
^Mv
(5)^
l,
sans ambigut de signe,
/,x
sinn(6) sinn(c)
CCS A CCS n (b) ces n (e)^ H

^
Kn
'
sinn(a)
poupn(c) sa valeur, conformment Tqua-
sulDstituanl ici
tion (3),
sinll(c)
il
tangll(fl) cosll(c),
vient
ces
cosll(a) sinC
n (C)
^ ^
::^
siiiA sinll(ft)
-t-
^
cosA sinC
.
*
cos0(fl) cosll(fe)
Ton remplace maintenant cosn(c) par cette expression dans
Si
l'quation (4),
on a
cet
(6)
sin C sin
n {h)
ces C
^^^îj^\
.cosll(a)
L'limination de sin n(^) au
cosn(a)
;;7iT-cosC
cosn(6)
D'ailleurs, Tquation (6)
=Trr=
cosll(o)
On
,_,
(7)
moyen de
,
l'quation (3)
cosA
r-^smC^
.
smB
doime
,
smn(a).
^ ^
.
donne, par des changes de
lettres,
cotB sinC sinn(a)^ -h cosC.

^
conclut des deux dernires quations
T
n
cosA 4- cosB cosC
sin B sin C
inn(a)
Les quatre quations qui exprimeront

a, b, Cf et les angles opposs A, B, C,
les relations
entre les cts
dans un triangle recUligne
'seront d'aprs cela [quations (3), (5), (6), (7)]
SUR LA THORIE
sin
tang
n (a)
33
PARMLLES.
I>BS
= sin B tang n (&)
cosA cosn(6)
cosn(c)' h
^
^^< cotAsinCsinn(6)
cosC
-h
smn(a)
1,
7-4-'
Gosn(a)
cosA
-h
_,
cosBcosC
sin B sin C
sin
Si les cts
du triangle sont
U{a]
trs petits,
on pourra se contenter
des dterminations approches [prop. 6]
sin
n (a)
-jfl*
cosn {a)=^ Oj
et
de
mme
pour
les autres cts 6, c.
Pour un
tel
triangle, les
quations (8) deviennent donc
= asinB,
a* = t* -h * 2decos A,
asin(A + C) = b$nky
6sinA
ces A
cos(B
C)=^0.
Les deux premires de ces A quations sont celles que fournit

gomtrie ordinaire. Les deux dernires, combines avec
la
les pre-
mires, conduisent la relation
A
Donc
la
+B+
TT.
gomtrie imaginaire se change dans
naire lorsque Ton suppose
les cts
la
gomtrie ordi-
d'un tinangle rectiligne trs
petits.
J'ai publi,
dans
les
Mmoires de tUniversil deKasan, quelques
recherches sur la mesure des lignes courbes, des figures planes,
des aires et des volumes des corps, ainsi que sur Tapplication de
la
gomtrie imaginaire l'analyse
(<)
(*).
Voyez aussi un Mmoire de l'auteur publi en franais dans le Journal

titre de Gomtrie imaginaire.
de CrelU (lome XVII, p. 295-320, 1837), sous le

(Note du trad.)
TUDES GOMTRIQUES SUR LA THORIE DES PARALLLES.
34
Les quations (8) constituent par elles-mmes une raison sufficomme possible l'hypothse de la gomtrie
sante pour considrer
imaginaire.
Il
n'existe
donc pas d'autre moyen que
les
observations
astronomiques pour s'assurer de l'exactitude des calculs auxquels

conduit
la
comme je
gomtrie ordinaire. Cette exactitude s'tend trs loin,

l'ai
fait
voir dans
un de mes Mmoires. Ainsi, dans les

moyens de mesure, on n'a pas
triangles qui sont accessibles nos
encore trouv que
la
somme
des trois angles diffrt d'un centime
de seconde de deux angles droits.

Il
remarquer que
est encore
gomtrie plane se changent dans
les
quatre quations (8) de
quations de
les
sphrique, lorsqu'on remplace les cts a, b,
cy/ni,
et
que
l'on
pose en
sinli(fl)
ces ii(a)
et
de
les
mme
pour
les
gomtrie
V/:rTsma
deux autres cts b
quations (8) se changent dans
les
et c.
suivantes
De
cette
sinAsin& --= sinBsinfl,

cos&cosc + sin&sinccosA,
ces a
cotAsinC + cosGcos6 = sin&cotrt,
ces A CCS a sin B sin C ces B ces C.
la
par av''Zri, b\/'iri,
temps
= cesI a
= \/:ir lang a
tangll(a)
*
mme
c,
la
manire,
EXTRAIT
DE LA CORRESPONDANCE DE GAUSS ET DE SCHUMACHER.
SCHUMACHER A GAUSS.
Je prends la libert de vous soumettre une tentative que j'ai faite
pour dmontrer, sans ie secours des parallles ni d'aucune thorie,
la proposition que la somme des trois angles d'un triangle est gale
180, d'o suivrait alors la dmonstration de l'axiome d'Euclide.
lies seuls
les
principes que je suppose tablis sont que la
somme de
tous
angles forms autour d'un point est gale 360 ou 4 angles
que les angles opposs par le sommet sont gaux.

Prolongeons indtinimenl les cts d'un triangle rectiligne
ABC
un systme de
trois
droits, et
{fig. 1),
ou, en d'autres termes, considrons

Pig^ 1
un plan, formant, par

ABC.
pour les trois sommets, les
droites dans
intersections, le triangle
leurs
On
a,
qualion.s
2a = 4dr.,
26-f 2p=-- 4dr.,
d'o
a-l--^ y
6dr.
{a+b + c).
Ces relations subsistant, de quelque manire que soient situs les

mme, de quelque manire que
les trois droites soient menes dans le
rig. 2.
points A,B,C, ou, ce qui revient au
plan, laissons immobiles les lignes
EH,
et fnisons passer IF
par
le
DG,
point
manire qu'elle fasse avec

mme angle que dans sa position
(fig. 2), de
EH
le
primitive, ou, plus gnralement, puiv*-
que cet angle
est arbitraire,
de manire
qu'elle touibe toujours dans Tintrieur
de l'angle
a~i-b-^-c
a.
Nous aurons
4 dr.
alors
36
EXTRAIT DE LA CORRESPONDANCE
Donc
-f-p-f-y
2dr.
Pourrait-on objecter cela que l'on a bien, par hypothse,
h {fig. i)
mais que
b {fig. 2),
l'galit
c{fig.i)^c{fig.'^)
doit tre
dmontre?
me
semble qu' cause de la valeur arbitraire laisse aux angles,

cette dmonstration n'est pas indispensable.
Il
Tels sont les principes de la dmonstration sur laquelle

votre jugement. J'ajouterai seulement, pour justltier
ment,
qu'il est
bien vrai que
triangle ABC4; mais elle
ne
De quelque manire que

IBH
les lignes soient situes,
GCF
donc toujours gale
que
les
disparatre le
on
le triangle
a toujours
vanouissaut;
la
lAH + GAF + DAE

la
somme des
angles d'un triangle rectiligne.
Ainsi, on dmontrera la proposition
(dont
DAE
7,
que dans
aussi bien dans le triangle fini
est
fait
fattends
raisoTine-
pas disparatre les angles du triangle.
fait
^.
somme
seconde opration
la
mon
pour un triangle quelconque

EH, de faon
angles sont A,B,C), en tirant les lignes DG,
l'on ait
a
et faisant,
lAH
Si alors
A,
de plus,
lAF
n'tait pas
GAF
B,
une ligne
lAF', l'angle c se trouverait,
il
droite,
C.
mais une ligne brise

de de; mais l'angle
est vrai, plus petit
b serait plus grand d'autant, et, par suite, la
somme de
ces angles
n'aurait pas chang, et nous aurions ce qui nous est ncessaire pour
la
dmonstration, l'galit
b
+ c{fig.i) =
Copenhague, 3 mai 1831.
b-^c{fig.^).
DE GAUSS ET DE SCHUMACHER.
37
GAUSS A SCHUMACHER.
bien examiner ce que vous m'crivez au sujet des parallles,
vous avez employ, dans vos syllogismes, sans l'noncer explicite-
ment, une proposition qui peut se formuler ainsi
deux droites qui se coupent, (1) et (2), font respectivement,

avec une troisime droite (3) qui ls rencontre, les angles A', A', et
Si
qu'une quatrime droite
(4), situe
dans
le
mme
plan, soit coupe
pareillement par (1) sous l'angle A', alors (4) sera coupe par (2)
sous l'angle A'.
Or, non seulement cette proposition a besoin de dmonstration,
mais on peut dire qu'au fond

qu'il s'agit
elle constitue le
thorme lui-mme
de dmontrer.
Depuis quelques semaines,
j'ai
commenc
mettre par crit quel-
ques rsultats de mes propres mditations sur ce sujet, qui remontent

en partie quarante annes, et dont je n'avais jamais rien rdig,
ce qui m'a forc trois ou quatre
ma
dans
moi
tte. Je
fois
recommencer
tout le travail
ne voudrais pourtant pas que tout cela prt avec
(*).
Gttingue, 17 mai 1831.
SCHUMACHER A GAUSS.
une
Je vais vous importuner encore
fois
avec
la
thorie des
parallles.
Prolongeons indfiniment les c-
Fig. .
du triangle rectiligne, et prenons un rayon R assez grand pour

Ips
que
cercle
(1)
DEFG. Les
En parcourant
cts a, h, c
la table
les rapports
R .R R devien
nent moindres quune quantit

donne quelconque. Avec ce rayon,
dcrivons du centre C le demipouvant tre considrs comme
des matires que doit contenir le quatrime volume de
moment par l'Acadmie de Gttingue,

nous n'avons vu annoncer aucun article qui part se rapporter au projet annonc ici
par le grand gomtre. Il serait bien regrettable que ces recherches si profondes et
rdilion des
si
originales
uvres
de Gauss, publie en ce
eusswl pri avec
lui!
N. d. Tr.)
3R
s'vanouissant par rapport k ce demi-cercle, et, par suite, les points
B comme
concidant avec C, ce demi-cercle sera la mesure des

du triangle, dont la somme diflrera alors de 180 aussi
peu que Ton voudra.
Il me semble que, si l'on ne rejette pas la notion de la grandeur
indfiniment croissante, celte dmonstration prouve trs simplement
que, dans tout triangle rectiiigne fitii, la somme des angles est gale
180, ou plutt que la constante qui, si la gomtrie d''Ku(:Ude
n'tait pas vraie, devrait tre ajoute la somme des angles pour
complter 180, est moindre que toute grandeur donne; et comme
on peut rpter la mme dmonstration pour un triangle quelconque,
cette constante ne peut pas non plus dpendre de la grandeur du
A,
trois angles
triangle.
Lubeck.25mail83l.
SCHUMACHER A GAUSS.
J'aurais dsir trouver dans votre lettre votre jugement
manire dont je dmontre que la somme des angles d'un
triangle rectiiigne ne diffre de 180" que d'une quantit moindre
que toute quantit donne. Vous croirez, sans peine que votre apprciation est de la plus haute importance pour moi, qui sais avec quelle
facilit vous dcouvrez le point faible d'une dmonstration. Je n'en
ai encore rien communiqu personne, si ce n'est vous, mes
aides et au professeur Hansen, de Seeberg. Aucun de nous n'y a
dcouvert de paralogisme.
Si quelqu'un trouvait indispensable (ce que je ne pense pas) de
dmontrer cette proposition, que l'on peut, dans un cercle de rayon
infini (j'emploie ce mot 'in/ni pour abrger le discours), considrer
sur
les
la
sommets d'un
entre eux,
il
triangle
comme
serait facile
de
des centres de ce cercle concidant
faire
rigoureusement cette dmons-
tration.
Il
me
semble que, quand deux points sont une distance
l'un de l'autre, cette distance doit tre considre

vis--vis
d'une ligne
infinie.
finie
nulle
Ces points concident donc l'un avec
l'autre, relativement cette ligne infinie.
AUoaa, 29 juin 1831.
comme
DE GAUSS ET DE SCHUMACHER.
39
GAUSS A SCHUMACHER.
Au
sujet des parallles, je vous aurais dj
grand
plaisir
mon
communiqu avec
opinion en rponse votre premire lettre,
si
n'avais pas suppos que, sans des dveloppements suffisants, elle
je
ne
pouvait gure vous tre d''une grande utilit. Pour que de tels dveloppements fussent vritablement convaincants, il faudrait peut-tre
de longues pages d'explications sur ce que vous n'avez eu besoin
que d'indiquer en quelques lignes, et ces explications exigeraient un

calme d'esprit qui me fait dfaut en ce moment. Je vous en dirai
cependant quelques mots, pour vous prouver ma bonne volont.
Vous attaquez directement le cas d'un li'iangle quelconque. Mais
vous auriez pu appliquer le mme raisonnement, en rduisant d'abord
la question au cas le plus simple, et nonant ainsi le thorme
:
(1)
Dans
tout triangle dont
suite aussi,
le
un ct
est fini, le second ct, et,
comme
troisime, tant infinis, la
adjacents au ct fini est gale 180.

Fig.
comme
Le
Dmonstration d'aprs votre manire.

L'arc de cercle CD est aussi bien la mesure de
l'angle CAD que celle de l'angle CBD, parce
que, dans un cercle de rayon infini, un dpla-
1.
cement
CAD
pur
des deux angles
CBD.
fini
nul.
du centre doit tre considr
Donc
CAD + CBA
reste s'achve sans difficult.
CBD + CBA
On a, en
effet,
i80^
d'aprs ce thormftir'
Fig. 5.
u-hS-hS == 180,
180
Y-ht
d'o, en faisant la
=
-
4- ,
180,
somme de
H-S-hr
ces galits,
180.
Pour ce qui est maintenant de votre dmonsdu thorme (1), je commencerai par
protester contre l'usage que vous faites d'une grandeur infinie, en
la traitant comme une quantit dtermine (vollendeten)^ ce qui
n'est jamais permis en mathmatiques. L'infini n'est qu'une faon de
tration
parler, parce qu'il s'agit en ralit de limites, dont certains rapports
40
peuvent approcher autant que l'on voudra, tandis que d'autres sont
Dans ce sens, la gomtrie
susceptibles de crotre indfiniment.
non-euclidienne ne renferme en elle rien de contradictoire, quoique,

l'air de paradoxes.
Ces contradictions apparentes doivent tre regardes comme l'effet
d'une illusion, due l'habitude que nous avons prise de bonne heure
de considrer la gomtrie euclidienne comme rigoureuse.
Dans la gomtrie non-euclidienne, il n'y a jamais, dans les figu-
premire vue, beaucoup de ses rsultats aient
res,
de similitude sans
gaill.
Par exemple,
les angles d'un triangle
ne sont pas seulement
quilatral
diffrents de
-^
d'angle droit,
mais encore
ils
peuvent varier suivant
les cts croissent
la
au del de toute limite,
FiK- c.
petits
grandeur des cts; et, si

ils peuvent devenir aussi
que
l'on voudra.
Il
y a
dona
dj contradiction vouloir dessi^
ressemblance d'un tel trianau moyen d'un triangle plus

petit. On peut seulement indiquer
ner
la
gle
sa disposition
gnrale.
De
cette
manire, Vindication d'un triangle

rnlm serait,
la limite, celle-ci (fig.
Dans
7)
gomtrie euclidienne, rien n'&t

grand d'une manire absolue; mais il n'en, est
pas de mme dans la gomtrie non-euclidienney
Fiij. 7.
et c'est
la
prcisment
son caractre essentiel.
Ceux qui n'accordent pas ce

par cela
mais,
mme
comme
je
fait,
tablissent dj
toute la gomtrie euclidienne;

l'ai dit,
d'aprs
ma
conviction,
ce n'est de leur part qu'une pure illusion.

le
cas en question,
il
donne les
si Ton
AG, G pouvant s'loigner indfiniment, alors, bien que Fangle DBG
s'approche de plus en plus de l'angle DAC, il
n-'en est pas moins impossible d'abaisser la
contradiotoire dire
points A.
que,
et la direction!
diffrence de ces angles au-dessous
dune
cer-
taine grandeur finie.
Votre introduction de
l'arc
CD
rend, sans
nul doute, votre conclusion plus spcieuse.

Mais si l'on veut dvelopper clairement ce que
vous n'avez
mer
ainsi
fait
qu'indiquer,
il
Dans
n'y a rien absolument de
faudra s'expri-
fis. s.
m GAISS ET DE SCHUMACHER.
41
CAB.CBD~-g^.-g7c57'
et tandis
que
AC
CD
ECD
crot indfiniment,
et
CD
et
E'CD' s'approchent continuellement
de
l'galit.
'
d'une part,
et,
d'autre part,
Ces deux choses n'ont pas lieu dans la gomtrie non-euclidienne,

si l'on entend par l que les rapports gohitriques de ces quantits
s'approchent autant que l'on voudra de l'galit. En effet, dans la
gomtrie non-euclidienne, la demi-circonfrence d'un cercle de
rayon r a pour valeur
Y-k
(k -e
k\
)
k tant une constante que l'exprience nous indique comme extrmement grande par rapport tout ce qui est mesurable pour nous.
Dans la gomtrie euclidienne, elle devient infinie.
Dans le langage figur de la thorie de l'infini, on devrait donc
dire que les circonfrences de deux cercles infinis, dont la diffrence
des rayons a une grandeur finie, diffrent elles-mmes d'une grandeur qui est chacune d'elles dans un rapport fini.
Il n'y a rien ici de contradictoire, si l'homme, tre fini, ne s'aventure pas vouloir traiter quelque chose d'infini
donn
et susceptible d'tre
comme uu
objet
embrass par ses forces de comprhension
iabituelles.
Vous voyez
de
la
qu'ici le dbat vient
toucher immdiatement au terrain
mtaphysique.
cdttingue, 12 juillet 1831.
OAUSS A SCHUMACHER.
'a f?U
demiremeit occasion de
Ischewsky, intitul
relire
Prtra?/e/m/m>n. Cet opuscule contient
les
lments de
la
qui devrait exister, et dont le dveloppement fonnerait
nement rigoureux,
si
certain Schweikardt
(')
dB Lob:-
l'opuscule
Geometrische Untersuchmigen zur Thearie ter
la
(*)
gomtrie
un encha-
gomtrie euclidienne n'tait pas vraie.
donn
cette gomtrie le
nom
Un
de gom-
Autrefois Marbourg, maintenant professeur de jurisprudence "Knigsberg.
45
EXTRAIT DE LA CORRESPONDANCE DE GAUSS ET DR SCHUMACHER.
trie astrale,
Lobatschewsky celui de gomtrie imaginaire. Vous
savez que depuis cinquante-quatre ans (depuis 1792) je partage les
mmes
conviclions,
sans parler
qu'ont reues, depuis,
mes
ici
de certains dveloppements
ides sur ce sujet. Je n'ai donc trouv
dans Touvrage de X)batschevv-sky aucun fait nouveau pour moi;

mais Texposi lion; est toute diffrente de celle que j'avais projete, et
rauteur a
tralt^^ la
matire de main de matre et avec
ie vritable
esprit gomtrique. Je crois devoir appeler votre attention sur ce

livre,
dont
la lecture
ne peut manquer de vous causer
plaisir.
Gttingue, 28 novembre 1846.
le
plus vif

Lobachevsky Etudes Geometriques Sur La Theorie Des Paralleles

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Lobachevsky Etudes Geometriques Sur La Theorie Des Paralleles

Transféré par

Droits d'auteur :

Formats disponibles

ETUDES GOMTRIQUES

THEORIE DES PARALLLES

Conseiller d'tat de l'Knipire de Russie et Professeur l'Universit

Professeur de M<ithmatiques pures la Facult des Sciences

SUIVI d'un extrait

db la correspondanc'b de Gauss et de Schumacher.

remarquable dont nous donnons

avec les nombreuses lucubrations des

auteurs qui avant et aprs Legendre, se sont efforcs, sans beaucoup

de succs, de dmontrer priori l'axiome XI d'Euclide, plus connu

l'auteur (^) est,

raison d'affirmer que la

des trois angles

d'un triangle rectiligne ne soit pas infrieure deux angles droits,

ou, ce qui revient au

puisse mener, par

donn, qu'une seule droite ne rencontrant pas une droite donne

Cette question a t, pendant plus d3 cinquante ans, l'objet des

mditations de Gauss, qui, ds 1792, tait dj en possession des

n'a jamais publi ses recherches, dont

une doctrine complte,

Gomtrie non -euclidienne. Malheureusement,

que par quelques notices disperses dans

lorsque Abel et Jacobi eurent retrouv, par leurs

propres efforts, ses rsultats indits, relatifs aux transcendantes

proprit de ses dcouvertes, et se

Lobatsche-wsky, n Nijni-Novogorod en 1793, mort Kasa

contenta de donner son adhsion complte la Gomtrie imagi-

naire de Lohd^tscheyfskY, dont i\ trouvait seulement

haute valeur de ces recherches,

d'aucun gomtre, ce qui ne

communiques lui-mme aux savants, ou

et prises publiquement sous son patronage. Nous ne

croyons pas cependant en exagrer

disant qu'elles jettent un jour tout nouveau sur les principes

gomtrie, et qu'elles ouvrent une voie encore

inexplore, pouvant conduire des dcouvertes inattendues. Pour

question lmentaire, on ne peut nier quelles

immense aux mthodes d'enseignement,

que nourrissent encore

parvenir dmontrer l'axiome d'Euclide

autrement que par Yexprience. Dsormais ces tentatives devront

Nous croyons rendre service aux auteurs de Traits classiques (*),

naire est tablie en partant des premires propositions d'Euclide.

donner une ide du contenu de cet ouvrage.

Aprs avoir rappel

connus sur lesquels

puiera, l'auteur pose une dfinition des parallles, plus gnrale

rduisant celle-ci, lorsqu'on

seul triangle recliligne dans lequel la

M. Richard Ballzer, dans

seconde dition de ses excellents lments

de Gomtrie, a, le prennier, introduit ces notions exactes la place qu'elles

Geometrische Untersuchungen zur Thorie der Parallellitiien, von Nicolaus

matikbeider Universitdt Kasan.

Berlin, 1840 (in- 18, 61 pages).

angles soit gale deux angles droits,

Si deux perpendiculaires une

(dans racception gnralise

droite sont parallles

des angles d'un

triangle rectitigne quelconque est gale

indpendamment de Taxiome d'Eucllde,