怎样验证X=te^x Y=e^-t是微分方程Y'(1+yx)+y^2=0的解