他给出的那个方程,就是这一类方程中比较具备代表性的一个。
这里需要给大家解释一个数学方面的小知识。
数学中证明某类甚至某个方程有整数解跟直接求出数值解并不是一回事。
前者是使用数学推理跟证明技巧,透过对方程结构的分析以及数学归纳法的使用,确认该类方程有且至少有一个整数解。
求解则是透过具体的计算步骤,比如运用合并同类项丶移项丶因式分解等等方程求解技巧,计算出方程具体的数值解。
换句话说,虽然薛松已经确定了这个方程具备整数解,但其数值解是多少,
他其实也不知道。唯一能确定的是,这个数值非常巨大!
事实上,丢番图方程在数论领域本就是一个未解的难题。
比如费马猜想就是最着名的丢番图方程之一,当然被证明之后就成了费马大定理。
1900年在法国巴黎举办的第二届世界数学家大会上,着名数学家希尔伯特在做开场报告时,曾提出了着名的一百个问题,其中第十个就是关于丢番图方程的原文是:是否存在一个通用的演算法,能够决定任意给定的丢番图方程是否存在整数解。
1970年,针对这第十问,前苏国数学家尤里·马季亚舍维证明了并不存在这样一个通用演算法,给了希尔伯特第十个问题一个很确定的否定答案。
但这并不代表着丢番图问题就没有研究价值了。
事实上这个否定的结论恰好证明了,丢番图方程在某些情况下具有极大的复杂性,甚至可以说,它超越了传统演算法可以解决的范畴,在计算理论中具备着根本性的重要作用。
所以丢番图方程依然被视为数论中的世界性难题之一,尤其是在更高维数和更复杂的情况下。
现在竟然有人徒手直接把这个方程解求出来了?
还是个刚申请加入论坛的菜鸟?
薛松只觉得脑子都是嗡嗡的。
华夏数学圈子就那麽大,研究数论的就更少了。
所以代数数论小树屋其实就是一个特别小众的论坛,宣传全靠口口相传,也没有任何盈利需求,就是一个国内研究代数与数论教授跟研究生们日常讨论的聚集地。
一般人本就不太可能闯进来,哪怕不小心点进来,想要注册,面对从题库中随机挑选的五十道选择题,也只能抓瞎。
要知道论坛的题库可是极为丰富的,
因为从数学老鸟开始,每次升级都需要升级者给论坛考核题库提供两道选择题,经过论坛几位版主至少三人稽核透过之后,被纳入题库。
监于每个人的性格不同,有些教授还真就喜欢为难人,所以这麽多年积攒下来,题库里可以说什麽乱七八糟的屌题都有。
这麽说吧,前段时间他推荐自己一个新收的硕博连读研究生加入论坛,都花费了两天时间,刷了五轮题才顺利通过考核拿到九十二分。
当然这也不能完全说他这个学生能力不行,毕竟几次能成功不止要看实力,
还得看运气。有些恶趣味的题目专门就为了挖坑而存在的选择题,他一不小心都会被误导,选到错误的答案。
所以只要能成功注册,哪怕顶着一个菜鸟的头衔,起码也已经数论入门了。
但菜鸟头衔的问题在于,薛松根本不知道对方是谁!
是的,这个论坛里,但凡顶着数学怪咖以上头衔的家伙,薛松不说现实中全部认识,起码也认识百分之七丶八十。无非是其中一些现实中关系并不算太好,
现实生活中没什麽交集。
哪怕有些不认识的,只要随便在圈内打听一圈,也能找到正主儿。
但刚申