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

Mechanical Proof Based on New Elimination Method for the Pythagorean Theorem

作　　者：周亚南 

机构地区：[1]郏县堂街乡王楼村,河南平顶山

出　　处：《理论数学》2018年第5期475-479,共5页Pure Mathematics

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

关 键 词：新消元法 

分 类 号：O1[理学—数学]