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;