Classroom note: An extension of Lagrange's identity to matrices

Abstract

In this note the well-known Lagrange identity is extended to matrices. The resulting generalized Lagrange identity is used to give characterizations of symmetry, commutativity of projectors and normality.

Acknowledgments

The author would like to thank the referee for helpful comments.