AFD üçgeninde DE açıortay olsun.
ABC ~ FCD ~ EFD olacaktır.
AB : FC : EF = BF : CD : FD = AF : FD : ED
AB : 1 : EF = 2 : CD : FD = AF : FD : ED
AF/FD = 2/CD
1/EF = CD/FD
a) AF/EF = 2 => ADF üçgeninde EF = AE ve DE açıortay olduğu için AD = DF dir.
b) BF/CD = AF/FD => BF/AF = CD/FD