第四百四十五章 九个方向[第1页/共3页]
还不是因为找不到更加简朴的证明体例。
“有水吗,有点口渴了。”在两人还是思考之际,程诺哑着嗓子问道。
现在半小时的时候差未几已经畴昔一半,不抓紧的时候的话,还真的有能够讲不完。
程诺咕咚咕咚喝了半瓶,等嗓子里那种不适感畴昔,道,“之前说到哪了,哦,我讲完第三个证明法了,上面说第四个。”
但三个证明法全数都分歧于欧里几得那种整数乘起来再做点加减法的证明,而是另辟门路,别离操纵“互素序列”、“素数漫衍”、“代数数论”三个完整分歧的方向停止拓展。
他们还能说啥!
“呼呼-!”
说完,程诺便接着上面开端讲。
这家伙……真的只是一个研讨生?
可听程诺的语气,他仿佛还挺不对劲。
要这三个证明法都仅仅是欧里几得证明法的变种的话,两位顶多会以为程诺对欧里几得证明法研讨颇深罢了,倒升不起任何崇拜之意。
程诺座下两位博士生仿佛乖宝宝般齐齐点头,一副门生谦虚受教的姿势。
“……第九个,我将其称为素数的单行证明,单行表达式为:0<∏sin(π/p)=∏sin(π(1+2∏p')/p),假定素数只要有限多个。若素数只要有限多个,则表达式中左边“<”右端连乘积中的 sin 的自变量π/p 全都在 0 和π之间, sin(π/p)> 0,……”
程诺发觉到他们迷惑的小眼神,哈哈笑了笑,“我明白你们心中的迷惑,拓扑学仿佛和数论是两个很不想干的范畴,为甚么我却这么说。等我讲完,你们就清楚了。”
对于一个命题的证明过程,不管是哪个数学家,都但愿当然是越简朴越好。
“第七个,操纵素数在信息、编码等范畴的利用停止证明。过程很简朴,正整数 N 都可分化为素数的连乘积:N = p1m1・p2m2...”
“……第六个,操纵拓扑的体例证明。”
勾股定理的五百多种证明法,但是历经几千年汗青,数十代数学家的生长下才构成的。
“第四个,操纵剖析数论的证明,这个别例和我上面用代数数论的证明体例有异曲同工之妙,你们都晓得,欧拉乘积公式是:Σnn-s =Πp(1 - p-s)-1 (s > 1),左边经剖析延拓后,可变成剖析数论中极首要的函数:黎曼ζ函数ζ(s)。”
两人顿时疑窦丛生。
程诺摆摆手,苦笑道,“新方向的证明法我能想到的只要这九个了,唉,间隔勾股定理五百多种证明体例还是差的太远啊!”
程诺清了清嗓子,持续说,“上面这几个都是和数论有关的,上面我再说几个其他范畴方向的证明体例。”