Abstract: Based on the principles of mass point geometry, the paper developed a new machine proving method, mass point method, and established an affine-geometrymachineproof algorithm implemented as the Maple program that can deal with Hilbert intersection point statements. The program can produce readable proofs automatically. The results of hundreds of non-trivial propositions show that the method is not only efficient, and most proofs’ readability is also satisfactory.

Key words: particle geometry, readable machine proof, Hilbert intersection point statements

摘要： 讨论并发展了能自动证明几何定理的质点几何方法，建立了能处理希尔伯特交点类命题的仿射几何机器证明算法,并实现为Maple程序。对上百个非平凡命题运行的结果显示，这种方法不仅效率高，多数证明的可读性也令人满意。

关键词: 质点几何, 可读机器证明, 希尔伯特交点类几何命题