“根号2是无理数”的若干证法

[2]是人类最早发现的无理数之一。公元前500年左右，人们就会证明[2]是无理数。要想证明[2]是无理数，一般用反证法。

一般来说，反证法的步骤如下：①假设原命题的结论不成立；②从这个假设出发，经过推理论证，得出与基本事实、定理、定义、法则或已知条件等矛盾的结论；③由矛盾的结论判定步骤①中的假设不正确，进而肯定原命题的结论正确。（剩余922字）