Solution by Integrating Factor/Examples/y' - 3y = sin x/Proof 2

Proof
This is a linear first order ODE with constant coefficents in the form:
 * $\dfrac {\d y} {\d x} + a y = \map Q x$

where:
 * $a = -3$
 * $\map Q x = \sin x$

Thus from Solution to Linear First Order ODE with Constant Coefficients: