《数学女孩2》书摘

笔记摘自

数学女孩2 费马大定理

[日]结城浩

2017年9月3日

1.6　巡回哪里

数字的个数”与“级数”的最大公约数等于 1 时，可实现时钟的完全巡回。

2017年9月3日

1.6　巡回哪里

互质

2017年9月3日

1.7　超越人类的极限

数学连无限都可以处理。既可以将无限时光折叠，放入信封，也可以将无限宇宙尽收掌心，令其高歌。这就是数学的乐趣所在。

2017年9月3日

2.1　泰朵拉

现在是午休时间，我跟泰朵拉一起在高中的楼顶吃着午饭。风儿微凉，但并不影响明媚的阳光给我们带来的好心情。泰朵拉吃着盒饭，我啃着面包。

2017年9月3日

2.2　米尔嘉

去楼顶吃午饭？” 她把脸凑近，紧盯着我的眼睛。柑橘系的香味由淡转浓，锐利的眼光笔直地刺向我的心里。不妙，她似乎心情不好。 “嗯……” “嗯……背着我？”米尔嘉缓缓眯起了眼。

2017年9月3日

2.2　米尔嘉

“整数的结构，是由质因数表示的。” “有理数的结构，是由整数之比表示的。”

2017年9月3日

2.2　米尔嘉

你午饭是一个人吃的呢，还是……” “诶？”居然冷不丁给了我一句。 “或者，能不能把圆上的有理点和‘某个无数存在的东西’进行映射呢？”米尔嘉一下子把话题拉回了数学。 “我在楼顶和泰朵拉一起吃的午饭……” “很诚实嘛。赐予尔骑士称号与宝剑。” 这么说着，米尔嘉往我眼前递了一条奇巧威化巧克力。 我郑重地接下了巧克力。

2017年9月3日

2.3　尤里

上次我们一起搞的时钟巡回，真是太有意思了！”尤里先一步说话，“‘表盘数字的个数’和‘级数’互质就能完全巡回对吧，人家最喜欢听哥哥讲数学了！谁让哥哥是人家的专属老师嘛！” “学长确实很会教人呢，我也从学长那……” “我说，哥哥！”尤里打断了泰朵拉的话，“那天晚上，我们一起吃的超辣咖喱饭，真是好辣哦！辣过头了，害得人家喝水都喝撑了。吃完饭后哥哥讲的费马大定理也好有意思啊……稍微变换一下勾股定理的方程式就没有自然数解了，还真是不可思议喵……” 尤里兴冲冲地说个不停，泰朵拉只好闭口不言。病房里的氛围开始有些不妙，这时尤里的妈妈进来了，我松了一口气。

2017年9月3日

2.5　家中

听课是为了刺激自己学数学，读书也是为了研究数学。但是如果不留出时间充分开动脑筋，动手实践，听课和读书就完全没有意义了。

2017年9月3日

2.5　家中

考虑 B 的质因数 bk，则任意一个质因数 bk 不包含在 A 中，就包含在 C 中！

2017年9月3日

2.6　给泰朵拉讲解

出现整数的时候，办法是先研究奇偶性，再分解质因数，变化成乘积的形式，然后除以最大公约数构成‘互质’……”

2017年9月3日

2.6　给泰朵拉讲解

我们将其落实到乘积的形式。构成乘积的数字称为因数。例如刚刚有提到 AC 这个乘积的形式。此时的 A 和 C 都是因数对吧。你应该知道，质数是不能再进行质因数分解的。如果是两个因数的乘积，那么一个质因数是不能同时出现在这两个因数之中的。所以我采用了“两个数的平方差等于两数之和乘以两数之差”这个定理，将问题落实到两个整数的乘积上。

2017年9月3日

2.6　给泰朵拉讲解

嗯……‘弄错了方向的话，往回走就好’。细细想来，透过村木老师出的这个问题，似乎可隐约看见‘整数真实的样子’。深究这个问题的话，是不是会逐步接近数字的本质呢……”

