如图。设AB=2,O为 上底中心,连接OE,OF.OF‖=A1C/2.
易算:FE=√6,OF=√3.EO=√5.从余弦定理,cos∠EFO=√2/3
即异面直线A1C与EF所成的角的余弦值为√2/3。