AB / AC = BD / DC Angle bisector Theorem
Then
[ AB / AC ]2 = [BD / DC ]2 ----> AB2 / AC2 = BD2 / DC2 ( E q 1)
Triangles BFD and DEC are similar . Then the ratio of their areas are equal to the square of any pair of the corresponding sides of the similar triangles.
That is BD2 / DC2 = (Area BFD) / (Area DEC) = ( BF* DM) / ( DC*DL) = BF / DC . DM and DL being the heights of the similar triangles BFD and DEC and since D on the bisector of the angle BAC they are equal in length.
Therefore BD2 / DC2= BF / DC ( E q 2)
From ( E q 1) and ( E q 2) we have AB2 / AC2 = BF / DC .