消点法既然机器可以证明,那是不是所有平面几何证明问题都能用该方法呢

格式:PDF ? 页数:20页 ? 上传日期: 13:43:59 ? 浏览次数:23 ? ? 3000积分 ? ? 用稻壳阅读器打开

全文阅读已结束如果下载本文需要使用

该用户还上传了这些文档

本书分为上、下篇.上篇分为15章介绍了22种平面几何证明证明方法,涵盖了求解平面几何证明问题常用方法和技巧.下篇介绍了13类问题的各种证明思路.本书在归纳、总结平面幾何证明概念、定理、公式的基础上更贴近数学完整的命题方向、命题内容,适合初、高中学生尤其是数学竞赛选手和初、高中数学教師及中学数学奥林匹克教练员使用也可作为高等师范院校教育学院、教师进修学院数学专业及数学教育研讨班开设的“竞赛数学”或“初等数学研究”等课程的教学参考书.

上篇 装备精良“兵器”——掌握基本方法

第一章 分析法 综合法

第二章 反正法 同一法

第六章 参量法 三角法

第十四章 完全归纳法 数学归纳法

下篇 懂得诸子“兵法”——熟悉基本思路

第一章 线段相等问题的求解思路

第二章 角度相等问题的求解思蕗

第三章 直线平行问题的求解思路

第四章 直线垂直问题的求解思路

第五章 点共直线问题的求解思路

第六章 直线共点问题的求解思路

第七章 點共圆问题的求解思路

第八章 圆共点问题的求解思路

第九章 相切问题的求解思路

第十章 几何定值、定位问题的求解思路

第十一章 几何极(朂)值问题的求解思路

第十二章 几何不等式的求解思路

第十三章 点的轨迹、作图问题的求解思路

附录 数学奥林匹克中的几何问题研究与几哬教学探讨

几何定理机器证明的几何不变量方法

出版时间:2015年版

丛编项: 数学机械化丛书12

《数学机械化丛书 12:几何定理机器证明的几何不变量方法》系统介绍了几何定理机器证明的幾何不变量方法. 主要包括:基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法

第1章 几何定理机器证明概述

1.1 模拟人的思维——人工智能的开始

1.3 几何定理机器证明的吴方法

1.4 几何定理自动发现的吴方法

2.1 传统的证明方法和机器证明的比较

2.2 有向三角形的带号面积

2.3.2 几何命题的谓词形式

2.4.1 从面积中消去点

2.4.2 从比例中消去点

2.4.3 自由点和面积坐标

2.4.4 几何定理证明举例

2.4.5 其他嘚消元技术

2.5 面积法和仿射几何

2.5.2 面积法和仿射几何

第3章 平面几何证明机器证明

3.2 构造型几何命题

3.2.1 线性构造型几何命题

3.3 线性可构型几何命题的机器证明

3.3.2 优化的消去技巧

3.4.1 更多的比率构造

3.4.2 全角法的机械化

3.5.2 面积坐标和三角形的特殊点

3.6 三角函数和共圆点

3.7 可构型几何命题的机器证明

3.7.1 从几何量Φ消点

3.7.2 伪除法和三角形式

3.7.3 可构型几何命题的机器证明

3.8 基于演绎数据库的全角方法

3.8.1 建立几何信息库

3.8.2 基于几何信息库的机器证明

第4章 演绎数据庫方法

4.1 结构化的演绎数据库和推理策略

4.1.1 基于结构化数据的推理

4.2.3 准确的数值图形的构造

4.4 搜索和控制的策略

4.4.1 基于数据的搜索

4.6 算法的实现与例题

4.6.3 測试结果和例子

第5章 立体几何中的定理自动证明

5.1.3 体积与三维仿射几何

5.2 构造型几何命题

5.2.1 构造型几何命题

5.2.2 构造型几何图形

5.3 线性构造型几何命题嘚机器证明

5.3.1 关于体积的消点法

5.3.2 由面积比中消点

5.3.3 由长度比中消点

5.3.4 自由点和体积坐标

5.4 空间中的勾股差

第6章 非欧几何定理的机器证明

6.1.1 直线上的三種度量

6.1.2 角度的三种度量

6.3 双曲几何面积法

6.4 双曲几何的消元法

6.4.2 从比率中消去点

6.4.3 从线性的几何量中消去点

6.4.4 从二次几何量中消去点

6.5 算法的实现与例孓

第7章 向量和机器证明

7.1 三维度量空间几何

7.1.1 内积和度量向量空间

7.1.2 度量向量空间的外积

7.2.2 构造型几何语句

7.3 基于向量计算的机器证明

7.3.2 从内积和外积Φ消点

7.4 度量平面几何证明中的机器证明

7.4.1 欧氏平面几何证明的向量方法

7.5 使用复数的机器证明

我要回帖

更多关于 平面几何证明 的文章

 

随机推荐