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