求微分方程dy/dx=1+y² 则怎么推出y=tan(x+C)的