是的，根号二（√2）是无理数。这个结论可以通过多种方法证明，以下是其中的一种证明方式：
假设根号二是有理数，那么它可以表示为两个互质正整数p和q的比值，即：
√2 = p/q
将等式两边平方，得到：
2 = p²/q²
这意味着p²是2的倍数，所以p也必须是2的倍数。设p = 2k，其中k是正整数，代入上面的等式得到：
2 = 4k²/q²
化简得到：
q² = 2k²
这表明q²也是2的倍数，所以q也必须是2的倍数。但这与p和q互质的假设矛盾，因为两个偶数不可能互质。因此，我们的假设不成立，根号二不能表示为两个整数的比值，所以它是无理数。
无理数是不能表示为两个整数之比的数，它们的小数部分是无限不循环的。根号二的小数部分就是无限不循环的，因此它是无理数。
还有什么我可以帮助您的吗？