‹ Sur la géométrie non-EuclidienneChapitre 35 sur 35 · AB = X-H, AC = X, AD = X-+-H · texte numérisé non relu

AB = X-H, AC = X, AD = X-+-H

menons la perpendiculaire à AY au point D, et, d'un point D' de cette perpendiculaire, abaissons D'A' perpendiculaire sur AX;

soient B', C les points de rencontre de A'D' avec les perpendiculaires à AY aux points B et C; enfin abaissons B'E, D'F perpendiculaires sur ce i°B'C'<C'D'(7), d'où

et, par suite,

2CG'<CE-hGF;

Page 1