如何证明根号2为无理数？

设 √2=P/Q (P,Q)=1

则有 2=P`2/Q`2

可得 2│P`2

则有 2│P

然后怎么做不知道了...网上有很多回答不过解释的不够详细清楚 希望有高手讲解一下!

证明：设 √2=P/Q (P,Q)=1（即：若√2为有理数，那么它必可以表示为最简分数P/Q 的形式，P、Q 互质），那么

P^2 = 2Q^2，P^2可被2整除，即 2│P^2；

显然 P 是偶数，即 2│P（如果 P 是奇数，P^2 必为奇数，与 2│P^2 矛盾)；

因为 2│P，所以 4│P^2（即 P^2 能被 4 整除)；

因 4│P^2，不妨设 P^2 = 4N, 则由 2=P^2/Q^2 可得 2 = 4N /Q^2；

故 Q^2=2N，即 2│Q^2，所以 2│Q，即 Q 必为偶数，

综上知，P、Q 均为偶数，这与(P,Q)=1矛盾！

所以 “√2=P/Q， (P,Q)=1”是不可能成立的，故√2为无理数。