相交弦定理好像不能用于大题中吧?!
证明：连接BC
∵AB为⊙O的直径
∴∠ACB=90°
∵EF⊥BF
∴∠F=90°
∴∠ACB=∠F=90°
又∠EAF=∠BAC
∴△FEA∽△CBA
∴AB/AE=AC/AF
∴AB·AF=AE·AC