Linear Second Order ODE/y'' - 4 y = 0/Proof 1

Proof
It can be seen that $(1)$ is a constant coefficient homogeneous linear second order ODE.

Its auxiliary equation is:
 * $(2): \quad: m^2 - 4 = 0$

From Solution to Quadratic Equation with Real Coefficients, the roots of $(2)$ are:
 * $m_1 = 2$
 * $m_2 = -2$

These are complex and unequal.

So from Solution of Constant Coefficient Homogeneous LSOODE, the general solution of $(1)$ is:
 * $y = C_1 e^{2 x} + C_2 e^{-2 x}$