角BAC=90°,AD垂直BC,∠1=∠2,EF平行BC,求证AE=CF