代数学におけるコーシー・ビネの公式 (こーしー・びねのこうしき、英: Cauchy–Binet formula)、あるいは、コーシー・ビネの定理、コーシー・ビネの展開とは、および オーギュスタン＝ルイ・コーシーに由来する恒等式で、2つの行列の積から作られる正方行列の行列式を、元の行列から取り出せる最大の小行列式の積の和で表せるというものであり、行列の要素は実数や複素数だけでなく可換環としても成立する。
