异面直线上两点间距离公式的应用

现行高中数学第二册(1979年6月第1版)35页介绍了异面直线上两点间距离的公式: 已知两条异面直线a、b所成的角θ,它们的公垂线AA′的长度为d,在直线a、b上分别取点E、F,设|A′E|=m,|AF|=n,则 |EF|=(d~2+m~2+n~2±2mn)~(1/2)。