几何例证法

几何例证法是利用举例的方法，来证明几何定理。这个方法是洪加威首先提出的。

 历史 
1986年，洪加威最早得出用举例的方法可以证明几何定理。洪加威方法是用一个例子去证明一个几何定理，也称单点例证法。1989年，张景中和杨路发展了洪加威的方法，称为数值并行法。举例的思路有所不同。

几何例证法曾经受到过吴文俊的数学机械化（吴方法）的启发。

理论上，洪加威完成了几何例证法的正确性证明。其正确性是通过一个间隙（裂缝）定理，它保证了几何例证法理论的正确性。

 参考文献 
 洪加威，能用例证法来证明几何定理吗? 中国科学 A 辑, 1986。
 张景中，杨路，定理机械化证明的数值并行法及单点例证法原理概述， 数学的实践与认识, 1989.
 吴文俊著 《数学机械化》 科学出版社 2006  ISBN 7-03-010764-0

Category:几何学
Category:数学机械化