证明:
∵∠1=∠BCD/2,∠BAE=∠BAD/2
∴∠1+∠BAE=(∠BCD+∠BAD)/2=90°
又∵∠1+∠2=90°
∴∠2=∠BAE
又∠BAE=∠DAE
∴∠2=∠DAE
∴AE‖CF