如图①，△ABC是等腰直角三角形，∠BAC=90°，AB=AC，四边形ADEF是正方形，点B、C分别在AD、AF上，此时BD=CF，BD⊥CF成立．