コーシー・ビネの公式

代数学におけるコーシー・ビネの公式（こーしー・びねのこうしき、英: Cauchy–Binet formula）、あるいは、コーシー・ビネの定理、コーシー・ビネの展開とは、ジャック・フィリップ・マリー・ビネおよびオーギュスタン＝ルイ・コーシーに由来する恒等式で、2つの行列の積から作られる正方行列の行列式は、元の行列から取り出せる最大の小行列式の積の和に等しいというものであり、行列の成分が実数や複素数などの可換環において成立する。 == 定理 == n を自然数とし、集合 {1, …, n} を [n] と表記する。