连接CD,DE,AC是直径,∴∠ADC=90°；
∵弧DE=弧DC,∴CD=DE;∠DAF=∠CAD；
RT△ADC∽RT△AFD,[AA]
设CD=DE=X
CD:AC=DF:DA
X:10=4：DA
DA=40/X
DA²=AC²-CD²
(40/X)²=10²-X²
X的4次方-100X²+1600=0
X²1=20,
X²2=80(因为半圆上两条等弧对应的弦的平方,其最大值=AC²/2=50,80>50故舍去)
EF²=DE²-DF²=X²-4²=20-16=4
EF=2,(EF=-2舍去)