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

Pernyataan
----------

Misalkan {\displaystyle A} adalah sebuah matriks {\displaystyle m\!\times \!n} dan {\displaystyle B} adalah sebuah matriks {\displaystyle n\!\times \!m}. Misalkan pula {\displaystyle [n]} menyatakan himpunan {\displaystyle \{1,\dots ,n\}}, dan {\textstyle {\binom {[n]}{m}}} menyatakan himpunan kombinasi-{\displaystyle m} dari {\displaystyle [n]} (yaitu, himpunan bagian berukuran {\displaystyle m} dari {\displaystyle [n]}; yang banyaknya ada {\textstyle {\binom {n}{m}}}). Untuk {\textstyle S\in {\binom {[n]}{m}}}, tulis {\displaystyle A\_{[m],S}} sebagai matriks {\displaystyle m\times m} yang kolomnya merupakan kolom matriks {\displaystyle A} pada indeks dari {\displaystyle S}, dan {\displaystyle B\_{S,[m]}} untuk matriks {\displaystyle m\times m} yang barisnya merupakan baris matriks {\displaystyle B} pada indeks dari {\displaystyle S}. Rumus Cauchy–Binet kemudian menyatakan


det
(
A
B
)
=

∑

S
∈

(

[
n
]

m

)



det
(

A

[
m
]
,
S

)
det
(

B

S
,
[
m
]

)
.

{\displaystyle \det(AB)=\sum \_{S\in {\tbinom {[n]}{m}}}\det(A\_{[m],S})\det(B\_{S,[m]}).}

{\displaystyle \det(AB)=\sum _{S\in {\tbinom {[n]}{m}}}\det(A_{[m],S})\det(B_{S,[m]}).}Sebagai contoh, anggap {\displaystyle m=2} dan {\displaystyle n=3}, dan matriks {\displaystyle A={\begin{pmatrix}1&1&2\\3&1&-1\end{pmatrix}}} dan matriks {\displaystyle B={\begin{pmatrix}1&1\\3&1\\0&2\end{pmatrix}}}. Ruas kanan dari rumus Cauchy–Binet memberikan determinan



det
(
A
B
)

=

|

1

1

3

1

|

⋅

|

1

1

3

1

|

+

|

1

2

1

−
1

|

⋅

|

3

1

0

2

|

+

|

1

2

3

−
1

|

⋅

|

1

1

0

2

|


=
−
2
×
(
−
2
)
+
(
−
3
)
×
6
+
(
−
7
)
×
2



=
−
28



{\displaystyle {\begin{aligned}\det(AB)&=\left|{\begin{matrix}1&1\\3&1\end{matrix}}\right|\cdot \left|{\begin{matrix}1&1\\3&1\end{matrix}}\right|+\left|{\begin{matrix}1&2\\1&-1\end{matrix}}\right|\cdot \left|{\begin{matrix}3&1\\0&2\end{matrix}}\right|+\left|{\begin{matrix}1&2\\3&-1\end{matrix}}\right|\cdot \left|{\begin{matrix}1&1\\0&2\end{matrix}}\right|\\&=-2\times (-2)+(-3)\times 6+(-7)\times 2\\&=-28\end{aligned}}}

{\displaystyle {\begin{aligned}\det(AB)&=\left|{\begin{matrix}1&1\\3&1\end{matrix}}\right|\cdot \left|{\begin{matrix}1&1\\3&1\end{matrix}}\right|+\left|{\begin{matrix}1&2\\1&-1\end{matrix}}\right|\cdot \left|{\begin{matrix}3&1\\0&2\end{matrix}}\right|+\left|{\begin{matrix}1&2\\3&-1\end{matrix}}\right|\cdot \left|{\begin{matrix}1&1\\0&2\end{matrix}}\right|\\&=-2\times (-2)+(-3)\times 6+(-7)\times 2\\&=-28\end{aligned}}}
Hasilnya sama dengan nilai determinan dari {\displaystyle AB={\begin{pmatrix}4&6\\6&2\end{pmatrix}}}, yakni {\displaystyle -28}.

