无理数可分为两大类:代数数和超越数,代数数是指可以表示为有理数系数的有限次方程的根的数,不可以表示为有理数系数方程的数就是超越数,最常见的有e,π,γ等,由于超越数不能表示成任何有理数系数方程的根,那么超越数的任何有理数次(0除外)幂也一定是超越数,更是无理数.
而且还可进一步证明超越数要比代数数多,而带根号的无理数只是代数数中极小的一部分,因此超越数远多于带根号的无理数
因此,从某种意义上说,绝大多数无理数的平方都不是有理数