√2为何不是有理数？

要推导出√2不是有理数，证明如下，我们知道任意的一个有理数都可以用Q{m/n，m,n∈N，n≠0}来表示。现在我们假设√2是可以用m/n来表示的，m和n无相同的公因数。那么推倒如下：

首先假设：√2=m/n

两边同时平方后：m²=2n²--->由这个等式我们可以得出m是有2这个因数的

将等式两边同除以四：(m/2)²=n²/2

令m/2等于k：n²=2k²--->这里我们又可以得出n同样是存在2这个因数的

经过以上的推导，我们可以发现m和n都存在2这个公因数，而这很显然与我们的假设相矛盾，因此假设无法成立，√2无法归入有理数的范畴，所以只能是无理数啦