平面几何的证明消点法.pdf

东穷柯514647335的数学书推荐
&田、 序
目 致青少华朋友
写在前面的话
欧几里得的〈几 何原本) .
从希尔伯特公理系到张景中公理系 …………… 6
18
中学平面几何的公 理系 …… ………… …………
戴学定理的机器证明发展简介 ………… …… … 27
中国鼓掌家对初等几何 定 理的机器证 明所作出的
重大贡献 ……… ……… ……… …… ………… 32
吴文俊的几 何定理的机器证明方 法 … ………… 4 2
w吴文俊 的几何定理 的机器证明方法的基本
思想 … …………………………………… 42
w将基本 的几何问题化为代数形式 ……… 47
w一些具体的例子 …… ……… …….……… .…..55 . . . .
……….
张景中的消点. 法 ……… …… 70
70
w解几何问题的两把"利剑" …… …………
w消点算法初谈 …… …… ……… …… …… 85
w消去平行线上 的点 ……… …… ………… 93
w消去垂线上 的点 … ………… …… ………104
w消去困上 的点.. .…………………….. . .12 4 . .
举例能证明 几何定 理吗… ………… …‘………..133
东方柯'14创η35的数学书推荐
欧几里得的4几何原本》
噩噩噩噩噩噩噩噩噩噩噩噩噩
欧几里得(活动于约公元前 300年〉的
《几何原本》一书，是世界上流传最广、再版
次数最多的科技书籍。 仅从1482年到19
世纪末，<<几何原本》已用各种文字出版了
1000次以上。历史上还没有哪一本科技书
籍对人类的影响超过它，直到今天它仍然
占据着中学课堂。欧几里得的名字在 20世
纪以前一直是几何学的同义词。 为什么欧
几里得几何会有如此魅力?主要是它在科
学上，特别是教育上的出色成就a 首先，欧
几里得将前人飘累的几何成果总