几何定理机器证明的几何不变量方法