首先,我想问图在哪里……
算啦,没图我自己画一个……
设AC中点O,并且连接AFCE成一个平行四边形.利用余弦定理求出角DAC即角EAC的余弦.又因为EO⊥AO所以在直角三角形EAO中EO就能求出来了,2倍EO就是EF