解题套路
对任意四个点(共面不共面都行,允许重合):
AB⋅CD=21(AD2+BC2−AC2−BD2)
怎么记:左边是 A→B 点 C→D。右边取正的是 AD、BC——
一条向量的起点配另一条的终点(首尾交叉);取负的是 AC、BD——
起点配起点、终点配终点(首首、尾尾)。再除以 2。
怎么证(两行):由 2u⋅v=∣u∣2+∣v∣2−∣u−v∣2,
2AB⋅AD=AB2+AD2−BD2,2AB⋅AC=AB2+AC2−BC2
两式相减,左边是 2AB⋅(AD−AC)=2AB⋅CD,
右边 AB2 抵消,正是所要。
一个立刻能用的推论:三对之和恒为零
把公式对同一组四点的三种配对各用一次:
AB⋅CD=21(AD2+BC2−AC2−BD2)
AC⋅DB=21(AB2+CD2−AD2−CB2)
AD⋅BC=21(AC2+BD2−AB2−DC2)
六个平方两两成对抵消,于是
AB⋅CD+AC⋅DB+AD⋅BC=0
三对「对棱」的数量积之和永远是 0。 于是三条里知道两条就知道第三条;
若其中一条恒为定值,另两条就被绑成一条直线上的两个点,此消彼长。
什么时候想到它
- 要算的数量积两个向量没有公共端点(AB 与 CD 这种),
而题面给的恰是若干条边长;
- 图形在动,但动的过程中大部分距离不变——公式右边只剩一两个变量,
于是数量积成了这一两条长度的函数;
- 要判「某对对棱能不能垂直」:垂直 ⇔ 右边那个平方组合为 0,
一个纯长度方程,比追踪角度容易得多。
两个提醒
- 别把字母次序抄乱。 公式对 AB⋅CD 成立;
换成 AB⋅DC 要整体变号。稳妥办法是代一个简单构型
(例如正方形)当场验一遍再用。
- 右边是「距离的平方」,不是距离。 四个平方项前的号已经定死,
别顺手写成 21(AD+BC−AC−BD) 那样的长度组合——那不是恒等式。