因为∠CDA=∠CBA(已知)
又因为DE平分∠CDA,BF平分∠CBA(已知)
所以∠ADE=∠CDE=∠CBF=∠ABF(等量代换)
又因为∠ADE=∠AED(已知)
所以∠AED=∠ABF(等量代换)
所以DE||FB(同位角相等,两直线平行)
因为∠CDA=∠CBA(已知)
又因为DE平分∠CDA,BF平分∠CBA(已知)
所以∠ADE=∠CDE=∠CBF=∠ABF(等量代换)
又因为∠ADE=∠AED(已知)
所以∠AED=∠ABF(等量代换)
所以DE||FB(同位角相等,两直线平行)