证明(ydx-xdy)/(x∧2+2y∧2)是某函数的全微分,并求这个函数