用向量法证明,空间四边形对角线互相垂直的充要条件是对边平方和相等