Kasus istimewa
--------------

Jika {\displaystyle n<m}, maka {\textstyle {\binom {[n]}{m}}} adalah himpunan kosong, dan rumus tersebut mengatakan bahwa {\displaystyle \det(AB)=0} (karena ruas kanannya adalah sebuah jumlah kosong). Hal tersebut benar, karena pada kasus ini, rank dari matriks {\displaystyle AB} berukuran {\displaystyle m\!\times \!m} maksimum bernilai {\displaystyle n}, yang menyiratkan bahwa determinannya bernilai nol. Jika {\displaystyle n=m}, yakni kasus ketika {\displaystyle A} dan {\displaystyle B} adalah matriks persegi, maka {\textstyle {\binom {[n]}{m}}=\{[n]\}} (sebuah himpunan singleton). Jadi, penjumlahan di ruas kanan hanya melibatkan {\displaystyle S=[n]}, sehingga rumusnya menyatakan bahwa {\displaystyle \det(AB)=\det(A)\det(B)}.

Untuk kasus {\displaystyle m=0}, {\displaystyle A} dan {\displaystyle B} adalah matriks kosong (tetapi dengan bentuk yang berbeda jika {\displaystyle n>0}), begitu pula dengan hasil kalinya, {\displaystyle AB}. Dalam kasus ini, penjumlahan di ruas kanan hanya melibatkan sebuah suku {\displaystyle S=\varnothing }. Rumus tersebut menyatakan {\displaystyle 1=1}, karena determinan dari matriks {\displaystyle 0\!\times \!0} adalah {\displaystyle 1}. Untuk {\displaystyle m=1}, {\textstyle {\binom {[n]}{1}}} berisi {\displaystyle n} singleton yang berbeda dari {\displaystyle [n]}, sehingga kedua ruas dari rumus tersebut memiliki bentuk {\textstyle \sum \_{j=1}^{n}A\_{1,j}B\_{j,1}}; yakni darab skalar dari pasangan vektor pada matriks. Nilai {\displaystyle m} terkecil sehingga rumus Cauchy–Binet menghasilkan sebuah persamaan yang tidak sederhana adalah {\displaystyle m=2}; hal ini dibahas dalam artikel pada identitas Binet–Cauchy.

### Kasus *n* = 3

Berikut adalah bentuk dari rumus Cauchy–Binet untuk **{\displaystyle n=3}**. Misalkan {\displaystyle {\boldsymbol {a,b,c,d,x,y,z,w}}} adalah vektor tiga dimensi,