2017年9月3日

2.8　单位圆上的有理点

我不是问你那个，你没看见泰朵拉的卡片吗？将 a, b, c 设为自然数，考虑勾股定理 a2 + b2 = c2，两边同时除以 c2，会出现什么？” “啊！ 是 x2 + y2 = 1 的解！从勾股定理可以引出单位圆！” “你要是说‘出现了单位圆上的有理点’就好了。不同的基本勾股数，就对应不同的有理点 。‘存在无数个基本勾股数’和‘单位圆上存在无数个有理点’是等价的。两张卡片本质上是一个问题。”

2017年9月3日

2.8　单位圆上的有理点

星星的人’和‘画星座的人’。这两种人，哥哥你属于哪种？

2017年9月3日

3.6　质数指数记数法

尤里能答出来，只是怕说错而已。”米尔嘉一下子把脸凑到尤里面前，“因为害怕，所以就想‘与其说错，不如干脆说不知道好了’，对吧？” “……”尤里无言以对。 “胆小鬼。” “是 27 ！”尤里半带哭腔地答道。 “错了。”米尔嘉立刻说道，“最后不是加法。” “啊，对啊。是乘法。是 50。”尤里一脸平静，像没发生过任何事般答道。

2017年9月3日

3.6　质数指数记数法

换句话说，就是关于所有质数 p，ap 或 bp 中肯定有一方等于 0。这个也可以说成，两个矢量不会投影在同一坐标轴上。

2017年9月3日

3.6　质数指数记数法

总之，这就说明两个矢量“垂直”。基于这个结论，也有数学家把 a 和 b “互质”直接写成 a ⊥ b。因为 ⊥ 形象地表示了垂直的情况。 a 和 b“互质”　　a ⊥ b “互质”是数论的表现形式，“垂直”则是几何的表现形式。

2017年9月3日

3.6　质数指数记数法

对。这样就对了。”

2017年9月3日

3.7　米尔嘉大人

说起泰朵拉……”我说，“你住院那会儿把她单独叫过去了吧？那时候，你们到底说了什么？” 　 尤里拨弄着头发，嘟囔了一句。 　 “我只是告诉她，表妹是四亲等旁系血亲，所以可以跟表哥结婚哦……”

2017年9月3日

4.1　家中

索引指的是书最前面的那个吗？” “不不，书最前面的是目录。目录位于书籍开头，按照页数次序编排，记载着每章的章节标题。而索引位于书籍的最后，写着某个词语在书的哪一页。找词语解释的时候就要用到索引，教科书和参考书这种需要查词的书上肯定会有索引。”

2017年9月3日

4.1　家中

嗯，即使证明不出来也不会死，说‘赌上性命去证明’确实有点过头了。不过啊……在某件事上‘花费时间’，不就相当于‘赌上性命’吗？因为活着的时候能做的事情是有限的，在这个世界上能用的时间是有限的，数学家们把‘有限’生命中的一部分用在了证明上。”

2017年9月3日

4.1　家中

只需要存在一个不是柠檬味儿的糖果就可以否定所有了。比如说哈密瓜味儿的。” “攻破一个就可以击破‘所有’吗？” “就是这样。反证法从原命题的否定开始证明。如果想证明对于任意的糖果都存在某个性质，就要假设存在某个不符合这个性质的特殊糖果，从而推导出矛盾。这样的话，就能把精力集中在这个特殊糖果上深入思考。这就是人们经常运用反证法的原因之一。” “原来如此。”

2017年9月3日

4.1　家中

比如说‘枫糖浆很好吃’是尤里你的观点，可这个观点并不是命题。枫糖浆好不好吃因人而异，这不是能从数学上判断真假的东西。那么，我们接下来要证明的命题是什么来着？”

2017年9月3日

4.1　家中

命题的证明是永远存在的。永远指的是时间的无限性。已被证明过的命题，在证明它的数学家死后仍然是被证明过的。证明是严密的、不可推翻的。数学领域的证明是穿越时空的时间机器，是经过岁月的洗涤也不会腐朽的建筑物。证明为人类在有限的生命中去触碰永远提供了机缘

