属于一阶线性微分方程
e^(∫ -tanxdx) = e^(ln(cosx)) = cosx
(y*cosx)' = cosx*secx =1
ycosx = x +C y(0)=0 C=0
y =x/cos