在立体几何中x+y+z=1是一个平面的方程