DB AE DC"" AC

D'autre part, l'angle BEA est le correspondant de l'angle 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