ab是无理数,则a,b之中至少有一个无理数
一个有理数加减一个无理数或者两个无理数相加减还是无理数
一个有理数和一个无理数相乘除是无理数
若a,b都是无理数,因为ab是无理数,a,b相乘除都不能约去无理数,结果还是无理数