幾何例證法是利用舉例的方法,來證明幾何定理。這個方法是洪加威首先提出的。

歷史

編輯

1986年,洪加威最早得出用舉例的方法可以證明幾何定理。洪加威方法是用一個例子去證明一個幾何定理,也稱單點例證法。1989年,張景中楊路發展了洪加威的方法,稱為數值並行法。舉例的思路有所不同。

幾何例證法曾經受到過吳文俊數學機械化(吳方法)的啟發。

理論上,洪加威完成了幾何例證法的正確性證明。其正確性是通過一個間隙(裂縫)定理,它保證了幾何例證法理論的正確性。

參考文獻

編輯
  • 洪加威,能用例證法來證明幾何定理嗎? 中國科學 A 輯, 1986。
  • 張景中,楊路,定理機械化證明的數值並行法及單點例證法原理概述, 數學的實踐與認識, 1989.
  • 吳文俊著 《數學機械化》 科學出版社 2006 ISBN 7-03-010764-0