2017年9月3日

4.2.1　奇偶

解答4-1a　（ 不是有理数的另一种证明方法） 使用反证法。 1. 假设 是有理数。 2. 存在整数 a, b 使得 (a ≠ 0)。 3. 将两边同时平方，去分母得到2a2 = b2。 4. 左边含有奇数个质因数 2。 5. 右边含有偶数个质因数 2。 6. 这就推导出了矛盾。 7. 因此， 不是有理数。 泰朵

2017年9月3日

4.2.1　奇偶

在数学领域，除了证明定理 P 以外， 其他更常用的方法是假设 P 为 false，从而推导出矛盾 （即推导出 false 或相当于 false 的结论）。 常抄个近道：不直接表明 false， 而是去证明像 这样明显相当于 false 的结论。

2017年9月3日

4.2.1　奇偶

这么说来，米尔嘉在要跟我分个高下的时候绝对不会移开视线，但是有时候也会唰地看向别处，比如说被我表扬的时候……难不成米尔嘉是在害羞？

2017年9月3日

5.1.1　速度题

不过我没在开玩笑。大约从 18 世纪开始，人类才能自然地接受 -1 这样的负数。事实上，帕斯卡在 17 世纪还认为 0 减去 4 等于 0。以几千年的数学发展史来看，负数得到运用也是在不久之前的事。18 世纪最伟大的数学家，我们的老师莱昂哈德·欧拉，他第一次明确阐述了数轴向正和负两个方向延伸的概念。

2017年9月3日

5.1.1　速度题

我们用一次方程的解定义了 m 这个数（实际上 m 就等于 -1）。

2017年9月3日

5.2　复数的和与积

复数的积”　　“绝对值的积”和“幅角的和” αβ 的绝对值等于 α 的绝对值乘以 β 的绝对值，这很正常。但是 αβ 幅角居然等于 α 幅角加 β 幅角？这就很有意思了。可以说幅角具有指数运算的性质。 那么，能从几何层面理解复数的积，同理也能从几何层面理解复数平方后的式子。我们用复平面的知识，再研究一下午饭时那道速度题 —— “平方等于 -1 的数字”。

2017年9月3日

5.2　复数的和与积

话说回来，-1 到底是什么呢？复平面上，-1 是“绝对值为 1，幅角为 180°”的一个点。因为可以靠“绝对值的积与幅角的和”来计算复数的积，所以平方后等于 -1 的复数 x 的性质就是“绝对值平方后为 1，幅角扩大 2 倍为 180°”。 平方等于 1 的正数是 。扩大 2 倍为 180° 的幅角就是 90°。也就是说，绝对值为 1，幅角是 90° 的复数平方后为 -1。这确实与复数 i 一致。

2017年9月3日

5.2　复数的和与积

乘两次 -1 也就相当于将 -1 的幅角 180° 扩大两倍，就变成了旋转 360°，等于根本没旋转。根本没旋转指的是幅角为 0°，对应 1 这个数字对吧。”

2017年9月3日

5.2　复数的和与积

“复平面是代数和几何邂逅的舞台。” 米尔嘉说着，将食指轻轻贴在自己的双唇上。 “在复平面这个舞台上，代数和几何接吻了。”

2017年9月3日

5.4　可以粉碎的质数

句话让我意识到，我无意之间贴她太近了。 米尔嘉伸出双手，抓住我两只耳朵。 她就这么把我拉了过去……

2017年9月3日

5.4　可以粉碎的质数

不对。我们的整数 里包含两种质数。一种拿到高斯整数 里能分解成积的形式，可以说是‘可以粉碎的质数’。打比方说，把 2 拿到 的世界里进行分解，就得到 (1 + i)(1 - i)。而另一种质数即使拿到高斯整数 里，也不能分解成积的形式，这就是‘无法粉碎的质数’。比如 3，即使把它拿到 里也无法将其粉碎。3 即使在 里也还是质数。但是要注意一下，可以粉碎和无法粉碎不是正式的数学用语。±1 既不是合数也不是质数，它叫作单数。”

