查看原题
已知: 两条异面直线 $a 、 b$ 所成的角为 $\theta$, 它们的公垂线段 $A A_1$ 的长度为 $d$. 在直线 $a 、 b$ 上分别取点 $E 、 F$, 设 $A 1 E=m, A F=n$. 求证: $E F=\sqrt{d^2+m^2+n^2 \pm 2 m n \cos \theta}$.
                        
不再提醒