Past exam of the mathematics course of the University of Cambridge / 2016 / ia / Paper 2 / 6A / a / ii / Solution

The defining Wronskian identity gives the first-order linear differential equationWork first on an interval where $y_1\ne 0$. Dividing by $y_1$ recognizes a derivative:This is reduction of order. Choose the nonzero Wronskian from the Abel identity to obtain linear independence. The constant $C$ only adds a multiple of $y_1$. If $y_1$ has zeros, this quotient formula is local; the resulting solution can be continued across ordinary zeros using the original second-order linear differential equation.