‹ Principes fondamentaux de la géométrie non euclidienne de RiemannChapitre 2 sur 7 · AC — AB > AD — AC · texte numérisé non relu

AC — AB > AD — AC

10. Théorème Ml. Dans un quadrilatère trirectangle {x, y, x', y') où x tend vers zéro, (x' : x) tend vei'S une limite q>(y) inférieure à {x' : x', mais {x' : x) est inférieure à cp{i/') (Fig. 2"). Soient Aa6B un quadrilatère {x, y, x', y') dont B est l'angle obtus, \abC un autre quadrilatère trirectangle dont A est l'angle obtus. D'après la remarque du n" 7, lorsque x décroît, le rapport {x : x') croit ; le rapport inverse décroît et a donc une limite cpiij] inférieure à {x' : x). D'après le théorème VI, quand y

Fie. 2".

décroit, (AC : x) croit et tend vers une limite \\)[y) supérieure à (AC : x). D'ailleurs la perpendiculaire AC est plus petite que l'oblique AB. Donc

Page 1