若a.b都是有理数,且a加b倍的根号2等于