设 $AD$ 是 $\triangle ABC$ 的高，在线段 $BC$ 上取点 $E$，使 $\angle EAC=\angle BAD$，延长 $AE$ 交 $\triangle ABC$ 外接圆于点 $F$. 求证：$AF$ 是外接圆的直径.