空间几何证明难怎么办