能否用初中的知识算出来？

【 在 wahrheit 的大作中提到: 】
: 是的。角OF1B=角EF1B=45度，OE=OB=4，用正弦定理得到OF1=2sqrt(2)，从而EF=EF1=2sqrt(2)+4。
: 原图上写的4sqrt(3)是想当然了，其实是错的。
:
--
FROM 124.127.147.*