Explicit polar decomposition of companion matrices

Abstract

An explicit formula for the polar decomposition of an n * n nonsingular companion matrix is derived. The proof involves the largest and smallest singular values of the companion matrix.