On solving indefinite symmetric linear systems by means of the Lanczos method

A new result on the distribution of Ritz values at two consecutive steps of a simple Lanczos process is proved. It is used in showing why the Lanczos method effectively solves indefinite symmetric linear systems in computer arithmetic. The result of a numerical experiment is presented.