| Nilai {\displaystyle m} | Rumus Cauchy–Binet |
| --- | --- |
| {\displaystyle m=0} | {\displaystyle 1=1} |
| {\displaystyle m=1} | {\displaystyle {\boldsymbol {a}}\cdot {\boldsymbol {x}}=a\_{1}x\_{1}+a\_{2}x\_{2}+a\_{3}x\_{3}} |
| {\displaystyle m=2} | {\displaystyle {\begin{aligned}{\begin{vmatrix}{\boldsymbol {a}}\cdot {\boldsymbol {x}}&{\boldsymbol {a}}\cdot {\boldsymbol {y}}\\{\boldsymbol {b}}\cdot {\boldsymbol {x}}&{\boldsymbol {b}}\cdot {\boldsymbol {y}}\end{vmatrix}}&={\begin{vmatrix}a\_{2}&a\_{3}\\b\_{2}&b\_{3}\end{vmatrix}}{\begin{vmatrix}x\_{2}&y\_{2}\\x\_{3}&y\_{3}\end{vmatrix}}+{\begin{vmatrix}a\_{3}&a\_{1}\\b\_{3}&b\_{1}\end{vmatrix}}{\begin{vmatrix}x\_{3}&y\_{3}\\x\_{1}&y\_{1}\end{vmatrix}}+{\begin{vmatrix}a\_{1}&a\_{2}\\b\_{1}&b\_{2}\end{vmatrix}}{\begin{vmatrix}x\_{1}&y\_{1}\\x\_{2}&y\_{2}\end{vmatrix}}\\&=({\boldsymbol {a}}\times {\boldsymbol {b}})\cdot ({\boldsymbol {x}}\times {\boldsymbol {y}})\end{aligned}}} |
| {\displaystyle m=3} | {\displaystyle {\begin{aligned}{\begin{vmatrix}{\boldsymbol {a}}\cdot {\boldsymbol {x}}&{\boldsymbol {a}}\cdot {\boldsymbol {y}}&{\boldsymbol {a}}\cdot {\boldsymbol {z}}\\{\boldsymbol {b}}\cdot {\boldsymbol {x}}&{\boldsymbol {b}}\cdot {\boldsymbol {y}}&{\boldsymbol {b}}\cdot {\boldsymbol {z}}\\{\boldsymbol {c}}\cdot {\boldsymbol {x}}&{\boldsymbol {c}}\cdot {\boldsymbol {y}}&{\boldsymbol {c}}\cdot {\boldsymbol {z}}\end{vmatrix}}&={\begin{vmatrix}a\_{1}&a\_{2}&a\_{3}\\b\_{1}&b\_{2}&b\_{3}\\c\_{1}&c\_{2}&c\_{3}\end{vmatrix}}{\begin{vmatrix}x\_{1}&y\_{1}&z\_{1}\\x\_{2}&y\_{2}&z\_{2}\\x\_{3}&y\_{3}&z\_{3}\end{vmatrix}}\\&=[{\boldsymbol {a}}\cdot ({\boldsymbol {b}}\times {\boldsymbol {c}})][{\boldsymbol {x}}\cdot ({\boldsymbol {y}}\times {\boldsymbol {z}})]\end{aligned}}} |
| {\displaystyle m=4} | {\displaystyle {\begin{vmatrix}{\boldsymbol {a}}\cdot {\boldsymbol {x}}&{\boldsymbol {a}}\cdot {\boldsymbol {y}}&{\boldsymbol {a}}\cdot {\boldsymbol {z}}&{\boldsymbol {a}}\cdot {\boldsymbol {w}}\\{\boldsymbol {b}}\cdot {\boldsymbol {x}}&{\boldsymbol {b}}\cdot {\boldsymbol {y}}&{\boldsymbol {b}}\cdot {\boldsymbol {z}}&{\boldsymbol {b}}\cdot {\boldsymbol {w}}\\{\boldsymbol {c}}\cdot {\boldsymbol {x}}&{\boldsymbol {c}}\cdot {\boldsymbol {y}}&{\boldsymbol {c}}\cdot {\boldsymbol {z}}&{\boldsymbol {c}}\cdot {\boldsymbol {w}}\\{\boldsymbol {d}}\cdot {\boldsymbol {x}}&{\boldsymbol {d}}\cdot {\boldsymbol {y}}&{\boldsymbol {d}}\cdot {\boldsymbol {z}}&{\boldsymbol {d}}\cdot {\boldsymbol {w}}\end{vmatrix}}=0} |

Dalam kasus {\displaystyle m>3}, ruas kanan selalu sama dengan 0.

Bukti sederhana
---------------

Bukti sederhana berikut bergantung pada dua fakta yang dapat dibuktikan dalam cara-cara yang berbeda:

1. Untuk setiap {\displaystyle 1\leq k\leq n}, koefisien dari {\displaystyle z^{n-k}} dalam polinomial {\displaystyle \det(zI\_{n}+X)} adalah jumlah dari minor utama berukuran {\displaystyle k\!\times \!k} dari {\displaystyle X}.
2. Jika {\displaystyle m\leq n} dan {\displaystyle A} adalah sebuah matriks {\displaystyle m\!\times \!n} dan {\displaystyle B} adalah sebuah matriks {\displaystyle n\!\times \!m}, maka {\displaystyle \det(zI\_{n}+BA)=z^{n-m}\det(zI\_{m}+AB)}