2017年9月3日

5.4　可以粉碎的质数

这些命题”反映了一个事实。 数字世界从 扩展到 时，质数分解的形态， 是由质数除以 4 的余数决定的。

2017年9月3日

5.4　可以粉碎的质数

质数 p 和整数 a, b 具有以下关系。证明 p 除以 4 余数不为 3。 p = (a + b i)(a - b i)

2017年9月3日

5.4　可以粉碎的质数

平方数 a2 除以 4 的余数不是 0 就是 1。 2. 平方数 b2 除以 4 的余数也不是 0 就是 1。 3. 两个平方数的和 a2 + b2 除以 4 的余数是 0, 1, 2 中的一个。 4. 因此，a2 + b2 = (a + b i)(a - b i) = p 除以 4 的余数不会是 3。

2017年9月3日

6.1　奔跑的早晨

我站起身，她从床上伸出手对我说： 　 “看不清，你的脸。” 　 我把脸凑近。 米尔嘉的手轻轻地滑过我的脸。 （好温暖）

2017年9月3日

6.2　第一天

我以为做完检查马上就能出院了，没想到居然让我住三天。太无聊了，你带泰朵拉一起来看我，我们一起研究数学。” 这是米尔嘉的请求 —— 或者说是命令。 于是，我跟泰朵拉第二天就去探望了无聊的女王陛下。米尔嘉很欢迎我们来听她的群论入门课。

2017年9月3日

6.2　第一天

为什么集合会是 G 啊？‘集合’的英文明明是 set 吧。” “从集合出发，然后定义群。‘群’的英文是 group。”

2017年9月4日

6.2　第一天

接下来，我们来讲讲单位元。”米尔嘉接着讲道，“打比方说，我们做加法运算的时候，不管在哪个数上加上 0，这个数字都‘不会变’。乘法运算的时候，不管在哪个数上乘上 1，这个数也‘不会变’。也就是说，‘加法运算中的 0’和‘乘法运算中的 1’很像。把这个‘不会变’的因素用数学语言表现出来就是单位元。一般把单位元记作 e。对于任意元素 a，元素 a 与元素 e 的运算结果都始终为 a，也就是不变。我们把这样的元素 e 称为单位元。” 单位

2017年9月4日

6.2　第一天

对于集合 G 中的任意元素 a，我们把集合 G 中满足以下等式的元素 e，称为在演算 中的单位元。

2017年9月4日

6.2　第一天

是 —— 公理创造定义

2017年9月4日

6.2　第一天

在群里，单位元的逆元就是单位元自身。”

2017年9月4日

6.2　第一天

对，同构群。”米尔嘉渐渐加快了语速，“将同构群同等看待，则本质上只有一个元素个数为 2 的群。不管追溯多少年之前的历史，还是展望多少亿年之后的未来，无论造访世界上哪一个国家，还是将旅途的脚印延伸到宇宙的尽头，都不会动摇这个事实。元素个数为 2 的群本质上只有一个。”

2017年9月4日

6.2　第一天

就是根据公理给出制约，制约创造结构

2017年9月4日

6.3.1　交换律

因为是幅角 360° = 2π 的 n 等分，所以 xn = 1 的解为 k = 0, 1, …, n - 1，可用以下形式表述。

2017年9月4日

6.3.1　交换律

从方程式的角度来看，我们熟悉的正 n 边形的顶点 是“1 的 n 次根的解”，从群的角度来看则变成了“元素个数为 n 个的阿贝尔群的例子”。单位圆上的舞蹈真是有趣啊。 6

2017年9月4日

6.4　真实的样子

把 0 和 1 都统一看成单位元，这个想法很大胆吧。把 + 和 × 都看成运算也很了不起。从平日的陈腐概念中削去非本质的部分，本质的部分就会浮现在眼前了吧。”

