怎样解决证明立体几何