On the eigenvalue-separation properties of real tridiagonal matrices

In this paper, we give a simple sufficient condition for the eigenvalue-separation properties of real tridiagonal matrices T. This result is much more than the statement that the pertinent eigenvalues are distinct. Its derivation is based on recurrence formulae satisfied by the polynomials made up by the minors of the characteristic polynomial det(xE - T) that are proven to form a Sturm sequence. This is a new result, and it proves the simple spectrum property of a symmetric tridiagonal matrix studied in a Grünbaum paper. Two numerical examples underpin the theoretical findings. The style of the paper is expository in order to address a large readership.