Sekarang, dengan membandingkan koefisien {\displaystyle z^{n-m}} dalam persamaan {\displaystyle \det(zI\_{n}+BA)=z^{n-m}\det(zI\_{m}+AB)}, ruas kiri akan memberikan jumlah dari minor utama {\displaystyle BA}, sedangkan ruas kanan akan memberikan suku tetap dari {\displaystyle \det(zI\_{m}+AB)}. Suku tetap ini tidak lain adalah {\displaystyle \det(AB)}, yang rumus Cauchy–Binet nyatakan; dengan kata lain:



det
(
A
B
)
=

∑

S
∈

(

[
n
]

m

)



det
(
(
B
A

)

S
,
S

)
=

∑

S
∈

(

[
n
]

m

)



det
(

B

S
,
[
m
]

)
det
(

A

[
m
]
,
S

)
=

∑

S
∈

(

[
n
]

m

)



det
(

A

[
m
]
,
S

)
det
(

B

S
,
[
m
]

)
.

{\displaystyle \det(AB)=\sum \_{S\in {\tbinom {[n]}{m}}}\det((BA)\_{S,S})=\sum \_{S\in {\tbinom {[n]}{m}}}\det(B\_{S,[m]})\det(A\_{[m],S})=\sum \_{S\in {\tbinom {[n]}{m}}}\det(A\_{[m],S})\det(B\_{S,[m]}).}

{\displaystyle \det(AB)=\sum _{S\in {\tbinom {[n]}{m}}}\det((BA)_{S,S})=\sum _{S\in {\tbinom {[n]}{m}}}\det(B_{S,[m]})\det(A_{[m],S})=\sum _{S\in {\tbinom {[n]}{m}}}\det(A_{[m],S})\det(B_{S,[m]}).}

Bukti
-----

Terdapat beragam jenis bukti yang dapat diberikan untuk rumus Cauchy–Binet. Bukti berikut didasarkan hanya pada manipulasi formal, dan menghindari dengan menggunakan pandangan khusus dari determinan, selain yang didefinisikan oleh rumus Leibniz. Bukti ini hanya menggunakan sifat multilinearitas pada baris dan kolom, dan sifat *alternating* mereka (bernilai nol jika ada baris atau kolom yang sama). Sifat perkalian determinan untuk matriks persegi tidak digunakan, tetapi dianggap sudah dibuktikan (untuk kasus {\displaystyle n=m}). Bukti ini sah untuk sebarang gelanggang koefisien komutatif.

Rumus Cauchy–Binet dapat dibuktikan dalam dua langkah:

1. Menggunakan fakta bahwa kedua ruas adalah multilinear (lebih tepatnya linear {\displaystyle 2m}) dalam *baris* {\displaystyle A} dan *kolom* {\displaystyle B}, untuk mengurangi kasus tersebut bahwa setiap baris {\displaystyle A} dan setiap kolom {\displaystyle B} hanya memiliki satu entri tak nol, yaitu 1; dan
2. Menangani kasus dengan menggunakan fungsi {\displaystyle [m]\to [n]} dengan jumlah baris dari {\displaystyle A} dipetakan ke jumlah kolom dari entri yang tak nol, dan jumlah kolom dari {\displaystyle B} dipetakan ke jumlah baris dari entri yang tak nol.

