幾何例證法

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

歷史[編輯]

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

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

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