ヒルベルトの第１７問題
実係数を持つ非負定値有理関数を実係数多項式の平方和と商の形に表示すること
（Ｅ．Ａｒｔｉｎが１９２７年に解決を発表）
の解説と証明は、永田「可換体論」を参照のこと。