1自动推理概述数学竞赛选讲.pdfVIP

自动推理概述 推 理 是数学研究的主要手段. 引例 任意平行四边形的对角线相互平分. 证明设是任一平行四边形 ∴ = , = 平行四边形的定义和性质 ∥, ∥ ∴ ∠ = ∠ 几 ∠ = ∠ 平行线的内错角相等定理 何 知 ∴△ ≅△ 全等三角形的判定定理 识 ∴ = , = 全等三角形的性质 数学推理 是基于已有的领域知识 （公理、定理、 定义、性质等），按照一定的推理规则 由给定的前提条件得到其所蕴含的结论 的思维过程. 两要素： 领域知识 推理规则 定理证明是数学推理的主要目的. 由定理的前提条件得到结论的推理过程. 问题 定理是否永远都是成立的？ 定理证明 的根基在于公理系统. 公理化方法 从尽可能少的基本概念和不加证明的初始命题 （公理系统）出发，通过推理证明其它命题 （定理），建立数学理论的方法。 • 数学理论包括 公理系统及其导出的所有定理（和定义）. • 定理证明有根（公理系统）有据（推理规则）. • 一个严格完善的公理系统，须具备如下三个 基本要求： 相容性 独立性 完备性 公理化方法 是建立科学理论的基础. 《几何原本》 (Elements of Geometry) 共13卷：三角形、圆、多边形、 立体几何等460余个命题 公理 欧几里得 (Euclid) 古希腊数学家 公设 逻辑推理 定理 公元前330年—公元前275年 定义 公理化方法 是建立科学理论的基础. 17世纪，英国物理学家牛顿参考欧几里得 的公理化体系，在他的名著 《自然哲学的 数学原理》中从力学三大运动定律出发， 按照数学的逻辑推理方式将力学定理逐个 地推导出来. 公理化方法 是建立科学理论的基础. 《几何原本》 1. 等于同量的量彼此相等； 2. 等量加等量，其和相等； 公理 3. 等量减等量，其差相等； 4. 彼此能完全重合的物体是全等的； 5. 整体大于部分。 1. 过两点能作且只能作一直线； 2. 线段(有限直线)可以无限地延长； 3. 以任一点为圆心,任意长为半径,可作一圆； 公设 4. 凡是直角都相等；