コーシー・ビネの公式

代数学におけるコーシー・ビネの公式（こーしー・びねのこうしき、）、あるいは、コーシー・ビネの定理、コーシー・ビネの展開とは、およびオーギュスタン＝ルイ・コーシーに由来する恒等式で、2つの行列の積から作られる正方行列の行列式は、元の行列から取り出せる最大の小行列式の積の和に等しいというものであり、行列の成分が実数や複素数などの可換環において成立する。
定理.
 を自然数とし、集合 を と表記する。 を非負整数として、 を 行列、 を 行列とする。 を要素数 の の部分集合とする。 を、 の 個の列から に含まれる添字の列を取り出して得られた 行列、 を、 の 個の行から に含まれる添字の行を取り出して得られた 行列とする。
このとき積 は 行列となり、その行列式は
 formula_1
となる。ただし、総和について、 は、 の部分集合で要素数が のものすべてを取るとする。なお、 の場合は右辺は 0 である。
成分による表示.
と成分表示すると、公式は
と表現できる。ただし、右辺の総和は、 を満たす整数の組 の全てに対して取るとする。なお、 の場合は右辺は である。
小行列式記法による表示.
記法
を使えば
 formula_5
となる。ただし、右辺の総和は、 を満たす整数の組 の全てに対して和を取るとする。なお、 の場合は右辺は である。
定理の証明.
行列式の多重線型性により
が導かれる。最後の式の は から への写像である。
行列式の反対称性により が単射の場合のみ行列式は非零なので、 と置き換えられる。ここで、置換 は 次対称群 formula_7 の元であり、 は を満たす関数である。これより
が成り立つ。なお、 は置換 の符号であり、行列式の反対称性
および、
を用いた。
具体例.
コーシー・ビネの公式を具体例で確認してみる。
（例1） の場合として、行列 formula_11 を考える。formula_12である。
formula_13 であるから、
となる。
（例2） の場合として、行列 formula_15 を考える。formula_16 である。
formula_17 であるから、
となる。
（例3） の場合として、行列 formula_19 を考える。formula_20 である。
formula_21 であるから、
となる。
（例4） の場合として、行列 formula_23 を考える。formula_24 である。
formula_25 は存在しないから、
となる。
一般化されたクロネッカーのデルタとの関係.
とする。ただし、δはクロネッカーのデルタ
である。
これをコーシー・ビネの公式に代入し、一般化されたクロネッカーのデルタ
を使えば、
 formula_30
が得られる。逆にこの式からコーシー・ビネの公式を導くこともできる。
これは単位行列の基本的性質
の一般化である。
特別な場合.
 の場合、 となる整数の組 は存在しないから、公式の右辺は 0 となる。このとき の階数はこの場合高々 だから、 行列 の階数も高々 であるので、公式の左辺 は 0 となり、公式が成り立つ。
 のとき、 は正方行列である。 となる整数の組 は に等しいから、公式は
すなわち となる。
 のとき、 そして は空行列（ただし、 なら行列の型は異なる）であり、空行列の行列式は定義により 1 だから、公式は 1 = 1 を述べているに過ぎない。
 のとき、公式は formula_33 となるが、1×1行列 "A" に対して det("A") = "A" だから、自明の式を述べているに過ぎない。
 は非自明な公式を与える最小の であり、そのときの公式
 formula_34
はビネ・コーシーの恒等式と呼ばれる。
"n" = 3 の場合の具体例.
formula_35 などは3次元ベクトルとする。
formula_36
"m" > 3 の場合、右辺は常に0である。なお、
"m" = 2 の式はスカラー四重積に対するビネ・コーシーの恒等式、
"m" = 3 の式はスカラー三重積の積に対する公式であり、
"m" = 4 の式より四重積 (ベクトル解析) の公式
formula_37
が導かれる。