图书介绍：本书选择对Morley定理的证明用非线性消去法，在消去过程结束后，最后的残量gj本书选择对Morley定理的证明用非线性消去法，在消去过程结束后，最后的残量，不能判定或，致使定理的结论无法获得。本书又选择对Morley定理的27个三角形都适用的公式组，说明它不能用代数方法得到三角阵列的公式组，从而无法进行非线性消去法。进一步，又指出上述公式组，用多项式代数归化成为27个线性代数方程组时，由于其系数不是多项式或有理分式，它们的解不具有代数形式，从而使最后残量，不能判定或，定理结论无法获得。因此，非线性消去法不能成为真正的算法，换句话说：它是错误的。本书对有志于机器证明的读者有一定的参考价，能在不知不觉中学会做机器证明；对代数领域工作的读者解非线性代数方程组（如利用卡丹公式）有所启迪。对IT行业的从业人员以及欲进入人工智能领域的读者无疑是一本极为合适的参考用书。