Rumus Cauchy–Binet itu apa sih?

Dalam matematika, khususnya aljabar linear, rumus Cauchy–Binet adalah sebuah identitas determinan untuk hasil perkalian dua matriks yang dimensinya saling transpos (sehingga hasil kalinya terdefinisi dengan baik dan berupa matriks persegi). 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