完了，

最后一章是希尔伯特第17问的一些东西，

希尔伯特第17问题的问题是，是否每个半正定有理系数的有理函数都能表为有限个有理函数的平方和?

eiarin对这个问题在1927年给出了肯定的答复。

抽代的最后一章的目的是要证明arin的这个结果。

看到这章，周易不禁想到了当初抽奖抽到的那个第十八问证明，到现在都还没吃透。

主要是还没时间研究