飞行器内，韩元坐在桌前写写画画着，手中的笔白色的稿纸上描绘出一个又一个的数学符号。

希尔伯特二十三问中的第十七问的论证在他手中如流水一般，没有丝毫的阻碍就直接写出来了。

“.......”

“为添加α于f所得的单扩域，且f(α)={f(α)/(ga)ig(a)≠o，f(α)，g(α)均为f上α的多项式}.....”

“若α?，...，αr∈e，e的添加α?，...，αr，于f的最小子域记为f(α?，...，αr)=f(α?）...f（αr）。

“.......”

一个多小时后，韩元放下了手中的笔，看着已经写满了各种数学符符合和推论的稿子，他都有些忍不住咽了下口水。

虽然能如此顺畅的将推论过程写出来离不开他事先就已经知道了希尔伯特问题中的第十七问有解并已证明有关，但韩元依旧觉得有些不可思议，这个速度太快了，一个多小时就能搞定一个数学难题，简直不可思议。

不过转念，韩元很快明白了为什么自己能如此迅速的且不间断的将论证过程写出来了。

希尔伯特二十三问中的第十七问是描述群和域的关系的问题，而无论是群论还是域论，他都深入的学习过。

不仅如此，他还学习过无限域、有限域、伽罗瓦域等等这些东西的，更知道如何进行扩域。

虽然没有看过希尔伯特第十七问的论证文稿，但学会这些东西后，再反向就行研究希尔伯特第十七问，毫无疑问是降维打击。

这就好比你上完大学后，利用大学所学的知识去解高中的题目一样。

想明白是怎么回事后，韩元顿时就苦笑了起来，摇了摇头。

一开始他还以为自己真的在数学上有天赋呢，没想到只是降维打击而已。

不过用这种方式进行论证，恐怕和现实中的数学家论证希尔伯特第十七问的过程有些不同。

想了想，韩元从数学知识信息中翻找到希尔伯特第十七问的论证稿。

这是埃米尔·阿廷在1937年发表的稿件。

翻阅了一下后，韩元抿了抿嘴，果然，他通过已经论证完成的群论和域论来进行证明希尔伯特第十七问和数学家埃米尔·阿廷使用的方法差别很大。

虽然他使用方法更加简洁，但在某一部分的证明过程中，群论和域论中已经被证明了定理在其中起到了很关键