For nonzero vectors with angle , and . Hence gives Lagrange's identityIf either vector is zero both sides vanish, so this covers every case. Alternatively, expansion of the three cross product components gives the same identity without introducing an angle.
For the quadratic form of a squared cross product, express the two scalar terms as quadratic forms in :Then . In particular, for ,The cancellation is structural: , while its action on every vector perpendicular to a nonzero is multiplication by . Its eigenvalues are therefore ; for the whole matrix is zero.
Articles by others on the same topic
There are currently no matching articles.