点E和点F在线段BC上AB等于CD,AE等于DF,CE等于BF求证AF等于DE