Pada langkah pertama, amati bahwa untuk setiap baris {\displaystyle A} atau kolom {\displaystyle B}, dan untuk setiap kombinasi-{\displaystyle m} dari {\displaystyle S}, nilai {\textstyle \det(AB)} dan {\textstyle \det(A\_{[m],S})\det(B\_{S,[m]})} memang tergantung secara linear pada baris atau kolom. Akan tetapi, untuk langkah terakhir dihasilkan langsung dari sifat multinlinear dari determinan. Untuk langkah sebelumnya harus diperiksa, bahwa mengambil kombinasi linear untuk baris {\displaystyle A} atau kolom {\displaystyle B} tetapi meninggalkan sisa yang tidak berubah, hanya akan mempengaruhi baris dan kolom yang sesuai dari hasil kali {\displaystyle AB}, dan dengan kombinasi linear yang sama. Dengan demikian, seseorang dapat mengerjakan pada kedua ruas dari rumus Cauchy–Binet dengan linearitas untuk setiap baris {\displaystyle A} atau kolom {\displaystyle B}, dan kemudian masing-masing baris dan kolom ditulis sebagai kombinasi linear vektor basis standar. Penjumlahan rangkap tersebut memberikan hasil yang amat besar, tetapi mereka memiliki bentuk yang sama untuk kedua ruas: bentuk korespondensi melibatkan faktor skalar yang sama (masing-masing merupakan hasil kali entri dari {\displaystyle A} dan {\displaystyle B}), dan bentuk-bentuk tersebut hanya dibedakan dengan melibatkan dua ekspresi lain dalam matriks konstan yang dijelaskan sebelumnya, dengan ekspresi tersebut harus sama menurut rumus Cauchy–Binet. Langkah ini memperoleh pengurangan langkah pertama

Secara konkret, banyak penjumlahan dapat dikelompokkan menjadi dua penjumlahan. Salah satu dari dua penjumlahan atas semua fungsi {\displaystyle f:[m]\to [n]} dengan masing-masing indeks baris {\displaystyle A} memberikan indeks kolom yang sesuai, dan salah satunya lagi atas semua fungsi {\displaystyle g:[m]\to [n]} dengan masing-masing indeks kolom {\displaystyle B} memberikan indeks baris yang sesuai. Matriks yang terkait dengan {\displaystyle f} dan {\displaystyle g} ditulis sebagai



L

f

=

(

(

δ

f
(
i
)
,
j

)

i
∈
[
m
]
,
j
∈
[
n
]

)

dan

R

g

=

(

(

δ

j
,
g
(
k
)

)

j
∈
[
n
]
,
k
∈
[
m
]

)

{\displaystyle L\_{f}={\bigl (}(\delta \_{f(i),j})\_{i\in [m],j\in [n]}{\bigr )}\quad {\text{dan}}\quad R\_{g}={\bigl (}(\delta \_{j,g(k)})\_{j\in [n],k\in [m]}{\bigr )}}

{\displaystyle L_{f}={\bigl (}(\delta _{f(i),j})_{i\in [m],j\in [n]}{\bigr )}\quad {\text{dan}}\quad R_{g}={\bigl (}(\delta _{j,g(k)})_{j\in [n],k\in [m]}{\bigr )}}dengan "{\displaystyle \delta }" menyatakan delta Kronecker. Bukti rumus Cauchy–Binet di atas telah ditulis ulang sebagai



∑

f
:
[
m
]
→
[
n
]

∑

g
:
[
m
]
→
[
n
]

p
(
f
,
g
)
det
(

L

f

R

g

)
=

∑

f
:
[
m
]
→
[
n
]

∑

g
:
[
m
]
→
[
n
]

p
(
f
,
g
)

∑

S
∈

(

[
n
]

m

)



det
(
(

L

f

)

[
m
]
,
S

)
det
(
(

R

g

)

S
,
[
m
]

)

{\displaystyle \sum \_{f:[m]\to [n]}\sum \_{g:[m]\to [n]}p(f,g)\det(L\_{f}R\_{g})=\sum \_{f:[m]\to [n]}\sum \_{g:[m]\to [n]}p(f,g)\sum \_{S\in {\tbinom {[n]}{m}}}\det((L\_{f})\_{[m],S})\det((R\_{g})\_{S,[m]})}

