Derivation of a matrix identity
H. Henami · IEEE Transactions on Automatic Control · 1969
In problems of linear digital filtering and recursive estimation, a matrix identity (1) is often met. Here this matrix identity is derived by use of matrix projection operator's and their properties. This deviation is novel, straightforward, and of tutorial value.