E,F分别在两条异面直线a,b上,
公垂线段是A,B,A∈a,B∈B
则 d表示公垂线段AB的长度
m表示EA的长度
n表示FB的长度
θ表示异面直线所成角.