消點原理

消點原理(principle to eliminate point)幾何定理可讀證明機器生成算法的基本思想.其要點是:用一些幾何量之間的代數關係來表達命題的結論

基本介紹

• 中文名：消點原理
• 外文名：principle to eliminate point

消點原理(principle to eliminate point)幾何定理可讀證明機器生成算法的基本思想.其要點是:用一些幾何量之間的代數關係來表達命題的結論，再利用命題的假設條件從這些幾何量中逐個地消去受條件約束的點.每消去一個點，便得到一個與原命題等價的新命題，但新命題的假設條件中所涉及的點比原命題減少了.當點減少到一定程度時，命題的真假便成為顯然的了.消點過程中所產生的命題系列，便構成了命題的一個證明或反證.由於消點操作一般是直接利用幾何量之間的關係實現的，不化為點的坐標運算，所以產生的證明通常是簡明可讀的.