几何例证法
几何例证法是利用举例的方法,来证明几何定理。这个方法是洪加威首先提出的。
历史
编辑1986年,洪加威最早得出用举例的方法可以证明几何定理。洪加威方法是用一个例子去证明一个几何定理,也称单点例证法。1989年,张景中和杨路发展了洪加威的方法,称为数值并行法。举例的思路有所不同。
理论上,洪加威完成了几何例证法的正确性证明。其正确性是通过一个间隙(裂缝)定理,它保证了几何例证法理论的正确性。
参考文献
编辑- 洪加威,能用例证法来证明几何定理吗? 中国科学 A 辑, 1986。
- 张景中,杨路,定理机械化证明的数值并行法及单点例证法原理概述, 数学的实践与认识, 1989.
- 吴文俊著 《数学机械化》 科学出版社 2006 ISBN 7-03-010764-0