假设(a+√2)/(b+√2)=p/q(p,q互质)是有理数
则aq+q√2=bp+p√2
化简得
(aq-bp)/(p-q)=√2 是有理数
因为√2是无理数,所以假设错误,即(a+根号2)/(b+根号2)是无理数