Let us solve the differential equation cos2y dx+sin2x dy=0 which is equivalen to sin2x dy=−cos2y dx.
If sinx=0, then x=πn, n∈Z, are the solutions of the differential equation cos2y dx+sin2x dy=0. Also if cosy=0, then y=2π+πn, n∈Z, are the solutions of the differential equation cos2y dx+sin2x dy=0. Since y(4π)=4π, we conclude that they are not the solutions of cos2y dx+sin2x dy=0, y(4π)=4π.
Let us divide both parts of this equation by sin2xcos2y. Then we get the following differential equation:
cos2ydy=−sin2xdx
Then
∫cos2ydy=−∫sin2xdx and hence
tany=ctgx+C.
Since y(4π)=4π, we have that tan4π=ctg4π+C. It follows that 1=1+C, and hence C=0.
We conclude that tany=ctgx=tan(2π−x). It follows that y=2π−x+πn, n∈Z, is the family of solutions of the last differential equation. Taking into account that y(4π)=4π, we conclude that y=2π−x is the solution of the differential equation cos2y dx+sin2x dy=0, y(4π)=4π.
Comments