Binet-Cauchy Identity

Theorem

 * $\ds \paren {\sum_{i \mathop = 1}^n a_i c_i} \paren {\sum_{j \mathop = 1}^n b_j d_j} = \paren {\sum_{i \mathop = 1}^n a_i d_i} \paren {\sum_{j \mathop = 1}^n b_j c_j} + \sum_{1 \mathop \le i \mathop < j \mathop \le n} \paren {a_i b_j - a_j b_i} \paren {c_i d_j - c_j d_i}$

where all of the $a, b, c, d$ are elements of a commutative ring.

Thus the identity holds for $\Z, \Q, \R, \C$.

Also known as
The Binet-Cauchy Identity is also known as Binet's formula.