Linear Second Order ODE/y'' + y = 0/Proof 3

Proof
We have that:

Hence it can be seen by inspection that:

are particular solutions to $(1)$.

It is noted that:
 * $\dfrac {y_1} {y_2} = \tan x$

which is not a constant function on any closed interval $\closedint a b$.

Calculating the Wronskian of $y_1$ and $y_2$:

So the Wronskian of $y_1$ and $y_2$ is never zero.

We have that $(1)$ is a homogeneous linear second order ODE in the form:
 * $y'' + \map P x y' + \map Q x y = 0$

where $\map P x = 0$ and $\map Q x$ are constant functions.

So by Constant Real Function is Continuous: $P$ and $Q$ are continuous on $\closedint a b$

Thus from Two Linearly Independent Solutions of Homogeneous Linear Second Order ODE generate General Solution:
 * $(1)$ has the general solution:
 * $y = C_1 \sin x + C_2 \cos x$
 * on $\closedint a b$.

Since $\closedint a b$ can be extended indefinitely without introducing points where $P$ or $Q$ are discontinuous, the general solution is valid for all $x$.