垂直的棱会把长度的平方相加,就像把二维勾股定理推广到三维一样。
由于 PA⃗,PB⃗,PC⃗\vec{PA},\vec{PB},\vec{PC}PA,PB,PC 两两垂直,将它们的和平方后所有交叉项都消失,因此 ∣PQ⃗∣2|\vec{PQ}|^2∣PQ∣2 等于三条棱长度平方之和——这是空间中的勾股定理。