恩菲斯特定理

恩菲斯特定理（Pfister theorem）是對希爾伯特第17問題的定量解答。該定理斷言，在實閉域F上，n元半正定多項式都可以表示為F上至多兩個有理函式的平方和。這一結果是對希爾伯特於1893年證明的任何二元實係數半正定多項式都可以表示成四個實係數有理函式的平方和的定理的推廣。恩菲斯特（Pfister）在1967年證明了這一結果。