怎么证明根号2是无理数：反证法完整推导

怎么证明根号2是无理数，主流可行方法为反证法，先假设√2是有理数，再通过代数推导推出矛盾，以此推翻初始假设，该推导适合初中及以上数学学习者，仅需要掌握分数最简形式、整数平方奇偶性基础知识点，不适合完全不理解最简分数定义的初学者。假设√2为有理数，则√2可以写成两个互质正整数之比，记作√2=p/q，其中p和q最大公约数为1，q不为0。等式两边同时平方得到2=p²/q²，变形后p²=2q²，能判断p²是偶数，p本身也必须是偶数，设p=2k，k为正整数，代入式子得到4k²=2q²，化简为q²=2k²，说明q²为偶数，q同样是偶数。p、q同为偶数，二者存在公因数2，与p、q互质的前提冲突，假设不成立，√2不是有理数，即为无理数。

根号2证明的核心逻辑

反证法的本质是制造逻辑冲突，先承认命题反面成立，沿着这个前提做严谨代数运算，最终得到和前提自相矛盾的结论，从而证明原命题成立。有理数定义限定，任何有理数都能表达为两个互质整数的比值，这是整个推导的根基，一旦两个数存在除1以外的公因数，就不属于最简分数。

偶数的平方一定是偶数，奇数的平方一定是奇数，这个奇偶性质是推导的关键支点。整数平方不会改变奇偶属性，偶数自乘结果仍为偶数，奇数自乘结果仍为奇数，利用这个规律可以快速判定p和q的奇偶，不需要额外复杂运算。

互质，也就是两个整数最大公约数等于1，代表这两个数不能同时被大于1的整数整除。当推导得出p、q都能被2整除时，就破坏了互质这个设定，这个矛盾直接否定最初√2是有理数的假设。

根号2证明的常见误区

错误操作：推导中途忘记限定p、q互质，直接写出√2=p/q，缺少最简分数条件，推导会失效。缺少互质约束时，p、q可以不断约分，无法推出矛盾，整个证明链条断裂。

别混淆无理数概念。

无理数指无限不循环小数，不能用有限小数或者循环小数表示。证明过程不直接计算小数位数，小数无限不循环是无理数的结果，不能反过来当作证明√2是无理数的依据，不能用“√2小数无限不循环”去证明它是无理数，属于循环论证。

根号2证明的适用边界

该反证法证明方式，仅适用于平方根类根式的无理判定，像√3、√5这类非完全平方数的平方根，都可以套用同类思路。对于三次根式、超越数，这套奇偶推导逻辑不能直接使用，需要更换其他证明手段。

你可以用这套逻辑独立验证√3。假设√3=p/q，p、q互质，平方得到p²=3q²，p能被3整除，代入后q也能被3整除，出现公因数3，矛盾，证明√3为无理数。

证明过程全程依托初等数论的整数奇偶性、整除性质，属于中学数学竞赛、高中数学必修内容，国内人教版初中拓展阅读板块也收录该证明案例。