如图，AB是⊙O的直径，弦BD与CA延长线交于E点，EF⊥BA延长线于F，若∠AED=30°

解题思路：（I）先根据AB为直径，则∠ADB=90°；再结合EF⊥BA得到∠EFA=∠ADB=90°；可以得A、D、E、F四点共圆进而求出∠AFD的大小；
（II）先根据A、D、E、F四点共圆得BE•BD=BF•BA；再结合RT△AEF∽RT△ABC得AE•AC=BA•AF；最后代入所证等式得右边，整理即可得到结论．

（Ⅰ）连接AD，由于AB为直径，则∠ADB=90°，
又EF⊥BA，
∴∠EFA=∠ADB=90°；
则A、D、E、F四点共圆，
则∠AFD=∠AED=30°
证明：（Ⅱ） 由A、D、E、F四点共圆，
得BE•BD=BF•BA
连接BC，
由对顶角相等，则RT△AEF∽RT△ABC，
则AE•AC=BA•AF
从而BE•BD-AE•AC=BF•BA-BA•AF=AB（BF-AF）=AB²．
即AB²=BE•BD-AE•AC成立

点评：
本题考点： 与圆有关的比例线段；相似三角形的判定；相似三角形的性质；弦切角．

考点点评： 本题主要考查与圆有关的比例线段、相似三角形的判定及割线性质的应用．属于对基础知识的考查．解决第二问的关键在于把等式右边的表达式转化．