重心坐标在几何定理机械化证明中的应用

Applications of the Barycentric Coordinates in Mechanical Proving of the Geometry Theorems

采用重心坐标系用数值并行法对几何定理的机械化证明进行讨论,并给出五个平面几何定理的新证明。

This paper, renders some dissussions on the mechanical proving of some geometry theorems by the parallel mumerical method and by barycentric coordinates. It presents new proofs of five theorems of planimetry.