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

• 作者: 周亚南
• 来源期刊: 理论数学
• 学科: 数学
• 关键词: 新消元法
• 年，卷（期）: 2018,（5）
• 页码范围: 475-479
• 页数: 5页
• 分类号: O1

摘要

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