行列式に対するライプニッツの明示公式

数学の線型代数学における行列式の明示公式 ()あるいはライプニッツの公式 () とは、正方行列の行列式をその行列の成分と置換を用いて陽に表したものである。ゴットフリート・ライプニッツに敬意を表してこの名がある。
物理学などではレヴィ゠チヴィタ記号 とアインシュタインの和の規約に則り formula_2 のように表すこともよくある。
ライプニッツの公式によって行列式を定義する場合、式に従って行列式を直接計算しようとすれば、その計算量は一般に —つまり計算回数は の階乗に漸近的に比例—となる（長さ の置換の総数は であったことを思い出そう）。これは が大きければそのような計算は実用的でないことを意味している。それでも、（典型的にはガウス消去法などを通じて）LU分解 が得られているならば、計算量は まで抑えられる—なぜならば、 であり、また は三角行列であるからそれらの行列式は単に対角成分を全て掛けるだけで求められる（ただし、数値線形代数での実用的な応用で明示公式を用いることは稀である）。例えば などを見よ。
特徴付け.
行列式は以下の定理によって特徴付けることができる。
上記の明示式で定義された函数 は実際にこれら条件を満たすから、このような函数は存在する。逆にこれら条件から上記の明示式が出ることを見れば一意性が示せる。これにより、定理の条件を満たす函数 が明示公式で与えられる行列式函数にほかならないことがわかるから、行列式 formula_4 を明示公式によって定義することも、定理の条件を満たす唯一の函数として定義することもできる。
 \Bigr)\\
 &=\sum_{\sigma\in S_{n}\atop\sigma(j_{1})<\sigma(j_{2})}\bigl(
 \bigr)\\
 &=\sum_{\sigma\in S_{n}\atop\sigma(j_{1})<\sigma(j_{2})}\sgn(\sigma)
 \alpha_\sigma \bigl(a_{\sigma(j_{1})}^{j_{1}}a_{\sigma(j_{2})}^{j_{2}} - a_{\sigma(j_{1})}^{j_{2}}a_{\sigma(j_{2})}^{j_{_{1}}}\bigr)
\end{align}</math> と書き直せるから、formula_5 を得る。
最後に となることは、（ はクロネッカーのデルタ）および、 が恒等置換でないかぎり となることに注意すれば formula_6 と計算できる。