如图①，四边形ABCD为正方形，点E，F分别在AB与BC上，且∠EDF=45°，易证：AE+CF=EF（不用证明）．