设边长均为a
二分之根号二a【字符我打不来】
因为各面均为正三角形
所以AF=二分之根号三a, AE=二分之a
又因为EF垂直AE于E
所以由勾股定理的
EF=二分之根号二a