Hilbert’s 17th Problem 6: History
既然奇次多项式会变号, 那么设 \(d\) 次多项式 \(p\in \Bbb R[x_1, x_2,\dotsc, x_n]\) 非负, 则 \(d\) 为偶数. 我们以后只要关注偶次多项式就行了.
Hilbert’s 17th Problem 6: History Read MorePower, Simplicity and Beauty
既然奇次多项式会变号, 那么设 \(d\) 次多项式 \(p\in \Bbb R[x_1, x_2,\dotsc, x_n]\) 非负, 则 \(d\) 为偶数. 我们以后只要关注偶次多项式就行了.
Hilbert’s 17th Problem 6: History Read More齐次多项式(Homogeneous polynomial)在数学中有其特殊的重要性. 在代数几何, Homogeneous polynomial 尤其受到偏爱. 实数域上的的 \(n\) 元多项式环, 以 \(\Bbb R[x_1, x_2,\dotsc, x_n]\) 表之. Hilbert 限制在齐次多项式. 定义 5.1 设 \(p\in \Bbb R[x_1, x_2,\dotsc, x_n]\), 其次数 \(\leqslant d\). 把 \(n+1\) 元 …
Hilbert’s 17th Problem 5: Homogeneous polynomial Read More1971 IMO P1 Prove that the following assertion is true for \(n = 3\) and \(n = 5\), and that it is false for every other natural number \(n\gt2\): If …
Hilbert’s 17th Problem 4: The Anneli Lax-Peter Lax form Read MoreM.D. Choi, T.-Y. Lam 1977 年举了一个例子: The Choi-Lam polynomial \(Q(x, y, z, w) =x^2y^2+y^2z^2+z^2x^2+w^4-4xyzw\) 不能写成多项式的平方和. 与 The Motzkin polynomial 一样, Choi-Lam 多项式也会在以后的证明成为关键角色. 后面的定理 5.2 说明 \(x^2y^2+y^2z^2+z^2x^2+w^4-4xyzw\) 不能写成多项式的平方和实际就是下面定理的后半部分: 定理 3.1 Choi-Lam …
Hilbert’s 17th Problem 3: The Choi-Lam polynomial Read MoreT. Motzkin 1967 年举了一个例子: The Motzkin polynomial \(M(x, y, z)=x^4y^2+x^2y^4+z^6-3x^2y^2z^2\) 不能写成多项式的平方和. 后面的定理 5.2 说明这事与定理 2.1 的第二部分是等价的. Theorem 2.1 Motzkin 多项式 \begin{equation} M(x, y) =x^4y^2+x^2y^4-3x^2y^2+1,\end{equation} 那么 \(M(x, y)\geqslant0\) 对任意实数 \(x\), \(y\) …
Hilbert’s 17th Problem 2: The Motzkin polynomial Read More设 \(p\) 是实系数的 \(n\) 元多项式, \(S\) 是 \(n\) 维 Euclidean space \(\Bbb R^n\) 的子集. 我们说 \(p\) 在 \(S\) 上是非负的(non-negative), 如果对于任意的 \(x\in S\), 有 \(p(x)\geqslant0\). 我们下面关注的重点是 \(\Bbb R^n\) 上的非负(non-negative)多项式, 即对于任意的 \(x\in \Bbb R^n\), …
Hilbert’s 17th Problem 1: Non-negative polynomials on \(\Bbb R\) Read More这里将在有理数域 \(\Bbb Q\) 中来考察 Fermat 的平方和, 慢慢走向椭圆曲线(elliptic curve). 首先指出, \(n\in\Bbb N\) 是否两个有理数的平方和, 与其是否两个整数的平方和, 是一码事. 定理 设 \(n\in\Bbb N\), 则下面两件事情等价: 存在 \(x,y\in\Bbb Q,\) 使得 \(n=x^2+y^2\); 存在 \(x,y\in\Bbb N,\) 使得 \(n=x^2+y^2\). 只要说明 \(1\Rightarrow2\) …
Hilbert symbol and Fermat’s theorem on sums of two squares Read More