DB AE DC"" AG

D'autre part, l'angle BEA est le correspondant de Tangle DAC, et les angles EBA et DAB sont alternes-internes; or, AD étant bissectrice de l'angle BAC, les-angles DAC, DAB, sont égaux; par suite, les angles BEA, EBA, sont aussi égaux, et le triangle BAE est isocèle. En remplaçant dès lors, dans la proportion qui précède, le côté AE par son égal AB, on a