由切割线定理知BE^2=BF*BA=BF*√2BC 即3^2=BF*6√2