Gracias, entonces la demostración quedaria asi?:
\( y' = \frac{ae^{\frac{x}{2}}}{2}-be^{-x} \)
\( y'' = \frac{ae^{\frac{x}{2}}}{4}+be^{-x} \)
\( 0 = 2*(\frac{ae^{\frac{x}{2}}}{4}+be^{-x}) + (\frac{ae^{\frac{x}{2}}}{2}-be^{-x}) - (ae^{\frac{x}{2}}+be^{-x}) \)
Y desarrollando queda cero.
Si es así, la demostración es correcta.
En general le pasa a toda ec. diferencial lineal homogémnea. (por ello la solución general se obtiene como combinación lineal de todas las soluciones independientes.
(Te dejo la demostración para una de 2º grado, pero es igual para otro grado)
Sea \( ay''+by' +cy=0 \) (*) , con \( a=a(x) ,\, b=b(x), \,c=c(x) \)
Y sean \( y_1 \) e \( y_2 \) dos soluciones independientes de la ec. diferencial (*) , es decir:
\( ay_1''+by_1' +cy_1=0 \) (1) y \( ay_2''+by_2' +cy_2=0 \) (2)
Entonces \( y_h=\alpha y_1 + \beta y_2 \) , es solución de la ec. diferncial (*)
Demostración.
Sustituimos \( y_h \) en la ecuación.
\( a(\alpha y_1 + \beta y_2)''+b(\alpha y_1 + \beta y_2)' +c(\alpha y_1 + \beta y_2)=0 \) Por la linealidad de la derivada:
\( a(\alpha y''_1 + \beta y''_2)+b(\alpha y'_1 + \beta y'_2) +c(\alpha y_1 + \beta y_2)=0 \)
Agrupando en \( \alpha \, y \, \beta \) sacándolos factor común
\( \alpha(ay_1''+by_1' +cy_1)+\beta(ay_2''+by_2' +cy_2)=0 \), pero ambos paréntesis por (1) y(2) son cero.
\( \alpha\cdot{}(0)+\beta\cdot{}(0)=0\Rightarrow{}0=0 \)
Saludos.