已知 10-√3=a+b,其中a是整数,0