这其实是一个全微分方程
即等价于 d( (x²+1)y - sinx ) =0
解得 (x²+1)y - sinx =C
详见参考资料