同除以ab
1/b+√2+1/a=√2/ab
(a+b)/ab=√2(ab-1)/ab
a+b=√2(ab-1)
等式有边出现无理数,若a,b均为有理数,则等式恒不成立,又b为有理数,则a必为无理数.