Product of Orthogonal Matrices

Theorem: Product of Orthogonal Matrices

The Matrix Product of two orthogonal matrices is also an Orthogonal Matrix.

PROOF

$$(AB{)}^{\mathsf{T}}(AB)=B^{\mathsf{T}}{A}^{\mathsf{T}}AB=B^{\mathsf{T}}B=I_n$$