行列式に対するライプニッツの明示公式
数学の線型代数学における行列式の明示公式 ()あるいはライプニッツの公式 () とは、正方行列の行列式をその行列の成分と置換を用いて陽に表したものである。ゴットフリート・ライプニッツに敬意を表してこの名がある。
物理学などではレヴィ゠チヴィタ記号 とアインシュタインの和の規約に則り formula_2 のように表すこともよくある。
ライプニッツの公式によって行列式を定義する場合、式に従って行列式を直接計算しようとすれば、その計算量は一般に —つまり計算回数は の階乗に漸近的に比例—となる（長さ の置換の総数は であったことを思い出そう）。これは が大きければそのような計算は実用的でないことを意味している。それでも、（典型的にはガウス消去法などを通じて）LU分解 が得られているならば、計算量は まで抑えられる—なぜならば、 であり、また は三角行列であるからそれらの行列式は単に対角成分を全て掛けるだけで求められる（ただし、数値線形代数での実用的な応用で明示公式を用いることは稀である）。例えば などを見よ。