全等三角形求证已知∠1=∠2 ∠B=∠C求证DF=EF