阅读与思考坐标法与机器证明.pptx_第1页
阅读与思考坐标法与机器证明.pptx_第2页
阅读与思考坐标法与机器证明.pptx_第3页
阅读与思考坐标法与机器证明.pptx_第4页
阅读与思考坐标法与机器证明.pptx_第5页
已阅读5页，还剩10页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

北戴河中学温涛涛,坐标系与机器证明,解析几何之父：笛卡尔,一切问题化为数学问题，一切数学问题化为代数问题，一切代数问题化为代数方程求解问题。,坐标系的创立,坐标几何的求解或求证方程求解（空间形式）（代数运算）使计算机进入到几何定理的证明中来成为可能。,数学机械化,数学问题的机械化-在运算或证明的过程中，每前进一步之后，都有一个确定的，必须选择的下一步，这样沿着一条有规律、刻板的道路，一直到达结论。,莱布尼茨,提出机器可以成为推理工具的思想由于当时的条件限制，计算仅仅是手工操作（手摇计算机），无法进行大量复杂的计算，所以用机器实现几何定理证明的想法无法实现。,数学机械化：从设想到实现-吴文俊,他将几何定理证明从一个不太成功的领域，变为一个最成功的领域。几何定理机器证明-“吴方法”,吴文俊机器证明的思想,吴文俊机器证明的思想主要是从笛卡尔的坐标法和中国古代解方程的计算方法而来，把空间形式的推理转化成数量关系来处理。,例证明：菱形的对角线互相垂直。,第一步：将已知条件和结论代数化,第二步：将已知条件多项式整序（三角化）,条件多项式整理,目标多项式,“吴方法”原理,第一步：将几何定理条件代数化,定理的结论代数化：,“吴方法”证明几何基本定理的一般步骤,第二步：将条件多项式整序（三角化）,第三步：做逐步除法,上述步骤在Mathematica软件中可以自动完成,展望数学机械化的未来,运用机械化思想考察数学，将会发现数学的不同侧面，建立新的模式，活跃和启迪
人人文库> 全部分类> 教育资料 > 中学教育

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论