Epistemology
Introduction E9F5FC Questions FFFFC0 Software |
Prove and interpret the matrix form of Lagrange's identity Lagrange identity {$det(F^T F) = ∑_{|P |=m} det^2(F_P)$} which holds for all n × m matrices, where the sum to the right is over all m × m sub-matrices P of F, a formula which in calculus becomes for vectors {$|\vec{v}|^2|\vec{w}|^2 − (\vec{v}·\vec{w})2 = |\vec{v} ∧ \vec{w}|^2$}.
|