证明：过点A作AG⊥EF交EF于点G
因为：ED⊥BC
所以：AG//BD
所以：
∠EAG=∠ABC（同位角相等）
∠FAG=∠ACB（内错角相等）
因为：AB=AC，∠ABC=∠ACB
所以：∠EAG=∠FAG
因为：∠AGE=∠AGF=90°
因为：AG=AG
所以：RT△AGE≌RT△AGF（角角边）
所以：AE=AF
