Une bonne façon de se rappeler les formules est de regarder une équa-diff d'ordre 2 (ou plus...) comme une équa-diff d'ordre 1 dont l'inconnue est le vecteur
)
.
Lorsque tu as ta base
)
de l'ensemble des solutions de l'équadiff. linéaire d'ordre 2 associée, cela signifie que les solutions (en vectoriel) sont les

où

est la matrice
)
et où

est un vecteur constant
)
.
La méthode de variation de la constante consiste alors à considérer le vecteur

comme variable.
Cela conduit bien aux deux équations que tu donne.
Dans la pratique, il faut aussi constater que :

donc la deuxième égalité :

peut se récrire sous la forme équivalente :

qui est utile pour la résolution