D'B__ AE' D'C"^ AC

D'autre part, l'angle BE'A est le correspondant de l'angle D'AE, et les angles E'BA et D'AB sont alternes-internes; or, AD' étant bissectrice de l'angle BAE, les angles D'AE, D'AB, sont

égaux ; par suite, les angles BFA, E'BA, 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