第622章 女神来了

相比于中二气息满满的沈奇量子社，欧叶计算机社要正经许多。

根据燕大社团管理条例，校内的每一个社团至少需要一位指导老师。

欧叶计算机社的指导老师是欧叶，大部分社团活动经费是欧叶给的。

听上去是个计算机社团，实际上欧叶计算机社的指挥部设立在数院。

数院一楼走廊尽头的一间屋子大门上挂着“欧叶计算机社”的招牌，屋内一个小伙子正在跟一位大姑娘玩牌。

“叶子姐又给了我们社两万块钱，她今年一共给了八万。”小伙子叫赵天，是欧叶计算机社的社长。

“沈教授友情赞助了两千，所以啊，他们家肯定是叶子姐掌握财政大权。”大姑娘做了个“我还要”的手势，示意再要一张牌。

“小云，你都20点了，还要？”赵天说完又给小云发了张牌。

这张牌是红桃A，小云拿到了21点。

“21点就是个非线性组合游戏，叶子姐讲过的。”小云嫣然一笑，又道：“学长，咱们要努力了哦，沈奇数学社的人又包揽了大学生数学竞赛、建模竞赛的前三名。沈教授非常开心，他拿出5万块奖励沈奇数学社，还帮沈奇数学社的人写推荐信去普林斯顿深造呢。”

“小云，你千万不要动摇啊，我们生是叶子姐的人，死是叶子姐的鬼。”赵天给自己翻了张牌，7点，他这把也拿到了21点：“大学生数学竞赛、建模竞赛不算什么，沈教授不帮咱们写推荐信，叶子姐肯定会帮的。你的港澳通行证办了吗？”

“办了。”小云点点头道。

“好，按计划推进。”赵天重新洗牌，继续跟小云操练扑克。

这间屋子里一共有三人，另一位男生一直站在黑板前沉默不语，就像一株植物。

赵天望向这位男生：“曾寒，你跟我们一起去吗？”

曾寒冷冷道：“想找死，就去赌场。你们想死，我不想。”

“曾寒你知道的，我们去澳门不图钱，只是为了研究数学问题。”赵天苦苦相劝，这位曾寒学弟是个数学天才。

曾寒目不转睛盯着黑板，说到：“你们尽管去送死，每年清明，我会跟你们烧纸钱的。”

“嘿，你个臭小子！”赵天丢下手里的扑克牌，来到曾寒身边，观察曾寒在黑板上的作品。

首先是一个直角三角形，它的边长是3、4、5。

很容易得到这个三角形的面积是1/2乘以底乘以高=6。

这其实是毕达哥拉斯直角三角形，这也涉及到一个古老的数学问题：给定一个正整数d，是否存在一个边长是有理数而面积正好是d的直角三角形？

运用高中数学知识可以证明，存在一个边长为有理数而面积为d的直角三角形的充要条件是，方程y2=x3-d2x对x和y≠0的有理数解。

运用大学数学知识做更进一步的解读，当且仅当d是一个边长为有理数的直角三角形的面积时，这个方程对x和y存在有理数解。这个方程的判别式△=-16[4（-d2）3]=64d6，它不等于0，所以这个方程的图像是一条椭圆曲线。

把高中数学知识和大学数学知识联系起来，即求出哪些整数d可以成为边长为有理数的直角三角形的面积，等价于在某种椭圆曲线上寻找有理点的问题。

这就是英国学者伯奇、斯温纳顿·戴尔究其一生想要解决的问题，学术界称其为BSD猜想。

“曾寒弟弟，我十分支持你研究BSD猜想，其实我和小云也对BSD猜想很感兴趣。”赵天在空气中画椭圆，他读大四，已保研燕大数院。反正已经保研了，赵天有充足时间组织开展欧叶计算机社的社团活动。

“哦。”曾寒没有表情的哼了一声。

读大三的小云凑到曾寒身边，说到：“曾寒弟弟总是这么严肃，笑一个嘛。”

曾寒的嘴角微微动了一下：“呵。”

“这么帅的小伙，居然是个面瘫，哎。”小云叹气，她看着满黑板的数学符号，说到：“BSD猜想被归类为数论，但它其实涉及了不少其他的数学分支，我们都知道证明了椭圆曲线有无穷多个有理点的充要条件是L（E，1）=0，即证明了BSD猜想。然而这真的好难呢。”

说着说着，小云拿黑板擦擦去了半块黑板，随后在黑板上写出一个刻板风格的Q，代表有理数集。

小云越写越多，她边写边说：“E（Q）是一个阿尔贝群，1922年，莫德尔证明群E（Q）是有限生成的，六十几年后，法尔廷斯又证明了莫德尔猜想，再过几年，怀尔斯证明了费马大定理……把这些数学史串联起来，我们可以发现，大数学家们解决数论问题的方式往往不是数论手段，只有一个人例外，沈教授。”

赵天：“喂，小云，你又提沈教授做啥？沈教授不爱我们，爱我们的是叶子姐。”

小云露出花痴般的傻笑：“因为沈教授长的帅呀。”