是的。角OF1B=角EF1B=45度，OE=OB=4，用正弦定理得到OF1=2sqrt(2)，从而EF=EF1=2sqrt(2)+4。
原图上写的4sqrt(3)是想当然了，其实是错的。

【 在 wfunny 的大作中提到: 】
: 4+2√2
: 延长EO与AB交于F1，求EF1得结果
--
FROM 119.39.113.*