Answer:
Shown!
Explanation:
First let's show that the given parameters are solutions of ODE.

![[tex]x_2(t) = e^(-t)\sin t\\x_2'(t) = -e^(-t)\sin t+e^(-t)\cos t\\x_2''(t) = e^(-t)\sin t-e^(-t)\cos t-e^(-t)\cos t-e^(-t)\sin t=-2e^(-t)\cos t\\\\x''+2x'+2x =-2e^(-t)\cos t-2e^(-t)\sin t+2e^(-t)\cos t+2e^(-t)\sin t=0](https://img.qammunity.org/2021/formulas/mathematics/college/aux7um4w9edlwtuh47aipegmzucltci5qu.png)
Is is showed that both are the solutions.
Now, let's prove it for general case by solving ODE.

Roots are

So the solution is as follows:

Since by Euler's Formula,

Hence,