2017年9月4日

6.4　真实的样子

觉得有点明白了。抽象化并证明之后，就能适用于更大的范围了吧。” “如果不进行抽象化，我们是不能确定本质是否相同的。抽象 —— 抽出指的是将本质以外的部分抽象，也就是丢掉。选择真正重要的，丢掉其他的。”

2017年9月4日

6.4　真实的样子

选择真正重要的，丢掉其他的……” 6

2017年9月4日

6.4　真实的样子

如果让我回望人生， 选出最具有创造性的时刻， 那就是在最严格的制约条件下 还不得不工作的时候。

2017年9月4日

7.2.1　余项

-1 = 12 × (-1) + 11　(0 ≤ 11 < |12|)

2017年9月4日

7.2.1　余项

将整数 a 除以整数 b(b ≠ 0) 得到的商设为 q，余项设为 r，用以下等式定义商和余项。因为 b 也有可能为负数，所以我们在附加条件的不等式中用绝对值 |b| 代替 b。

2017年9月4日

7.3.1　喝着可可

已经这么晚了吗……我看着马克杯，恍惚地想着。说过了喝咖啡就行，她却总拿来可可，能不能别总是把我当小孩子看啊。 我爸和我妈结婚后有了我，一家人。米尔嘉也有家人，泰朵拉也有家人。 我们才十来岁，但我们也背负着许多东西，某些我们要背负的东西。 米尔嘉也是。

2017年9月4日

7.3.1　喝着可可

写数学公式，就会留下数学公式。半途而废，就只会留下写到一半的数学公式。这是理所当然的。 然而，教科书上没有写到一半的数学公式。在建筑工地上已经搭好了脚手架。所以一说到数学，我们脑海中总会浮现出整然有序的、已经完成的画面。但实际上，那些创造出最尖端数学的地方，不都是跟施工现场一样乱七八糟的吗？ 毕竟发现数学、创造数学的是人类，怀着残缺、震颤、忐忑之心的人类。是憧憬美丽的结构，倾慕永恒，想方设法捕捉无限的人类，培育出了今日的数学。 不是纯粹地获取，而是由自己创造出来的；从搜集不起眼的水晶碎片开始，直至建成宏伟的佛寺；在一无所有的空间里放入公理，由公理推导定理，由定理再导出其他定理；由一颗小小的种子开始，构建整个宇宙。 —— 这就是数学。 米尔嘉优雅的解答，泰朵拉付出的努力，尤里对于条件的关注……我能[…]

2017年9月4日

7.3.1　喝着可可

所以，所以……请你不要回头

2017年9月4日

7.4　群·环·域

集合 关于 不构成群’ 　 你注意到了吗？” “什么？！”我吃了一惊。 这样啊，我求的是有逆元这个条件。也就是说，集合 里包含“有逆元的元素和没有逆元的元素”。也就是说，这个集合不是群。如果是群，所有的元素都应该有逆元。这么说来，这是再当然不过的。我居然到现在才发现……

2017年9月4日

7.4　群·环·域

ring。”米尔嘉突然加快了语速，“整数环 和剩余类环 都满足‘环的公理’。但是，这两种环大不相同。 就像是数轴上排列的点， 的点则分布在圆环上，就像是时钟的表盘； 是无限集合， 是有限集合； 具有无限性， 具有周期性。两者虽然大相径庭，却都满足环的公理。也就是说，只要存在从环的公理中推导出的定理，这个定理一定适用于 ，也同样适用于 。因为它们都是‘环’。这就是抽象代数！” 这样啊……我在思考某个集合，定义运算的时候，只要这个集合满足环的公理，就能把已经经过数学家们证明的环的定理拿来用啊…… 我一瞬间看到了许多命题，它们如森林般，如星座般不断扩张，创造了一个巨大的体系。我不知道关于环的定理，但这些基于环的公理的诸多关于环的定理，一定是数学家们长年累月筑造而[…]

