摘要

<正>同学们,这里有一个有趣的问题:请证明"神不是万能的"。直接证明很困难,间接证明试一试。反证法是间接论证的方法之一,是拉丁语中的"转化为不可能"(Reductio ad absurdum),阿基米德经常使用它,亦称"逆证"。对于反证法,我们应该不陌生。在七年级数学教材下册第16页读一读"怎样证实‘两直线平行,同位角相等’"部分,就是用反证法进行的论证,同学们不妨先回到课本去读一读。这里,我们模仿着试一试。