已知:AC⊥BD,c为垂足,AC=CD,∠A=∠D,求证:DF=AB EF