11.3 Sylvester の慣性律の証明

それでは Sylvester の慣性律を証明しよう。 前項で 3 つのバージョンの同値性は分かっているので、 どれか一つだけ証明すれば十分であるが、 独立に証明することを目指す。

まず定理11.1 を証明しよう。