感知：如图①，在正方形ABCD中，点E在对角线AC上（不与点A、C重合），连结ED，EB，过点E作EF⊥ED，交边BC于点F．易知∠EFC+∠EDC=180°，进而证出EB=EF．