text: 幾何例證法是利用舉例的方法，來證明幾何定理。這個方法是洪加威首先提出的。歷史.1986年，洪加威最早得出用舉例的方法可以證明幾何定理。洪加威方法是用一個例子去證明一個幾何定理，也稱單點例證法。1989年，張景中和楊路發展了洪加威的方法，稱為數值並行法。舉例的思路有所不同。幾何例證法曾經受到過吳文俊的數學機械化的啟發。理論上，洪加威完成了幾何例證法的正確性證明。其正確性是透過一個間隙定理，它保證了幾何例證法理論的正確性。
metadata.dataset: erhwenkuo/wikipedia-zhtw
metadata.title: 幾何例證法
metadata.url: https://zh.wikipedia.org/wiki?curid=4493750