x^3+2y+5^(1/2)*y=17-5*5^(1/2)
x^3=17-2y-5^(1/2)*(5+y)
由于5^(1/2)为无理数,所以5+y=n*5^(1/2)或者0,而x和y都是有理数,所以5+y=0
y=-5
然后代入得X=3