空间四边形ABCD中,各边及对角线长均相等,
ABCD是正四面体.
设四面体的棱长为2, 又设CD中点为F,则
EF‖BD,且EF=BD/2=1.
∠AEF就是异面直线AE与BD所成角.
AE=AF=√3.
cos∠AEF=(EF/2)/AE=√3/6.