证明：∵BC=BF+CE，又BC=CD=CE+DE，∴BF=DE，又∵∠ABF=∠ADE=90°，AD=AB，∴Rt△ABF≌Rt△ADE，∴AE=AF，又∠DAE=∠BAF，即∠DAE+∠BAE=∠BAF+∠BAE，∴AF⊥AE．
