重心坐标法证明几何定理.doc

重心坐标法证明几何定理

本文共计17页，2222字；

摘要：
众所周知，在欧氏平面中，如取定一个标架后，可以用坐标的计算来做几何证明，类似地考虑，我们如取定一个三角形（它相当于一个标架）可以引入重心坐标。自然地可以用重心坐标来做几何。三角形是几何中最稳定的，而且很美。本文以重心坐标的方法来证明几道初等几何中的难题，以比较其与其它坐标的优缺点，并试图找出一个完善的理论，能解决所有的几何问题，这对机械化证明也许是有帮助的。

关键词：几何,重心坐标,机器证明,笛卡儿坐标
一． 重心坐标基本概念
二． 重心坐标与笛卡儿坐标的区别
三． 重心坐标解决长度和角度的问题
四． 完备交点问题
五． 结合线性代数解决问题
参考文献：
[1]《平面几何中的重心坐标》虞言林、朱汉林（苏州大学，数学科学学院）
[2] 第二号“俄罗斯杀手”—个挑战性的几何定理的人脑与机器证明的对比
—侯晓荣、李洪波、王东明、杨路
[3]《平面几何定理的机器证明》 孙熙椿著， 广西教育出版社
[4]《数学实验》李尚志、陈发来、吴耀华、张韵华著 高等教育出版社