重心坐標(biāo)法證明幾何定理

本文共計(jì)17頁，2222字；

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

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