利用空间直角坐标系怎么证明面面垂直