由三垂线定理,易知FE⊥AB,所以ΔAEF为Rt三角形,且AE=a/2,AF=a√3/2,再由勾股定理知EF=a√2/2
对RtΔAEF用两次射影定理,可知E到AF距离的平方（即斜边上高的平方）为a²/6
故所求体积为1/3×﹙a²/6)π×﹙a√3/2﹚=﹙√3﹚a³π/36