Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2014 / Paper 1 / 13 / a / ii / Solution

First write the forcing as $\sin x\cos x$. An integrating factor for the linear ordinary differential equation is $e^{-\sin x}$, givingSet $u=\sin x$ inside the antiderivative. ThenThe initial value forces $C=1$, henceThe resulting expression is explicit and valid for all real $x$; the substitution does not impose a global monotonicity condition on $\sin x$ when verifying an antiderivative.