A mechanical method for proving a class of elementary geometry theorems is presented.By this method,we can obtain a set of finite prime ideals. All the prime ideals associatedwith the ideal generated by the hypothesis polynomials over an extension field appear inthis set and can be piked out.Therefore,a geometry theorem is generally true,if andonly if the conclusion polynomial belongs to each such prime ideal,i.e.,its remainders toeach irreducible characteristic set are zero. |