Ta có:BF là đường phân giác của ΔBAD

⇒FDFA=BDAB                                     (1)

BE là đường phân giác của ΔBAC

⇒EAEC=ABBC                                       (2)

Mặt khác ΔDBA~ΔABC(c – g - c)

⇒DBAB=ABBC                                     (3)