“精确的几组。”
“解数到底是怎麽决定的？”
“既不是素因子分解的'有/无'。”
“也不是面积估算的'大概'。”
“当然更不是02这一个对象的笼统描述。”
“是一个精确到每一个n的闭形式的公式。”
台下所有人此时都安静的听着。
他们这才意识到。
他们刚才答的三条路，都没碰到这个核心。
有一种“我刚才答得很对，但是好像和你问的不是一回事“的尴尬感。
李东转过身，在黑板上写了一行字。
[r=(n)=4 · (d1(n)-ds(n))]
然後他在下面一行接着写。
[d:(n)=#{ d | n, d= 1 (mod 4)}】
【ds(n)=#{d|n,d=3(mod4)}】
他放下粉笔，转过身。
“这是雅可比1828年给出的一个精确公式。”
“对每一个n，它有几组解，看它的因子里头模4余1的有几个、模4余3的有几个，做一个差，再乘以4。
“完事。”
台下“嘶”地一声。
有几个研究生忍不住低声嘀咕了。
“这……这是怎麽写出来的？”
“这两件事怎麽扯上的？”
李东笑了一下。
他抬起手，在黑板上写了一组新的符号。
【z[={ a + bi : a, bez}]
“高斯整数。”
“a加b乘i。”
“a和b都是整数。”
“在这一个新的数系里头，你做一件事。”
“你把一个整数n，展开成它在z[里的素因子分解。”
他在黑板上画了一个分支。
“在普通的整数里，5是素数。”
“可是在z[里，5 =(2 + i)(2- i）。”
“它分裂了。”
“3呢？
在z[里，它还是素数，它不分裂。”
“7呢？
也不分裂。”
本章未完，请翻下一页继续阅读.........