验证y=x(c-lnx),是否为(x-y)dx xdy=0的微方程的解