第四百三十八章：数学基础任务完成

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

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

“.......”

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

“若α₁，...，αr∈E，E的添加α₁，...，αr，于F的最小子域记为F(α₁，...，αr)=F(α₁）...F（αr）。

“.......”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.......

从思绪中回过神来，韩元收起希尔伯特第十七问的论证纸稿，正准备继续推进希尔伯特二十三问，突然想起来了一件事。

“糟了，今天的直播忘了开启的。”

韩元拍了一下脑袋，看了眼手腕上通讯器的时间，已经早上九点半了。

呼唤了一下系统，直播开启，半透明的拍摄圆球悬浮在眼前。

收到订阅信息的观众涌入直播间中，对着他就是一顿吐槽。

冶炼核武的重要时期，居然晚了。

韩元看了眼弹幕，道：“核武器的制备还要一段时间，也不是那么快的，现在才刚刚开始提取铀矿中的铀而已”

“昨天我才将溶侵液灌入地底，让它们和铀矿石反应，带出铀矿里面铀元素，这一过程大概需要两天的时间。”

“两天后，我才会将铀水抽出来冶炼，这个过程急也没办法。”

闻言，直播间里面顿时一片哀嚎。

摇了摇头，韩元将注意力放回了希尔伯特二十三问上面。

第一个问题的解决，虽然走了捷径，但也让他看到了自己的数学水平，至少看到了一部分。

很明显，希尔伯特二十三问中的部分容易一些的问题拦不住他的脚步。

虽然这些问题已经被前人解决，让他知道有解，也有和问题相关的一些定