x的平方2-9=0的解集是