把有√2的放在一起
a+2b-17=-4√2-b√2=(-4-b)√2
左边是有理数
所以右边是有理数
一个有理数乘以√2是有理数
则只有-4-b是0,才能使(-4-b)√2是有理数
所以右边是0
则左边也是0
所以a+2b-17=0
-4-b=0
b=-4,a=25