重心坐標法證明幾何定理

本文共計17頁，2222字；

摘要：
眾所周知，在歐氏平面中，如取定一個標架后，可以用坐標的計算來做幾何證明，類似地考慮，我們?nèi)缛《ㄒ粋€三角形（它相當于一個標架）可以引入重心坐標。自然地可以用重心坐標來做幾何。三角形是幾何中最穩(wěn)定的，而且很美。本文以重心坐標的方法來證明幾道初等幾何中的難題，以比較其與其它坐標的優(yōu)缺點，并試圖找出一個完善的理論，能解決所有的幾何問題，這對機械化證明也許是有幫助的。

關鍵詞：幾何,重心坐標,機器證明,笛卡兒坐標
一． 重心坐標基本概念
二． 重心坐標與笛卡兒坐標的區(qū)別
三． 重心坐標解決長度和角度的問題
四． 完備交點問題
五． 結合線性代數(shù)解決問題
參考文獻：
[1]《平面幾何中的重心坐標》虞言林、朱漢林（蘇州大學，數(shù)學科學學院）
[2] 第二號“俄羅斯殺手”—個挑戰(zhàn)性的幾何定理的人腦與機器證明的對比
—侯曉榮、李洪波、王東明、楊路
[3]《平面幾何定理的機器證明》 孫熙椿著， 廣西教育出版社
[4]《數(shù)學實驗》李尚志、陳發(fā)來、吳耀華、張韻華著 高等教育出版社