2017年9月4日

7.4　群·环·域

假设 p 为质数，将剩余类环 看作是域，这时可将其称为有限域 。 如果把像时钟一样旋转的剩余类环看作整数的微缩模型，那么用质数 p 构造出的有限域 也可以说是有理数的微缩模型吧。从时钟到 mod，然后是群·环·域 —— 世界旋转得真壮观啊。”

2017年9月4日

7.4　群·环·域

环关于加法是阿贝尔群。 环关于乘法不一定是阿贝尔群。

2017年9月4日

7.4　群·环·域

因为环的公理里没有写明，所以环里不一定存在关于乘法的逆元，也就是说环里不一定能进行除法运算。接下来，我们思考一下除法。假设存在某个环，这个环里除 0 以外的所有元素都能进行除法运算，我们把这个环称为域。

2017年9月4日

7.4　群·环·域

是这样。m 是质数的时候，关于乘法，剩余类环 除了 0 以外的所有元素都有与其对应的逆元，也就是域。也可以反过来说，剩余类环 为域的时候，m 是质数。虽然也有 m = 1 这种特殊情况。”

2017年9月4日

7.5　以发型为模

既可以将无限时光折叠，放入信封。 也可以将无限宇宙尽收掌心，令其高歌。

2017年9月4日

7.5　以发型为模

