ヤコビの公式

において、ヤコビの公式（）は行列 の導函数および余因子を用いて行列式の導函数を表す方法である。
 を実数から 行列への微分可能な写像とすると、 を行列 の跡として
となる（右の等号は が正則な場合にのみ成立する）。
特殊例として、次の式が成り立つ。
 を の導函数とすると、公式は次のようになる。
名称は数学者カール・グスタフ・ヤコブ・ヤコビにちなむ。
導出.
行列計算による方法.
次の補題を先に証明する。
補題 
 と を同次元 での正方行列の組とする。このとき、次の式が成り立つ。
"証明" 
行列の積 は次の成分を持つ。
行列 を転置行列 で置き換えることは、成分の添字を並び替えることと等しい。
結果は両辺の跡を取ることで導かれる。
定理（ヤコビの公式） 
実数から 行列への微分可能な任意の写像 に対して
が成り立つ。
"証明" 
 の行列式に対する余因子展開は次のように表せられる。
和は行列の任意の行 に対して実行されることに注意。
 の行列式は の要素の函数と見なせる。
それゆえ、連鎖律より、導函数は
となる。
この加算は行列の 要素すべてで実行される。
余因子展開右辺の を得るために、添字 は任意に定められる（計算を最適化するため。他の任意の選択からも同様の結果が得られるが、過程がより困難なものとなりうる）。特に、 の最初の添字と一致するように選ぶことができる。
積の微分法則より
となる。
ここで、もし行列 の要素および要素 の余因子 が同じ行（あるいは列）にある場合、 の余因子はその行（あるいは列）以外の要素で表されることから、余因子は の函数とならない。それゆえ
であり、
 のすべての要素は互いに独立であるから、 をクロネッカーのデルタとして
それゆえ
すなわち
となり、補題を用いることで次の結果が得られる。
連鎖律による方法.
補題1
 を の導函数として、 である。この等式は単位行列によって定まる の導関数は跡と等しいことを意味している。導関数 は 行列を実数へ写す線形演算子である。
"証明"
方向微分の定義と微分可能な函数の基本的な性質を用いることで、次の式を得る。
 は 次元での に関する多項式であり、 の固有多項式と密接にかかわる。定数項（）は1であり、 の一次項は となる。
補題2
正則行列 に対して、 である。
"証明"
 の函数
を考える。
 の導函数を計算し、上式の通り補題1を用いて での値を求め、連鎖律を用いることで
を得る。
定理（ヤコビの公式）
formula_23
"証明"
 が正則な場合、補題2より、 を用いて
となる。
 から への余因子と関連する等式を用いる。正則線形行列は行列空間上で稠密であるから公式はすべての行列に対し成り立つ。
対角化による方法.
ヤコビ公式の両辺は および の係数に関して多項式である。それゆえ の固有値が相異なり、かつゼロでないような稠密な部分集合上で多項恒等式を示せば十分である。
 の因子が のように微分可能ならば、
である。
特に、 が正則ならば、 かつ
である。
 は相異なる固有値を持つから、（ は対角行列）を満たす微分可能な複素正則行列 が存在する。
このとき
である。
（）を の固有値とする。このとき
すなわち相異なるゼロでない固有値を持つ行列 に対するヤコビ公式となる。
系.
次の式は行列指数函数の行列式と跡を結びつける有用な関係式である。
この事実は対角行列に対して明らかであり、以下に一般化された証明を述べる。
任意の正則行列 に対し、連鎖律の部分で次のことを示した。
ここで の場合を考えることで、次の式を得る。
この微分方程式を解くことで、求める結果が得られる。
応用.
ヤコビの公式は固有多項式を解くためのや、ケイリー・ハミルトンの定理の応用で用いられる。例えば、上記で示された式
に対して を用いることで
が得られる。ただし は余因子行列を表す。