如何在空间直角坐标系里证明三角形是直角三角形