如图,d,e分别在ac,ab上,bd交ec于f,若ab等于ac,af平分角bac.求证:ef等于df