“emmm……”奇葩们陷入了沉思。
沈奇：“因为你们的社团活动已脱离了科学的范畴，并且有极端化的趋势。我说句真心话，你们就是一群异想天开的神经病吧？”
第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）是有限生成的，六十几年后，法尔廷斯又证明了莫德尔猜想，再过几年，怀尔斯证明了费马大定理……把这些数学史串联起来，我们可以发现，大数学家们解决数论问题的方式往往不是数论手段，只有一个人例外，沈教授。”
赵天：“喂，小云，你又提沈教授做啥？沈教授不爱我们，爱我们的是叶子姐。”
小云露出花痴般的傻笑：“因为沈教授长的帅呀。”
“别打岔。”曾寒不满的对赵天说，又道：“学姐，我同意你的观点，证明BSD猜想肯定要用到椭圆曲线、群论的手段，叶子姐也这么说过。现在最大的问题是，秩如何计算或者秩是否可以任意大？我想我们应该在这方面找到线索。”
“嗯，是的呢，但是好难呀。”小云歪着脑袋陷入沉思。
三个本科生一本正经的研究如何证明BSD猜想，这似乎有点不自量力。
BSD猜想，数学千禧难题之一，如果被几个燕大数院的本科生搞定了，那还得了？
嘎吱。
门开了，进来一人，她美丽而聪慧，多智又博学，善良并慷慨，是一个孩子的母亲。
“叶子姐好！”
三个学生立正站直，他们社团的女神来了。
“你们好呀。”欧叶微笑道，她对赵天说：“小赵，我们社团有人想去哥伦比亚大学交换一年吗？有一个名额。”
赵天：“那当然有啊，我等会儿就去统计一下。”
欧叶硕士是在哥大读的，然后去到普林斯顿读博。
沈奇在普林斯顿的表现太过耀眼，某种程度上也使得欧叶在普林斯顿读博时处于他的光环之下，以致于掩盖了欧叶自身的光芒。
但欧叶在哥大还是蛮有口碑的，哥大也买她的帐。
“好的，辛苦了。”欧叶说到，她扫了眼黑板，有点意外：“咦？你们在研究BSD猜想？”
第623章 你，你，还有你
赵天干笑两声：“嘿嘿，研究着玩儿。”
“那我们一起研究。”欧叶走到黑板前，仔细观察黑板上的推演式子。
“叶子姐坐。”曾寒拉把椅子搁在欧叶身后。
“嗯。”欧叶坐下。
“叶子姐喝水。”小云倒了杯热水递给欧叶。
“谢谢。”欧叶接过水杯也不喝，只是暖手。
滴答滴答，时间流逝。
欧叶不说话，三个学生静默无声。
这或许就是他们的研究方式。
良久，欧叶问了句：“小赵保研到我们数院了是吗？”
赵天连连点头：“是啊是啊，我很想选叶子姐做我的硕士导师，可叶子姐你最近不带学生，所以我只能选刘教授。”
“哦，刘教授是个好老师，他在群论方面很有一套。”欧叶说到，她转而询问另外两人：“你俩绩点多少？”
曾寒、小云异口同声：“4.0。”
“哦，优秀。”欧叶担任指导老师的这个社团虽然社员不多，但个个社员都是学生中的精英呢。
简单聊了几句，欧叶又不说话了，她专注于黑板上的数学符号。
一个老师，三个学生，就这么静静的看着一块黑板。
许久，欧叶站了起来，她擦掉黑板上的粉笔字，只留下孤独的一行字：E（Q）是无穷集的充要条件是L（E，1）=0。
证明了这句话，即证明了BSD猜想。
但实际上“E（Q）是无穷集的充要条件是L（E，1）=0”并非伯奇和斯温纳顿·戴尔最初提出这个猜想时的形式，他俩最初所做的假设在数学意义上比这句话更强，也就是所谓的强BSD猜想。
黑板上的这行内容是弱BSD猜想，三个学生心中一凛，叶子姐这是从弱BSD猜想上找到了突破口？
欧叶在弱BSD猜想下方继续写到：
L（E，s）=c（s-1）^r+高阶项
孰强孰弱一目了然，当然是下面的这个等式更强，它是强BSD猜想的表达式。
不论是强是弱，数学系的优秀学生并不难理解BSD猜想，难的是证明。
欧叶犹豫了一会儿，最终擦去弱BSD猜想，留下强BSD猜想。
“我们就做这个吧。”欧叶敲了敲黑板。
“叶子姐，做这个是指？”赵天问到。
欧叶：“证明它。”
“证明强BSD猜想？”赵天惊呆了。
欧叶：“是的，我们证明它。”
“叶子姐，我们是指？”小云问到。
欧叶：“你，你，还有你，加上我。”
“叶子姐你玩真的啊！”赵天以为自己听错了。
