微分方程:用代入法解微分方程 dx/dt+tx^3+x/t=0