On munit
Mn(R) de son produit scalaire usuel
(A,B)↦tr(A⊤B) et on considère l'application
det:M∈Mn(R)↦det(M). Cette application est différentiable sur
Mn(R) car polynomiale en les coefficients de la matrice.
On montre que
∀(i,j)∈[[1,n]]2,∂(i,j)det(M)=com(M)i,jd'où
∇det(M)=com(M).
On peut alors retrouver la différentielle du déterminant :
∀H∈Mn(R),d(det)(M)⋅H=⟨∇det(M),H⟩=tr(com(M)⊤H)