AB=AC BD=CE 求证:DF=EF(两种方法)