Je me pose  une question , d'ou sort le résultat des équations différentielles du second ordre à coefficient constant disant que si les racine du polynome (a^2+b+c) sont complexe disons

1=a+bi et 2=a-bi la solution s'exprime comme suis :

X1(t)=e^(at).(cos(at)+isin(at))
X2(t)=e^(at).(cos(at)-isin(at))

???