DB AE DC^AC

D'aulre pari, l'angle BEA est le correspondant de l'angle DAC, et les angles EBA et DAB sont altornes-inlornes; or, AT) étant bissectrice de l'angle BAC, les angles DAC, DAB, sont égaux; par suite, les angles BK V, 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é A£ par son égal AB, on a