Vous êtes sur la page 1sur 48

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^il 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

SUR LA THORIE DES PARALLLES.


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,

SUR LA THORIE DES PARALLLES.

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

^une

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

SUR LA THORIE DES PARALLLES.

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.

SUR LA THORIE DES PARALLLES.

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

^al

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.

SUR LA THORIE DES PARALLLES.

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^i^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,

SUR LA THORIE DES PARALLLES.

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

SUR LA THORIE DES PARALLLES.


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

SUR LA THORIE DES PARALLLES.

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

SUR LA THORIE DES PARALLLES.

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

SUR LA THORIE DES PARALLLES.

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

^^^^ij^\

.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

EXTRAIT DE LA CORRESPONDANCE

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

EXTRAIT DE LA CORRESPONDANCE

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