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