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

历史

编辑

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

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

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

参考文献

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