DB AE DC^AC

D'autre part, Tangle 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 alors, dans la proportion qui précède, le côté AE par son égal AB, on a