Short proofs of theorems of mirsky and horn on diagonals and eigenvalues of matrices

Abstract

A theorem of Mirsky provides necessary and sufficient conditions for the existence of an N-square complex matrix with prescribed diagonal entries and prescribed eigenvalues. A simple inductive proof of this theorem is given.