定理对于空间任意不重合的四点A，B，C，D，有AC^→·BD^→=1/2（AD^→^2＋BC^→^2-AB^→^2-CD^→^2）.证明因为AD^→^2＋BC^→^2-AB^→^2-CD^→^2=（AD^→^2-CD^→^2）＋（BC^→^2-AB^→^2）
数理天地：高中版
2016年5期
