欧几里得算法中的归谬法和反证法 逻辑与算法之七
思索《几何原本》第七卷命题1的证明,是一件十分有趣的事情。
回忆我的小学和中学,好像没有学过反证法似的,归谬法更没有印象。不过,这也许是儿时的记忆有误。数学当中,如果一个命题直接不大好证,我们可以绕个弯,先证明它反面不成立,然后就可以推出,那个待证的原命题是成立的。老师说这样证明有效,你还能反驳什么呢?不过,我们的水平难以反驳,后来真有人反驳这一点。凭什么?一个和原命题相反的命题它不成立,就证明原命题成立了呢?
这一篇小文,先给出我对原本七卷那个命题1证明的理解。原本证明过程的叙述太为简洁,我加上了一些自己的理解,给出该命题1的证明。这个证明过程,几乎就是在使用归谬法(Reductio ad absurdum),也可以说使用了反证法(proof by contradiction)。读《几何原本》,可以让我们对这两个证明方法有更精准的认知。
第七卷命题1:(《几何原本》第215页,天津科技出版社2019年版)
设有两不等自然数,依次从较大数减去较小数,若所得余数总是无法量尽它前面一数,直至最后余数为1,则该两数为互质数。
证明:
设较大数为AB,较小数为CD,如果该两数满足命题1条件,结果却不是互质数。
1)若AB和CD不是互质数,则依据几何原本命题12互质数定义,至少存在一个数,可被这两个数整除,也就是这两个数一定至少有一个公约数,设这个数为E。
可以用3条线段分别表示AB,CD和E。
2)我们先用CD量尽AB,需要多少次,就量多少次,这相当于做除法。
3)因为