利用向量的数量积证明对角线相等的平行四边形是矩形