Comprueba que la función $$y(x) = e^{-4x}(A+Bx)$$ satisface la ecuación diferencial $$y''+8y'+16y = 0$$, e que la función $$x(t) = 3\cos t + \operatorname{sen}\,t + e^{2t} + e^t$$ satisface las ecuaciones $$x''''-3x''+2x-10\,\operatorname{sen}\,t = 0$$ e $$x''''-3x'''+3x''-3x'+2x = 0$$