查看原题
已知: 两条异面直线 ab 所成的角为 θ, 它们的公垂线段 AA1 的长度为 d. 在直线 ab 上分别取点 EF, 设 A1E=m,AF=n. 求证: EF=d2+m2+n2±2mncosθ.
                        
不再提醒