函数f(x)=x^2与函数g(x)=-2(x+m)的交点为P(x0,y0),其中m为奇数,求证X0为无理数