Rumus Cauchy–Binet

Dalam matematika, khususnya aljabar linear, rumus Cauchy–Binet adalah sebuah identitas determinan untuk hasil perkalian dua matriks yang dimensinya saling transpos. Rumus tersebut memperumum pernyataan bahwa determinan dari hasil perkalian matriks persegi, bernilai sama dengan hasil perkalian determinan-determinannya. Rumus ini berlaku untuk matriks yang setiap elemennya berasal sebarang gelanggang komutatif. Rumus ini dinamai dari Augustin-Louis Cauchy dan Jacques Philippe Marie Binet