两个向量,都有坐标,怎么证明它俩垂直?