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