基于新消元法勾股定理的机械化证明

Mechanical Proof Based on New Elimination Method for the Pythagorean Theorem

摘要: 本文主要通过新消元法来对勾股定理进行机械化证明，这里的机械化证明是可以通过电脑编程进行的，这种方法也是首次的(即不同于吴方法的一种方法)，同时在对本文进行证明后，希望本文可以引发后续的初等几何机械化证明的持续性工作。

Abstract: This article mainly through new elimination by mechanization has been proved that the Pythagorean Theorem for the mechanized proved through computer programming. This method is also the first time (that is, a method different from Wu method), after to prove in this paper, at the same time, I hope this article can lead to the subsequent mechanization of elementary geometry proof of continuous work.