如图,
△ABC 中,
BC=6,以
BC 为直径的半圆分别交
AB,
AC 于点
E,
F,若
AC=2AE,则
EF=.
\begin{answer}
3
\end{answer}
\begin{solution}
因为
E,
F 在以
BC 为直径的圆上,所以
∠BEC=∠BFC=90∘. 设
AE=t,则
AC=2t. 在直角三角形
AEC 中,
cosA=ACAE=21,所以
A=60∘.
由点
A 关于该圆的幂,
AE⋅AB=AF⋅AC
代入
AC=2AE 得
AB=2AF,所以
AF=21AB. 取
A 为原点,令
AB 在
x 轴正向,设
AB=s. 则
B=(s,0),
C=(t,3t),
E=(t,0),
F=(4s,43s).
于是
EF2=(4s−t)2+(43s)2=41(s2+4t2−2st)=41BC2=9
因为
EF>0,所以
EF=3.
\end{solution}