{\displaystyle \sum _{f:[m]\to [n]}\sum _{g:[m]\to [n]}p(f,g)\det(L_{f}R_{g})=\sum _{f:[m]\to [n]}\sum _{g:[m]\to [n]}p(f,g)\sum _{S\in {\tbinom {[n]}{m}}}\det((L_{f})_{[m],S})\det((R_{g})_{S,[m]})}dengan {\displaystyle p(f,g)} menyatakan faktor skalar {\textstyle (\prod \_{i=1}^{m}A\_{i,f(i)})(\prod \_{k=1}^{m}B\_{g(k),k})}. Akan tetapi, rumus Cauchy–Binet masih diperlukan bukti untuk {\displaystyle A=L\_{f}} dan {\displaystyle B=R\_{g}}, untuk semua {\displaystyle f,g:[m]\to [n]}.

Pada langkah kedua, jika {\displaystyle f} gagal injektif, maka {\displaystyle L\_{f}} dan {\displaystyle L\_{f}R\_{g}} akan memiliki dua baris identik, dan jika {\displaystyle g} gagal injektif, maka {\displaystyle R\_{g}} dan {\displaystyle L\_{f}R\_{g}} akan memiliki dua kolom identik. Pada kasus tersebut, kedua ruas dari identitas akan bernilai nol. Sekarang, ketika memisalkan bahwa {\displaystyle f} dan {\displaystyle g} injekif yang memetakan {\displaystyle [m]\to [n]}, maka faktor {\displaystyle \det((L\_{f})\_{[m],S})} pada ruas kanan akan bernilai nol, kecuali {\displaystyle S=f([m])}, sedangkan faktor {\displaystyle \det((R\_{g})\_{S,[m]})} akan bernilai nol, kecuali {\displaystyle S=g([m])}. Jika bayangan {\displaystyle f} dan {\displaystyle g} berbeda, maka ruas kanan hanya akan memiliki bentuk *null*, dan ruas kiri akan bernilai nol juga. Hal ini dikarenakan {\displaystyle L\_{f}R\_{g}} memiliki baris *null* (untuk {\displaystyle i} dengan {\displaystyle f(i)\notin g([m])}). Dalam kasus untuk bayangan {\displaystyle f} dan {\displaystyle g} sama, katakan {\displaystyle f([m])=S=g([m])}, harus dibuktikan bahwa


det
(

L

f

R

g

)
=
det
(
(

L

f

)

[
m
]
,
S

)
det
(
(

R

g

)

S
,
[
m
]

)
.

{\displaystyle \det(L\_{f}R\_{g})=\det((L\_{f})\_{[m],S})\det((R\_{g})\_{S,[m]}).}

{\displaystyle \det(L_{f}R_{g})=\det((L_{f})_{[m],S})\det((R_{g})_{S,[m]}).}Misalkan {\displaystyle h} menyatakan satu buah fungsi yang bijeksi menaik {\displaystyle [m]\to S}, dan misalkan pula {\displaystyle \pi ,\sigma } adalah permutasi {\displaystyle [m]} sehingga {\displaystyle f=h\circ \pi ^{-1}} dan {\displaystyle g=h\circ \sigma }. Maka {\displaystyle (L\_{f})\_{[m],S}} adalah matriks permutasi untuk \pi , {\displaystyle (R\_{g})\_{S,[m]}} adalah matriks permutasi untuk {\displaystyle \sigma }, dan {\displaystyle L\_{f}R\_{g}} adalah matriks permutasi untuk {\displaystyle \pi \circ \sigma }, dan karena determinan dari suatu matriks permutasi sama dengan *signature* dari permutasi, maka identitas tersebut dapat disimpulkan bahwa *signature* bersifat multiplikatif (perkalian).

Menggunakan multi-linearitas terhadap baris {\displaystyle A} dan kolom {\displaystyle B} dalam sebuah bukti tidak diperlukan. Seseorang cukup dapat menggunakan salah satu langkah tadi, katakan langkah sebelumnya, dan menggunakan hasil kali matriks {\displaystyle L\_{f}B} yang terdiri dari sebuah permutasi dari baris {\displaystyle B\_{f([m]),[m]}} (jika {\displaystyle f} injektif), atau memiliki setidaknya dua baris yang sama.

