〔第17問題の多項式版〕
ｆは実係数、n変数、d次斉次の多項式（n≧2、d≧2）でかつ半正値とする。
ｆが次のいずれかである場合は、ｆは何個かの多項式の2乗の和として表わせる。(Hilbert)
・2変数
・2次式
・3変数かつ4次式
ここで半正値とは、
任意の実数x1,x2,……,xnに対して、ｆ(x1,x2,……,xn)≧0.

>>251-256