是的，根号2（√2）是无理数。无理数是不能表示为两个整数之比的实数，也就是说它们的小数部分是无限不循环的。根号2不能表示为两个整数的比例，它的小数表示是无限不循环的，因此它是一个典型的无理数。
证明根号2是无理数的一种方法是使用反证法：
1. 假设根号2是有理数，那么存在互质的正整数p和q，使得√2 = p/q。
2. 将等式两边平方，得到2 = p²/q²。
3. 这意味着p²是2的倍数，所以p也必须是2的倍数。
4. 设p = 2k（k为正整数），代入上式得到2q² = 4k²。
5. 这表明q²也是2的倍数，所以q也必须是2的倍数。
6. 但是这与p和q互质的假设矛盾，因为它们都是2的倍数。
7. 因此，假设不成立，根号2是无理数。