论文部分内容阅读
本文主要通过新消元法来对勾股定理进行机械化证明,这里的机械化证明是可以通过电脑编程进行的,这种方法也是首次的(即不同于吴方法的一种方法),同时在对本文进行证明后,希望本文可以引发后续的初等几何机械化证明的持续性工作。
基于新消元法勾股定理的机械化证明
【摘 要】
：
本文主要通过新消元法来对勾股定理进行机械化证明,这里的机械化证明是可以通过电脑编程进行的,这种方法也是首次的(即不同于吴方法的一种方法),同时在对本文进行证明后,希望
【机 构】
：
郏县堂街乡王楼村
【出 处】
：
理论数学
【发表日期】
：
2018年5期
其他文献
本文基于连续函数空间的共轭空间的构造方法,通过Stieltjes积分理论,得到了区间上具有有限个间断点,在间断点处仅左连续且右极限存在的函数全体所成空间的共轭空间。随后给出
为提高单井产量和采收率，优化气田开发效果，针对苏54区生产开发中出现的单井产量低、压降速度快、稳产期限短等问题，水平井开发技术开始在目的区进行试点应用。本文从水平井开发
某SUV车型为满足国家强制法规$B 15083-2006中“关于防止移动行李对乘员伤害的特殊规定”的要求,采用有限元分析法进行了行李箱冲击试验仿真分析,发现后排座椅靠背骨架及其在
<正> 自1981年起,我院开始了金黄色葡萄球菌绿脓杆菌的医院感染的监测工作。1985年9月建立了全院性管理机构,组织了专业工作组,具体进行医院感染的监测和控制工作。4年来经过
本文先给出了n次曲面的一般表达形式,从而得到了一个曲面是直纹曲面的一个充分必要条件。其次,对直纹曲面的直母线族提出了最小的、紧的等概念,并得到了一些有趣的结果。最后
<正> 罗马尼亚宪法规定,医疗是每个公民应享有的权利。实行全民免费医疗,费用由国家预算负担,全国居民都免费接受如下服务:(1)预防;(2)内外科急诊;(3)传染病治疗;(4)卫生部指
捷太格特将扩充以齿条轴辅助方向盘操纵力的齿条式电子助力转向系统（EPS）的产品线，并开始量产齿条并联式EPS。齿条并联式EPS采用的配置方式是，使对转向器操纵力提供辅助的电机及
声发射技术是当前一种应用较为广泛的无损检测技术,由于其具备动态检测、使用范围广等优点,被广泛的应用在压力容器检测中,并且表现出较好的效果。本文首先对声发射技术做简