Différentielle du déterminant

Soit la fonction \r\[\det : \mathcal{M}_n(\mathbb{R})\longrightarrow\mathbb{R}.\]\rOn a donc pour tout $X\in\mathcal{M}_n(\mathbb{R})$ et pour tout $H\in\mathcal{M}_n(\mathbb{R})$,\r\[D_X\det.H=\textrm{Tr}(^t\textrm{Com}(X).H).\]\r\rpuis une application \r\rSoit $y_1,...,y_n$ des solutions à valeurs dans $\mathbb{R}^n$ du système différentiel $y'(t)=A(t)y(t)$, où $A(t)\in\mathcal{M}_n(\mathbb{R})$ est une fonction continue et soit $w(t)=\det(y_1(t),...,y_n(t))$ leur déterminant wronskien. \r\rAlors $w'(t)=\textrm{Tr}(A(t))w(t)$. De plus, si $A$ est constante, $\det(e^{tA})=e^{t\textrm{Tr}(A)}$.\r\r