complex roots at higher order

When you solve a degree-n characteristic polynomial, some roots may turn out complex rather than real. For real-coefficient equations these complex roots are never lonely — they always come in conjugate pairs, a + bi together with a - bi. The job of this idea is to turn such pairs into honest real-valued, oscillating solutions, just as at second order, and to handle them when they ALSO happen to be repeated.

Here is the conversion. A complex root r = a + bi would formally give e^((a+bi)x); using Euler's formula e^(i theta) = cos theta + i sin theta, this is e^(ax)(cos bx + i sin bx). The conjugate root a - bi gives the complex conjugate. Because the equation has real coefficients, the real and imaginary parts are each genuine solutions, so the conjugate pair contributes the two REAL solutions e^(ax) cos(bx) and e^(ax) sin(bx). The number a (the real part) controls growth or decay; the number b (the imaginary part) sets the frequency of oscillation. If the SAME complex pair is repeated with multiplicity m, you stack on powers of x exactly as for repeated real roots: e^(ax) cos(bx), x e^(ax) cos(bx), ..., x^(m-1) e^(ax) cos(bx), and likewise with sin, giving 2m real solutions for the pair.

This matters because oscillation is everywhere — vibrating beams, AC circuits, coupled resonators — and higher-order systems can carry several oscillating modes at once, one per complex pair. Two honest reminders. First, count carefully: a single complex pair contributes 2 solutions, and a pair of multiplicity m contributes 2m, so tallying real and complex roots with multiplicity must total exactly n. Second, the 'come in conjugate pairs' guarantee relies on REAL coefficients; if an equation had genuinely complex coefficients, roots need not pair up and the real-solution shortcut would not apply.