用反证法证明:已知,a是有理数,且a不等于0,b是无理数,则ab是无理数。