我有时候在想， 学习和研究到底有何不同呢？ 数学课上，只要读读教科书上写着的内容，然后记住公式， 再用记住的公式解开问题，对一下答案就结束了。 然而我认为，研究是去探求“未知的答案”， 是向答案逼近的一个过程。 因为不知道答案才会有趣。 从自己找寻、发现答案的过程中， 才能感受到研究的魅力所在。 —— 山本裕子 [4

2017年9月4日

7.5　以发型为模

嗯，哥哥你讲得很容易理解啊。总之就是用余数能进行加法和减法运算对吧，还包括乘法运算。只要满足互质这个条件，还能做除法运算。同等看待那一块儿也很有意思。无视差异同等看待……然后直到有限域 那里。我说哥哥！之前你说过的那个‘折叠无限’，指的不就是同余吗……”

2017年9月4日

8.1　费马大定理

费马大定理 当 n ≥ 3 时，以下方程式不存在自然数解。 “为什么费马大定理这么有名啊？” “这个嘛……我认为主要原因有三个。”我说。 问题本身谁都能理解。 费马曾写道：“我确信已发现了一种美妙的证法”。 即便如此，其后 350 多年却没有人能证明它。

2017年9月4日

8.1　费马大定理

我确信已发现了一种美妙的证法， 可惜这里空白的地方太小，写不下。

2017年9月4日

8.1　费马大定理

费马大定理指的是，在 中，对于任意 n，都不存在满足方程 的一组自然数 (x, y, z)。就是这么个定理。” “嗯，然后呢？”

2017年9月4日

8.1　费马大定理

虽然费马大定理涉及了所有大于等于 3 的 n，但 FLT(3) 指的是单独涉及 n = 3 这个情况的命题。也就是说，FLT(3) 所指的命题是‘不存在满足方程 x3 + y3 = z3 的一组自然数 (x, y, z)’。”

2017年9月4日

8.1　费马大定理

不能被证明，就无法称之为定理

2017年9月4日

8.1　费马大定理

数学领域的主张，也就是我们所说的命题，未经证明的话只不过是猜想而已。在‘费马大定理’得到证明以前，应该称它为‘费马的猜想’才对。”

2017年9月5日

8.2　泰朵拉的三角形

色已经暗了，在钻研数学的过程中，我忘记了时间的流逝，生活在如梦境般的另一个世界之中。会意识到这点，是因为我已经回到了往常的世界。这边的世界 —— 有我，有泰朵拉，有米尔嘉……

2017年9月5日

8.3.1　旅行的出发点：用 m, n 表示 A, B, C, D

但是 p 也不可能大于等于 3。因为如果 p 大于等于 3，m 和 n 就都是 p 的倍数。但是 m ⊥ n —— 也就是说 m 和 n 没有共同的质因数。所以 p 不可能大于等于 3。 综上所述，可以说 (m + n) ⊥ (m - n)。

2017年9月5日

8.3.1　旅行的出发点：用 m, n 表示 A, B, C, D

我呆呆地站在森林深处的分岔口处。 确实可以两条路都走。 不过，这样的话就得花两倍时间和精力了。 嗯……有没有什么好办法呢？我再一次回首向走过的路望去，看看有没有忘掉哪个关系式。 嗯？

2017年9月5日

8.4　尤里的灵感

旅行地图

2017年9月5日

8.5.1　备战

人家一下子就折服了……不过，学长你用的武器又是我有的呢……” 基本勾股数的一般形式 互质 两数之和乘以两数之差等于平方差 积的形式 奇偶性 最大公约数 分解质因数 反证法 矛盾 “就算这样，人家

2017年9月5日

8.5.1　备战

初步证明……什么啊？” 　 “费马大定理。

2017年9月5日

8.5.1　备战

也不知道。变量间的关系是渐渐明晰的，不可能从一开始就看破。所以我只能尝试着去算。首先要前进，然后看着前方出现的式子，再考虑下一步。难就难在最后的最后，怎样才能构成同样形式的数学公式那里。这样才能推导出矛盾。最后还是我表妹尤里给我提了

2017年9月5日

8.5.1　备战

我觉得……在课堂上学的数学，跟学长学姐们一起做的数学很不一样。课堂上学的数学很无聊乏味，跟学长学姐们一起研究的数学感觉却很生动有趣……不过可能是我搞错了。课堂上的数学就像武器的基本用法，像是剑道里的挥剑练习和手枪的试射一样，所以会觉得枯燥又无聊。不过要是不扎实地打好这部分基础，一旦开战，就会掉链子了。”

2017年9月5日

第 9 章　最美的数学公式

贝内拉抓起一把洁净美丽的沙子， 在手掌里摊开，用手指沙沙地翻动。 “这些沙子都是水晶，每粒水晶里面都有一小股火焰在燃烧。

2017年9月5日

9.1　最美的数学公式

无矛盾性是存在的基石

2017年9月5日

10.4　椭圆曲线的世界

好像棱镜啊！”泰朵拉说道，“阳光透过棱镜会被分解成无数种颜色的光，把所有的光重合在一起又会还原成本来的阳光。感觉跟这个很像不是吗？有理数域 是阳光，有限域 表示每个质数 p 的颜色……”

2017年9月5日

10.4　椭圆曲线的世界

在 上，1 是自身加法中的逆元，所以‘加 1’就等于‘减 1’。也就是说，x + 1 可以换成 x - 1。”

2017年9月5日

10.5　自守形式的世界

话虽这么说，也有 (cz + d)2 这种程度的偏差。(cz + d)2 的指数 2 称为权。Φ(z) 是‘权为 2 的自守形式’。到这里听明白了吗？” “完全……没办法想象。”泰朵拉抱着头。

2017年9月5日

10.5　自守形式的世界

保护形式。由 这个式子，可知‘经由 Φ 来看，z 和 形式相同’。即使发生了 这种变换，也保持了原有的形式，所以叫作自守形式

2017年9月5日

10.7　庆功宴

见盈盈的双手在键盘上游移，速度越来越快。毫无秩序的音符间填上了其他的音符。一堆杂乱无章的音符中诞生了小小的图案，然后无数的图案开始交织，形成了更大的图案。 然后，就从离散走向了连续！ 回过神来，我已经被抛向了广袤的大海。海浪，海浪，海浪，不停袭来的海浪。盈盈弹出的琴音翻涌着，卷起波浪，将我冲走。我在这激流的冲击下，完全失去了方向感，就在这一瞬间 —— 　 我站在了寂静的海岸边，仰望着夜空。夜空中无数的星辰就像与一个个微小的漩涡相互辉映般，闪耀着星光。对，似乎有规律，又好似没有……

2017年9月5日

10.7　庆功宴

为什么怀尔斯会……”泰朵拉突然开口，“会觉得凭一人之力就能证明呢？一个人把自己关在书房里长达七年，肯定非常孤独吧。大家一起帮忙的话岂不是很快就能证明出来了吗？” “他想一个人实现自己的梦想吧。”米尔嘉回答道，“但是就连怀尔斯也不是全部自己完成的。数学是一门积累的学问。不管怎样的天才，都不是由零开始创造所有的数学知识的。他们也要站在其他人无数的证明结果的基础之上。” “孤独吗……”我喃喃道，“尤里经常说‘喜欢一起思考’。但是，即使通过相互讨论创造了‘一起思考’的环境，灵感也是从每个人脑海里产生的吧。” 咦？尤里去哪儿了……环视四周，发现她在房间角落里正写着什么。 “跟生孩子一样呢。”我妈端来了茶，“有深爱的丈夫在，也有医生在，但是要‘生产’的只有[…]

2017年9月5日

10.7　庆功宴

学长，你经常说相遇是个偶然对吧。不过……我能遇见学长不是偶然，是奇迹哦！” 泰朵拉满脸通红地留下这句话，就飞也似地跑回客厅了。

2017年9月5日

10.7　庆功宴

数星星的人和画星座的人。这两种人，哥哥你属于哪种？”

2017年9月5日

10.8　仙女座也研究数学

真实的样子” —— 漂浮在银河中的点点繁星一点也不“细小”。我们肉眼能看见的星星实际上是非常巨大的。星星也不是“一群群”的。事实上，它们距离我们好多个光年。 不管看上去细小，还是一群群的，都是投影施放的魔法。我们看到的是投射在自己视网膜上的来自遥远过去的星星的影子。如果换成另一颗远离地球的星球，星球上的居民抬头看夜空的时候应该会看到截然不同的星座吧。 不过，数学会如何呢？如果那颗遥远的星球上的居民有“数数”这个概念的话，也应该有质数这个概念吧。他们会感到整除有着特殊的含义吧，也应该会有互质这个概念吧，也会想利用同余折叠无限吧。 费马

2017年9月5日

10.8　仙女座也研究数学

空间上的距离不是本质，时间上的距离也不是本质。 不管相隔多远，不管距离多久。 贯穿宇宙和历史的共同词汇 —— 数学。

2017年9月5日

10.8　仙女座也研究数学

我们遇见了数学，我们通过数学相遇了。 有做得到的事，也有做不到的事。有明白的事，也有不明白的事。不过，这样就好。享受数学，跟超越时空的伙伴一起，数星星，描绘星座！ 　 “啊！”泰朵拉指着上方。 “喔？”米尔嘉微微笑着仰望夜空。 “好巧！”盈盈吹起口哨。 “哥哥！”尤里叫道。 　 我抬头看向空中。 　 啊，天空也…… 天空也在享受数学。 　 夜空中缓缓飘下数不清的正六角形结晶。

2017年9月5日

10.8　仙女座也研究数学

我们只活在当下。”米尔嘉继续道，她的脸颊冻得发红，“然而，散布在历史这条时间轴上的无数数学知识，都投射到了‘现在’这一点上。我们学的就是这一点上的投影。

2017年9月5日

10.8　仙女座也研究数学

以居住的星球为模，是不是存在跟我们同余的宇宙人呢？

2017年9月5日

10.8　仙女座也研究数学

哥哥！下雪了！”

2017年9月5日

参考文献和导读

我把书库的钥匙给你， 不够的话就去图书馆吧。 你想知道的答案一半都在书里。 只有一半？那剩下的一半呢？ 还无人知晓。 —— 坂田靖子《巴基尔的优雅生活》

所有摘录来自

[日]结城浩. “数学女孩2 费马大定理.” 人民邮电出版社, 2015-12-31. 
此材料受版权保护。