证明xdx+ydy/x^2+y^2在半平面y>0内是二元函数的全微分,并求出这个二元函数