Kaitannya dengan delta Kronecker yang diperumum
-----------------------------------------------

Seperti yang dilihat sebelumnya, rumus Cauchy–Binet ekuivalen dengan rumus:


det
(

L

f

R

g

)
=

∑

S
∈

(

[
n
]

m

)



det
(
(

L

f

)

[
m
]
,
S

)
det
(
(

R

g

)

S
,
[
m
]

)

{\displaystyle \det(L\_{f}R\_{g})=\sum \_{S\in {\tbinom {[n]}{m}}}\det((L\_{f})\_{[m],S})\det((R\_{g})\_{S,[m]})}

{\displaystyle \det(L_{f}R_{g})=\sum _{S\in {\tbinom {[n]}{m}}}\det((L_{f})_{[m],S})\det((R_{g})_{S,[m]})}dengan {\textstyle L\_{f}={\bigl (}(\delta \_{f(i),j})\_{i\in [m],j\in [n]}} dan {\textstyle R\_{g}={\bigl (}(\delta \_{j,g(k)})\_{j\in [n],k\in [m]}{\bigr )}}. Ketika ditulis dalam bentuk delta Kronecker yang diperumum, rumus tersebut dapat diturunkan sehingga ekuivalen dengan rumus Cauchy–Binet:



δ

g
(
1
)
…
g
(
m
)

f
(
1
)
…
f
(
m
)

=

∑

k
:
[
m
]
→
[
n
]

k
(
1
)
<
⋯
<
k
(
m
)


δ

k
(
1
)
…
k
(
m
)

f
(
1
)
…
f
(
m
)

δ

g
(
1
)
…
g
(
m
)

k
(
1
)
…
k
(
m
)

.

{\displaystyle \delta \_{g(1)\dots g(m)}^{f(1)\dots f(m)}=\sum \_{k:[m]\to [n] \atop k(1)<\dots <k(m)}\delta \_{k(1)\dots k(m)}^{f(1)\dots f(m)}\delta \_{g(1)\dots g(m)}^{k(1)\dots k(m)}.}

{\displaystyle \delta _{g(1)\dots g(m)}^{f(1)\dots f(m)}=\sum _{k:[m]\to [n] \atop k(1)<\dots <k(m)}\delta _{k(1)\dots k(m)}^{f(1)\dots f(m)}\delta _{g(1)\dots g(m)}^{k(1)\dots k(m)}.}

Dalam pandangan geometrik
-------------------------

Jika {\displaystyle A} adalah sebuah matriks {\displaystyle m\!\times \!n} real, maka {\displaystyle \det(AA^{\mathbf {T} })} sama dengan kuadrat dari volume dimensi-{\displaystyle m} dari balok jajar genjang yang rentang di {\displaystyle \mathbb {R} ^{n}} oleh baris {\displaystyle m} dari {\displaystyle A}. Rumus Binet menyatakan bahwa determinannya sama dengan jumlah kuadrat dari volume yang muncul jika balok jajar genjang yang diproyeksikan secara ortogonal ke bidang koordinat dimensi-{\displaystyle m} (yang terdapat {\textstyle {\binom {n}{m}}}).

Dalam kasus {\displaystyle m=1}, paralelotop direduksi menjadi sebuah vektor tunggal, serta volumenya sama dengan panjangnya. Pernyataan sebelumnya mengatakan bahwa kuadrat dari panjang sebuah vektor adalah jumlah dari koordinatnya yang dikuadratkan. Pernyataan tersebut merupakan kasus berdasarkan definisi dari panjang tersebut, yang didasari pada teorema Pythagoras.

Perumuman
---------

Rumus Cauchy–Binet dapat diperluas dalam sebuah cara yang mudah ke sebuah rumus yang umum untuk minor dari hasil kali dua matriks. Konteks untuk rumus diberikan dalam artikel tentang minor, tetapi ada gagasan yang mengatakan bahwa kedua rumus tersebut untuk perkalian matriks biasa dan rumus Cauchy–Binet untuk determinan dari hasil kali dua matriks merupakan kasus istimewa dari pernyataan umum berikut tentang minor dari sebuah hasi kali dua matriks. Dengan memisalkan {\displaystyle \mathbf {A} } adalah sebuah matriks {\displaystyle m\!\times \!n}, {\displaystyle \mathbf {B} } adalah sebuah matriks {\displaystyle n\!\times \!p}, {\displaystyle I} adalah himpunan bagian {\displaystyle \{1,\dots ,m\}} dengan {\displaystyle k} anggota dan {\displaystyle J} adalah himpunan bagian {\displaystyle \{1,\dots ,p\}} dengan {\displaystyle k} anggota. Maka

{\displaystyle [\mathbf {AB} ]\_{I,J}=\sum \_{K}[\mathbf {A} ]\_{I,K}[\mathbf {B} ]\_{K,J}}
dengan jumlah tersebut memperluas semua himpunan bagian {\displaystyle K} dari {\displaystyle \{1,\dots ,n\}} dengan

Versi kontinu
-------------

Terdapat sebuah versi kontinu dari rumus Cauchy–Binet, atau dikenal sebagai **identitas Andréief–Heine** atau **identitas Andréief**. Secara umum, rumus versi kontinu ini ditemukan dalam teori matriks acak. Rumus ini mengatakan sebagai berikut: misal {\displaystyle \{f\_{j}(x)\}\_{j=0}^{N-1}} dan {\displaystyle \{g\_{j}(x)\}\_{j=0}^{N-1}} adalah dua barisan fungsi terintegralkan, yang terdukung di {\displaystyle I}. Maka

{\displaystyle \int \_{I}\cdots \int \_{I}\det \left[f\_{j-1}(x\_{k})\right]\_{j,k=1}^{N}\det \left[g\_{j-1}(x\_{k})\right]\_{j,k=1}^{N}dx\_{1}\cdots dx\_{n}=\det \left[\int \_{I}f\_{j}(x)g\_{k}(x)dx\right]\_{j,k=0}^{N-1}}
Forrester menjelaskan cara mengembalikan ke rumus Cauchy–Binet biasa sebagai diskretisasi dari identitas di atas.

Referensi
---------

1. ↑  Tao, Terence. *Topics in random matrix theory* (PDF). Los Angeles: Department of Mathematics, UCLA. hlm. 253.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)
2. ↑  Mehta, M.L. (2004). *Random Matrices* (edisi ke-3rd). Amsterdam: Elsevier/Academic Press. ISBN 0-12-088409-7.
3. ↑  Forrester, Peter J. (2018). "Meet Andréief, Bordeaux 1886, and Andreev, Kharkov 1882–83" (PDF). *arXiv.org*. arXiv.org. Diakses tanggal 2020-08-19.

* Joel G. Broida & S. Gill Williamson (1989) *A Comprehensive Introduction to Linear Algebra,* §4.6 Cauchy-Binet theorem, pp 208–14, Addison-Wesley ISBN 0-201-50065-5.
* Jin Ho Kwak & Sungpyo Hong (2004) *Linear Algebra* 2nd edition, Example 2.15 Binet-Cauchy formula, pp 66,7, Birkhäuser ISBN 0-8176-4294-3.
* I. R. Shafarevich & A. O. Remizov (2012) *Linear Algebra and Geometry*, §2.9 (hal. 68) & §10.5 (hal. 377), Springer ISBN 978-3-642-30993-9.
* M.L. Mehta (2004) *Random matrices*, 3erd ed. Elsevier ISBN 9780120884094

Pranala luar
------------

* Aaron Lauve (2004) A short combinatoric proof of Cauchy–Binet formula Diarsipkan 2019-03-04 di Wayback Machine. from Université du Québec à Montréal.
* Peter J. Forrester (2018) Meet Andréief, Bordeaux 1886, and Andreev, Kharkov 1882–83