证明根号2是无理数

首先假设根号2是有理数，即可以表示为两个互质的整数的比，设根号2 = a/b，其中a和b是互质的整数。

根据等式两边平方，得到2 = a^2 / b^2，即2b^2 = a^2。

根据整数平方的性质，如果一个整数的平方是偶数，那么这个整数本身也是偶数。所以可以推断，a也是偶数，即a = 2c（其中c是整数）。

将a = 2c代入上述等式，得到2b^2 = (2c)^2，即2b^2 = 4c^2，即b^2 = 2c^2。

根据相同的推理，可以得出b也是偶数。

然而，a和b都是偶数，与假设的a和b互质的条件相矛盾。所以假设不成立，即根号2是无理数。