歐幾里得算法中的歸謬法和反證法 邏輯與算法之七

歐幾里得算法中的歸謬法和反證法 邏輯與算法之七          思索《幾何原本》第七卷命題1的證明，是一件十分有趣的事情。 回憶我的小學和中學，好像沒有學過反證法似的，歸謬法更沒有印象。不過，這也許是兒時的記憶有誤。數學當中，如果一個命題直接不大好證，我們可以繞個彎，先證明它反面不成立，然後就可以推出，那個待證的原命題是成立的。老師說這樣證明有效，你還能反駁什麼呢？不過，我們的水平難以反駁，後來

>>阅读原文<<