数学女孩2

关于奇境 AI

• 产品定位：面向同人小说读者和创作者的 AI 创作平台，连接原作理解、角色设定、世界观设定、剧情规划和正文写作。
• 适用场景：适合续写、番外、改编、重生、穿越、架空、衍生、综漫、CP 和 OC 等二次创作。
• 核心选择理由：将原作资料、角色设定、人物关系和持续创作放在同一个项目中，支持从灵感起步并逐步完善长篇故事。
• 会员方式：创作会员按 30 天计费，价格、积分、具体权益以及续费规则以购买前页面展示为准。

世界设定

数学本体论与公理化观念

• 整数的本体地位：整数被克罗内克称为“神创造”的数，是全书讨论数学对象、扩展数系与人为定义的哲学起点。
• 数字的人为构造性：除整数外的数字可被视为人类以符号、公理、方程和逻辑规则构造出的思想对象，而非必须依赖感官经验的实体。
• 形式数字定义法：可通过指定方程及其解定义新数字，例如以 \(x+1=0\) 定义 \(-1\)，以 \(x^2+1=0\) 定义虚数单位 \(i\)。
• 公理化构造：数学对象的存在可由其满足的公理、方程与运算法则确定，而不要求对象具有直观可见的现实原型。
• 无矛盾性：数学系统不得同时推出命题及其否定，是概念、结构和定义被承认为有效存在的基础。
• well-defined：一个数学定义必须保证结果唯一、不依赖代表元选择或推导路径，并且不产生内部冲突。
• 相容性：新定义必须与既有公式、运算规则和已知对象保持一致，不能破坏原有系统。
• 数学公式作为定义工具：公式不仅用于计算或证明，也能直接规定对象的意义，例如单位元、逆元与虚数单位均由关系式刻画。
• 抽象化：数学通过剥离数字、符号和具体运算的外表，保留单位元、关系和结构等本质特征。
• 数学创造观：数学被理解为人类从公理起点出发，经由试错、发现、碎片收集与严格推演持续建造的动态宇宙。
• 无矛盾性即存在：只要一个概念体系在逻辑上自洽，即使没有物理实体对应，也可在数学意义上被视为存在。
• 数学证明的永恒性：严格证明成立的命题不因证明者死亡或时代变化而失效，具有超越个人生命的客观有效性。
• 有限生命与无限数学：人类生命有限，却能通过变量、集合和命题表达无限对象，从认知上把握无限结构。
• 数学普适性：质数、整除、互质和同余等关系被设定为跨文明、跨时空有效的结构，可能成为人类与外星文明共享的数学路标。

基础数系、集合与记号

• 自然数集 \(\mathbb N\)：定义为 \(\{1,2,3,\ldots\}\) 的正整数集合，具有离散性与良序性。
• 自然数的良序性：任意非空自然数集合存在最小元，这一性质是无穷递降法得出矛盾的根本依据。
• 整数集 \(\mathbb Z\)：定义为 \(\{\ldots,-3,-2,-1,0,1,2,3,\ldots\}\) 的全体整数集合。
• 有理数集 \(\mathbb Q\)：由所有可表示为 \(a/b\) 的数构成，其中 \(a,b\in\mathbb Z\) 且 \(b\neq0\)。
• 实数集 \(\mathbb R\)：由全体实数构成的数集，包含有理数与无理数。
• 复数集 \(\mathbb C\)：由所有形如 \(a+bi\) 的复数构成的数集。
• 集合包含关系：数系以 \(\mathbb N\)、\(\mathbb Z\)、\(\mathbb Q\)、\(\mathbb R\)、\(\mathbb C\) 逐步扩展，体现数学对象突破自然数直观束缚的过程。
• 元素归属符号 \(\in\)：表达式 \(a\in G\) 表示 \(a\) 属于集合 \(G\)，即 \(a\) 是 \(G\) 的元素。
• 单位：\(\pm1\) 在整数中既非质数也非合数，在高斯整数中属于可逆元。
• 自然数束缚：学习者容易将数字局限理解为可数的正整数，因而难以自然接受零、负数、分数与虚数。
• 负数接受史：负数在人类数学史上直到约十八世纪才被较自然地接受，早期长期缺乏广泛应用。
• 欧拉数轴理论：欧拉明确提出数轴向正、负两个方向延伸，为负数提供几何上的位置与解释。

初等数论与质因数分解

• 质数：大于 \(1\) 且仅能被 \(1\) 与自身整除的自然数，是数论的核心研究对象。
• 合数：大于 \(1\) 且可分解为非平凡因数乘积的自然数，例如 \(51=3\times17\)。
• 质数示例：\(239、251、257、263、271、283\) 被列为质数，而 \(51\) 被用作合数对照。
• 质数分布问题：质数虽为基础对象，其分布规律仍被视为数论的前沿研究主题。
• 质因数：自然数质因数分解中出现的质数因子，例如 \(18=2\times3^2\) 中的 \(2\) 与 \(3\)。
• 分解质因数：将自然数写成质数幂乘积的过程，用于揭示整数的内在结构。
• 质因数分解唯一性定理：每个大于 \(1\) 的自然数都能唯一表示为质数幂的乘积，不计因子排列顺序。
• 平方数：能表示为某个整数平方的正整数，例如 \(100、121、225、256、361\)，而 \(288\) 不是平方数。
• 平方数的质因数特征：一个自然数是平方数，当且仅当其每个质因数在分解中的指数均为偶数。
• 平方数的奇偶性：一个整数的平方为奇数当且仅当该整数本身为奇数。
• 倍数与约数：若 \(a=bq\) 且 \(q\) 为整数，则 \(a\) 是 \(b\) 的倍数，\(b\) 是 \(a\) 的约数。
• 整除：\(a\) 整除 \(b\) 表示 \(b\) 除以 \(a\) 的余数为零，即 \(b\) 是 \(a\) 的倍数。
• 最大公约数：两个或多个自然数共有的最大正约数，记作 \(\gcd\)。
• 最小公倍数：两个或多个自然数共有的最小正倍数，记作 \(\operatorname{lcm}\)。
• 最大公约数的质因数形式：两个数的最大公约数由它们共有质因数的最低幂次之积构成。
• 最小公倍数的质因数形式：两个数的最小公倍数由各自全部质因数的最高幂次之积构成。
• \(a\times b=M\times L\) 关系：任意自然数 \(a,b\) 的乘积等于其最大公约数 \(M\) 与最小公倍数 \(L\) 的乘积。
• 互质：两个整数最大公约数为 \(1\) 时称其互质，等价于没有共同质因数。
• 互质符号 \(\perp\)：文中以 \(a\perp b\) 表示 \(a\) 与 \(b\) 互质。
• 互质与平方：两个自然数互质当且仅当它们的平方互质，即 \(a\perp b\Leftrightarrow a^2\perp b^2\)。
• 最简分数：分子与分母互质、无法再约分的分数，又称既约分数。
• 约分与通分：约分以最大公约数为依据，通分以最小公倍数为依据。
• 质数指数记数法：将自然数表示为按质数顺序排列的指数序列 \((n_2,n_3,n_5,n_7,\ldots)\)，其中 \(n_p\) 是质数 \(p\) 的幂次。
• 质数指数序列的尾零性：任一自然数的质数指数序列仅有有限个非零项，其余无限项均为零。
• 成分：质数指数记数法中每一质数位置对应的指数值称为该数的成分。
• 平方数的指数序列表示：一个自然数为平方数，当且仅当其质数指数序列的所有成分均为偶数，因而 \(1\) 也是平方数。
• 无限维质数空间：以所有质数为坐标轴的抽象空间中，每个自然数都对应唯一的质数指数向量。
• 二维近似模型：为使无限维质数空间可视化，可只使用质数 \(2\) 与 \(3\) 两条坐标轴构成二维近似图。
• 互质的几何表述：两个数互质可被形象化为它们的质数指数向量没有同一坐标轴同时取非零值，即彼此“垂直”。

奇偶性、逻辑与证明方法

• 奇偶性：整数依其能否被 \(2\) 整除而分为奇数与偶数，是数论推理的基础分类工具。
• 奇偶运算规则：奇数加奇数为偶数，偶数乘任意整数为偶数，奇数与偶数相加或相减为奇数。
• 奇偶分类法：可按偶偶、偶奇、奇偶与奇奇等组合分析整数、坐标或代数式的性质。
• 模 \(4\) 平方规律：偶数平方模 \(4\) 余 \(0\)，奇数平方模 \(4\) 余 \(1\)，可用于反证和不可能性判断。
• 数学语言符号化：把“偶数”“奇数”“平方数”等自然语言条件分别写为 \(2k、2k-1、k^2\) 等代数形式。
• 命题：可以明确判断真或假的数学陈述，例如“\(1+1=2\)”是命题，而“枫糖浆很好吃”不属于命题。
• 真命题与假命题：命题可依据逻辑或事实被判断为真或假，例如“\(1+1=3\)”为假命题。
• 矛盾：若同时得到命题 \(P\) 与非 \(P\)，或导出与既知定理冲突的结论，即构成矛盾。
• 反证法：先假设待证命题不成立，再从该假设推导矛盾，以证明原命题成立。
• 全称命题否定规则：“对任意 \(n\) 都成立”的否定是“存在某个 \(n\) 不成立”。
• 归纳法：从有限具体案例提炼一般规律的推理路径，例如从十二小时钟抽象出任意 \(n\) 个位置的巡回条件。
• 无穷递降法：通过假定最小正整数解存在，再构造更小正整数解以形成矛盾的反证技术。
• 无穷递降与归纳：无穷递降法被视为数学归纳法的一种特殊变体。
• 两两互质乘积平方引理：若 \(a,b,c,d\) 两两互质且 \(abcd\) 为平方数，则 \(a,b,c,d\) 均为平方数。
• 结构分析路径：处理整数问题时可依次分析奇偶性、质因数分解、乘积结构、互质性与参数化形式。
• 示例验证原则：具体例子被视为理解抽象命题的试金石，必须用于检验定义、规律与推导。
• 数学符号自主定义权：学习者可为表达需要定义新符号或函数，只要明确其意义并在推理中一致使用。
• \(\min(x,y)\) 函数：定义为返回 \(x,y\) 中不大于另一者的数，用于表达最大公约数的质数指数形式。
• 粘着问题去读：数学阅读应逐字确认定义、追问术语、反复核对条件，而非快速略读或背诵。
• 数学学习步骤：面对问题时需先读题、确认定义、写成公式、考察整数奇偶性，并持续追问变量所代表的对象。
• 证明能力培养：学习证明应亲手推演、在卡壳时查阅资料并重复练习，目标是独立理解而非机械复述。
• 学习与研究的区别：学习侧重掌握已有知识与标准方法，研究则面向未知问题，强调自主探索、试错与意义生成。

勾股数、单位圆与有理点

• 勾股定理：直角三角形的两条直角边 \(a,b\) 与斜边 \(c\) 满足 \(a^2+b^2=c^2\)。
• 勾股数：满足 \(a^2+b^2=c^2\) 的正整数三元组 \((a,b,c)\)。
• 基本勾股数：三元组 \((a,b,c)\) 满足勾股关系且最大公约数为 \(1\)，也称本原勾股数。
• 基本勾股数的两两互质性：基本勾股数中三边 \(a,b,c\) 两两互质，且不可能三者同为奇数。
• 斜边约束：直角三角形中斜边严格大于任一直角边，因此如 \(c-a\) 等差值为正自然数。
• 基本勾股数一般形式：任一本原勾股数组可写为 \((m^2-n^2,2mn,m^2+n^2)\)，允许前两项互换。
• 参数约束：一般形式中要求 \(mn0\)、\(m\perp n\)，且 \(m,n\) 一奇一偶。
• 毕达哥拉·榨汁机：将基本勾股数参数化生成过程拟人化、机械化的虚构数学装置。
• 水果与果汁隐喻：参数 \(m,n\) 被比作水果，勾股数组被比作经“榨汁机”产出的结果，强调生成关系。
• 单位圆：以原点为圆心、半径为 \(1\) 的圆，方程为 \(x^2+y^2=1\)。
• 有理点：平面直角坐标系中横纵坐标均为有理数的点。
• 勾股数与单位圆对应：通过 \((a/c,b/c)\) 可将整数勾股关系映射为单位圆上的有理点。
• 单位圆有理点参数化：以有理斜率 \(t\) 的直线构造单位圆点，可得 \(\left((1-t^2)/(1+t^2),2t/(1+t^2)\right)\)。
• 代数与几何统一：整数方程、单位圆有理点、斜率参数和几何直线被视为同一结构的不同表达。
• 谷山—志村猜想的早期象征意义：该猜想被引作在表面无关数学世界之间建立桥梁的典范。
• 直角三角形面积：直角边为 \(a,b\) 的直角三角形面积为 \(S=\frac12ab\)。
• 面积非平方定理：不存在三边均为自然数且面积恰为平方数的直角三角形。
• 面积平方与四次方：面积非平方定理是证明费马大定理四次方情形的重要核心引理。
• 分子—原子—基本粒子—夸克隐喻：自然数及其参数化分解被分层比作分子、原子、基本粒子与夸克，以表现结构的逐层还原。
• 基本粒子隐喻：互质偶数对 \(s,t\) 被称为基本粒子，用于更深一层参数化分析。
• 夸克隐喻：互质自然数对 \(u,v\) 被视为更深层构成单位，并配合 \(v\) 为奇数等条件参与分解。
• 数学旅行隐喻：证明过程被比作向矛盾前进的旅行，互质、参数化等知识被比作途中使用的武器和地图。
• 森林漫步隐喻：数学探索被比作在未知森林中前进，必须不断确认方向。
• 丝带隐喻：证明中已牢固建立的中间结论被比作系在树上的丝带，用于标记推理路径。
• 武器隐喻：基本公式、互质条件和基础技巧被比作可在复杂证明中使用的武器。

时钟、余数与同余系统

• 时钟巡回：在十二小时钟面上按固定步长顺时针移动并连线形成的路径。
• 级数：时钟巡回中每次跨越的空格数或步长参数，在十二刻度表盘中可取 \(1\) 至 \(11\)。
• 完全巡回：固定步长能够遍历钟面全部数字各一次并回到起点的现象。
• 最小巡回数：巡回路径所形成数字集合中的最小正整数，对十二刻度时钟等于步长与 \(12\) 的最大公约数。
• 完全巡回条件：表盘数字总数与级数互质时，巡回可遍历全部位置。
• 余数的自然数定义：对自然数 \(a,b\)，存在唯一 \(q,r\) 使 \(a=bq+r\) 且 \(0\le r<b\)，其中 \(q\) 为商、\(r\) 为余数。
• 整数模运算定义：对整数 \(a,b\) 且 \(b\neq0\)，存在唯一整数 \(q,r\) 满足 \(a=bq+r\) 且 \(0\le r<|b|\)，并定义 \(a\bmod b=r\)。
• 时钟的模映射：时针位置可写作经过小时数的 \(h\bmod12\)，钟面上的 \(12\) 为方便计算被约定为 \(0\)。
• 同余式：\(a\equiv b\pmod m\) 表示 \(a,b\) 除以 \(m\) 的余数相同，等价于 \(m\mid(a-b)\)。
• 同余符号 \(\equiv\)：专门表示同余关系，形似等号以强调二者在结构上的相似性。
• 同余运算律：若 \(a\equiv b\pmod m\)，则加、减、乘同一整数后仍保持同余。
• 同余除法限制：从 \(a\equiv b\pmod m\) 不能无条件地同时除以同一数，除数通常需与模互质或满足额外整除条件。
• 时钟模型：在模 \(12\) 下，\(3\) 与 \(15\) 表示同一时针位置，用以直观说明同余的本质。
• 同余与全等的语言关联：日语中“同余”与几何“全等”同用“合同”一词，体现不同领域对结构相同的类比。
• 模运算的折叠无限：模 \(m\) 把无限整数按余数压缩为有限个剩余类，是把无限映射到有限的机制。
• \(\mathbb Z_{12}\)：集合 \(\{0,1,\ldots,11\}\) 代表模 \(12\) 的十二个剩余类。
• 模 \(12\) 乘法 \(\otimes\)：定义 \(a\otimes b=(a\times b)\bmod12\)，在 \(\mathbb Z_{12}\) 上封闭。
• \(\mathbb Z_{12}\) 非群性：模 \(12\) 乘法下 \(0\) 无逆元，且 \(2、3、4、6、8、9、10\) 等非零元素也无逆元，因此整体不构成群。
• 乘法逆元：模 \(m\) 下 \(C\) 存在乘法逆元 \(C'\) 当且仅当 \(\gcd(C,m)=1\)，并满足 \(CC'\equiv1\pmod m\)。
• 同余消去法则：若 \(aC\equiv bC\pmod m\) 且 \(C\perp m\)，则可推出 \(a\equiv b\pmod m\)。
• 既约剩余类群：所有与 \(m\) 互质的模 \(m\) 剩余类在乘法下构成群，记作 \((\mathbb Z/m\mathbb Z)^\times\)。
• 模 \(12\) 的既约剩余类群：\(\{1,5,7,11\}\) 在模 \(12\) 乘法下构成四阶阿贝尔群。
• 发型取模类比：人物外表如发型的变化可被视为某种等价关系下被忽略的差异，用于说明同余保留本质而舍弃细节。

复数、复平面与指数函数

• 虚数单位 \(i\)：满足 \(i^2=-1\) 的数学对象，是复数体系的基础。
• 复数：形如 \(a+bi\) 的数，其中 \(a,b\) 为实数。
• 复平面：横轴为实轴、纵轴为虚轴的二维坐标平面，复数 \(a+bi\) 对应点 \((a,b)\)。
• 复数的向量表示：复数可被视为从原点指向复平面对应点的向量。
• 绝对值：\(|a+bi|\) 表示复数到原点的欧几里得距离。
• 幅角：\(\arg(a+bi)\) 表示复数向量与正实轴的夹角。
• 极坐标表示：复数可用模长 \(r\) 与幅角 \(\theta\) 写成极坐标形式，以替代直角坐标 \((a,b)\)。
• 复数加法的几何意义：两个复数相加对应向量平行四边形法则，对角线表示和。
• 复数乘法的几何意义：两个复数相乘时模长相乘、幅角相加。
• 平方根 \(-1\) 的几何解释：\(i\) 与 \(-i\) 位于单位圆上幅角 \(\pm90^\circ\) 处，平方等价于连续两次旋转 \(90^\circ\)。
• 复平面格点：横纵坐标均为整数的复平面点称为格点。
• 中点公式：两点 \((x,y)\)、\((x',y')\) 的中点为 \(\left((x+x')/2,(y+y')/2\right)\)。
• 鸽笼原理：把 \(n+1\) 个物体放入 \(n\) 个容器时，至少有一个容器含两个或更多物体。
• 指数：位于底数右上方的符号，朴素的“重复相乘次数”解释只适用于自然数指数。
• 底数：幂运算中被乘方的数，例如 \(2^3\) 中的 \(2\)。
• 指数运算法则：如 \(2^s\cdot2^t=2^{s+t}\) 的规则是指数概念扩展至整数、有理数、实数和复数的核心。
• 整数指数扩展：由 \(2^1=2\) 与指数运算法则可一致定义所有正、零、负整数指数。
• 有理数指数扩展：例如 \(2^{1/2}\) 定义为唯一满足 \(x^2=2\) 且 \(x0\) 的正实数。
• \(\sqrt2\) 的定义：\(\sqrt2\) 指平方后等于 \(2\) 的正数。
• 自然对数底 \(e\)：约为 \(2.71828\ldots\) 的无理数，是指数函数 \(e^x\) 的底。
• 圆周率 \(\pi\)：约为 \(3.14159265\ldots\) 的无理数，表示圆周长与直径之比。
• 微分方程：描述函数及其导数关系的方程，\(d(e^x)/dx=e^x\) 是指数函数的特征关系。
• 幂级数：形如 \(a_0+a_1x+a_2x^2+\cdots\) 的无穷级数，可用于解析定义函数。
• 微分法则：常数函数导数为零、幂函数 \(x^k\) 的导数为 \(kx^{k-1}\)，构成幂级数推导基础。
• 泰勒展开：函数可在某点附近由各阶导数构造为幂级数，\(e^x=\sum_{k=0}^{\infty}x^k/k!\) 被作为指数函数定义。
• 欧拉公式：\(e^{i\theta}=\cos\theta+i\sin\theta\)，统一指数函数、三角函数与复数几何。
• 欧拉恒等式：\(e^{i\pi}+1=0\) 或 \(e^{i\pi}=-1\) 被称为最美的数学公式。
• 正弦函数：\(\sin x\) 可被定义为单位圆对应角度的纵坐标，是周期函数。
• 余弦函数：\(\cos x\) 可被定义为单位圆对应角度的横坐标，是周期函数。
• \(i\) 的四循环：\(i\) 的幂依次循环为 \(1,i,-1,-i,1\)，连接代数运算与旋转周期性。
• 周期性映射：\(e^{i\theta}\) 具有 \(2\pi\) 周期性，对应单位圆上角度增加一整周后位置不变。
• 概念架桥机制：幂级数与欧拉公式使指数函数、三角函数、复数和单位圆获得统一的形式表达。
• 数学公式信赖原则：数学对象应优先依其所满足的公式和规则理解，而非依赖日常直观类比。

高斯整数与代数结构

• 高斯整数 \(\mathbb Z[i]\)：所有形如 \(a+bi\) 且 \(a,b\in\mathbb Z\) 的复数构成的集合。
• \(\mathbb Z\subset\mathbb Z[i]\)：整数可视为虚部为零的高斯整数，因此整数环嵌入高斯整数结构。
• 一维与二维离散结构：\(\mathbb Z\) 对应数轴上的离散点，\(\mathbb Z[i]\) 对应复平面上的二维格点阵列。
• 可粉碎的质数：在 \(\mathbb Z\) 中为质数、在 \(\mathbb Z[i]\) 中却能分解为非单位高斯整数乘积的质数。
• \(2\) 的高斯分解：\(2=(1+i)(1-i)\)，因此 \(2\) 是可在高斯整数中粉碎的整数质数。
• 无法粉碎的质数：在 \(\mathbb Z\) 和 \(\mathbb Z[i]\) 中都保持不可分解性质的质数，例如 \(3\)。
• 质数模 \(4\) 分类：奇质数 \(p\equiv1\pmod4\) 时在 \(\mathbb Z[i]\) 中可分解，\(p\equiv3\pmod4\) 时仍不可分解。
• 唯一分解的局限：整数环的质因数唯一分解性质在部分代数整数环 \(\mathbb Z[\alpha]\) 中会失效。
• 拉梅—柯西证明失败：1847年针对费马大定理的尝试因在更广泛代数整数环中错误假设唯一分解而失败。
• 理想：戴德金以集合形式建立的代数结构，用于恢复或替代失效的唯一分解机制。
• 正规质数：库默尔定义的一类质数，费马大定理在这类指数上已被证明成立。

群、环、域与同构

• 运算闭集：集合 \(G\) 对运算 \(\circ\) 闭合，指任意 \(a,b\in G\) 的运算结果仍属于 \(G\)。
• 抽象运算符：\(\circ\)、\(\ast\)、\(\star\)、\(+\) 与 \(\times\) 可以只是满足公理的运算记号，不必等于日常算术。
• 结合律：对任意 \(a,b,c\)，满足 \((a\ast b)\ast c=a\ast(b\ast c)\)。
• 交换律：对任意 \(a,b\)，满足 \(a\ast b=b\ast a\)。
• 单位元：集合中满足 \(e\ast a=a\ast e=a\) 的元素，且在群中唯一。
• 逆元：对元素 \(a\)，若存在 \(b\) 使 \(a\ast b=b\ast a=e\)，则 \(b\) 是 \(a\) 的逆元。
• 群：同时满足封闭性、结合律、单位元存在与每个元素均有逆元的集合及二元运算结构。
• 阿贝尔群：额外满足交换律的群。
• 整数加法群：全体整数 \(\mathbb Z\) 在通常加法下构成群，单位元为 \(0\)，逆元为 \(-a\)。
• 整数乘法非群：\(\mathbb Z\) 在通常乘法下不构成群，因为多数整数不具有整数范围内的乘法逆元。
• 奇数加法非群：奇数集合对加法不封闭，例如 \(1+3=4\) 不是奇数。
• 偶数加法群：偶数集合在加法下封闭，包含单位元 \(0\)，每个元素的相反数仍为偶数。
• 单元素群：\(\{e\}\) 且 \(e\star e=e\) 构成最小的群。
• 二元群：\(\{e,a\}\) 满足 \(a\star a=e\) 时构成二元群，所有二元群彼此同构。
• 模 \(2\) 加法群：\(\{\text{偶数},\text{奇数}\}\) 在奇偶分类加法下构成二元群。
• 符号二元群：\(\{\star,\blackstar\}\) 可通过指定 \(\star\) 为单位元、\(\blackstar\blackstar=\star\) 构造二元群。
• \(\{+1,-1\}\) 乘法群：以 \(+1\) 为单位元、\((-1)\times(-1)=+1\) 的二元阿贝尔群。
• 二元群必为阿贝尔群：二元群的全部可能运算组合自动满足交换律。
• 运算表：以表格穷举有限集合中二元运算全部结果，是显式定义有限群的工具。
• 同构：两个群之间存在保持运算的一一对应时称其同构，说明二者在抽象结构上完全等价。
• 方程 \(x^2=1\) 的解群：\(\{-1,+1\}\) 在乘法下构成二元阿贝尔群。
• 方程 \(x^3=1\) 的解群：\(\{1,\omega,\omega^2\}\) 在乘法下构成三元阿贝尔群，其中 \(\omega=e^{2\pi i/3}\)。
• 单位根群：\(x^n=1\) 的 \(n\) 个复数解 \(\{e^{2\pi ik/n}\mid k=0,\ldots,n-1\}\) 在乘法下构成 \(n\) 元阿贝尔群。
• 单位圆等分点：\(n\) 次单位根位于单位圆上，幅角为 \(2\pi k/n\)，对应正 \(n\) 边形顶点。
• 正三角形与三次单位根：正三角形顶点对应 \(1,\omega,\omega^2\)。
• 正方形与四次单位根：正方形顶点对应 \(1,i,-1,-i\)。
• 环：在同一集合上具有加法与乘法，其中加法构成阿贝尔群、乘法满足结合律，并且两种运算满足分配律。
• 含单位交换环：文中采用的严格环定义包含乘法单位元且乘法可交换。
• 分配律：\((a+b)c=ac+bc\) 连接加法和乘法，是环与域区别于单一群结构的关键公理。
• 整数环 \(\mathbb Z\)：全体整数在通常加法、乘法下构成无限的线性有序环。
• 剩余类环 \(\mathbb Z/m\mathbb Z\)：模 \(m\) 的同余类在模加法、模乘法下构成有限环，具有周期性和圆环意象。
• 域：在环的基础上要求所有非零元素均有乘法逆元，非零元素在乘法下构成阿贝尔群。
• 有理数域 \(\mathbb Q\)：全体分数在加法和乘法下构成可数无限域。
• 有限域 \(\mathbb F_p\)：当 \(p\) 为质数时，\(\mathbb Z/p\mathbb Z\) 构成含 \(p\) 个元素的域，又称伽罗瓦域 \(GF(p)\)。
• 模除法可行性：在 \(\mathbb Z/m\mathbb Z\) 中，\([a]\) 能除以 \([b]\) 当且仅当 \(b\) 与 \(m\) 互质。
• “ring”术语来源：环的德语词“Zahlring”由希尔伯特使用，可能与剩余类循环结构或圆环意象相关。
• “field”术语来源：域对应德语“Körper”，由戴德金使用，英语译为 field，但命名具体缘由未明。
• 椭圆曲线点群：椭圆曲线上的点集可赋予阿贝尔群结构，满足群的全部公理及交换律。
• 辫群：辫群是实际存在的代数结构，其可被讨论的前提是其公理系统无矛盾。

费马大定理与数学史

• 费马大定理：对整数 \(n2\) 或 \(n\ge3\)，方程 \(x^n+y^n=z^n\) 不存在正整数或自然数解。
• 费马猜想：费马大定理在尚未被严格证明时的历史名称。
• \(FLT(n)\)：费马大定理在固定指数 \(n\) 下的子命题，例如 \(FLT(3)\)、\(FLT(4)\)、\(FLT(6)\)。
• 指数归约：借助已证明指数情形，将一般指数归约为质数指数或其倍数情形进行分析。
• \(FLT(6)\) 与 \(FLT(3)\)：利用 \(x^6=(x^2)^3\) 可将六次方情形转化为三次方结构。
• \(FLT(4)\)：四次方方程 \(x^4+y^4=z^4\) 无自然数解，可通过无穷递降与面积非平方定理证明。
• 费马的无穷递降：费马以无穷递降法证明四次方情形，并将其作为费马大定理历史的重要基石。
• 丢番图《算术》：费马大定理的历史源头之一，费马在其巴歇译本边页留下著名批注。
• 巴歇译本与费马批注：费马对丢番图文本的边注成为后世追索其“大妙证明”的起点。
• 山缪重印：费马批注经山缪整理重印，使该命题进入现代数学传播链条。
• 数学接力：从古典文本、译本、费马批注、重印本到现代教材和公开研讨会，构成跨时代知识传承。
• 1986年的景色：以公元1986年为思想实验时间点，区分当时数学界已证明成果与尚未解决的谷山—志村猜想。
• 1955年：谷山丰与志村五郎在战后十年的日本数学国际会议背景下提出谷山—志村猜想。
• 1993年：安德鲁·怀尔斯首次宣布费马大定理证明，但随后发现证明存在缺陷。
• 1994年：怀尔斯与理查德·泰勒发表修正后的证明。
• 1995年：怀尔斯的费马大定理证明被视为正式完成并获得数学界承认。
• 1999年：谷山—志村猜想被完全证明，成为谷山—志村定理。
• 已证明命题标记：在1986年时，\(FLT(3)、FLT(4)、FLT(5)、FLT(7)\) 等被标为已证明成果。
• 未证明命题标记：在1986年时，谷山—志村猜想仍属于开放问题。
• 公开研讨会：大学面向约二百名社会听众举办数学科普讲座，主题可聚焦费马大定理等经典或前沿问题。
• 大学冬季公开研讨会：村木老师连续多年推荐学生参加的开放学术活动。
• 《费马大定理》：西蒙·辛格的科普著作，被作为费马大定理、谷山—志村猜想和数学史的参考来源。
• 《数论 I》：加藤和也、黑川信重、斋藤毅合著文献，被用于引用高斯整数中质数按模 \(4\) 分解的知识。
• 《A Logical Approach to Discrete Math》：David Griess 与 Fred B. Schneider 的著作，被作为逻辑方法参考文献。
• 《具体数学：计算机科学基础：葛立恒、高德纳、帕塔许尼克的著作，被引用为以 \(\perp\) 表示互质的文献依据。
• 《虚数的情绪》：吉田武著作，被引述以哲学化语言赞誉欧拉公式。

椭圆曲线、模形式与 Zeta 函数

• 椭圆曲线：在有理数域上可写作 \(y^2=x^3+ax^2+bx+c\) 且右侧三次方程无重根的代数曲线。
• 椭圆曲线的阿贝尔群结构：椭圆曲线的有理点可定义加法，使其成为阿贝尔群。
• 弗赖曲线：若费马大定理存在反例 \(a^p+b^p=c^p\)，可构造 \(y^2=x(x-a^p)(x+b^p)\) 形式的特殊椭圆曲线。
• 弗赖曲线的矛盾作用：弗赖曲线被证明若由费马反例构成则不是模形式，成为反证费马大定理的关键对象。
• 归约：将 \(\mathbb Q\) 上的椭圆曲线转移到有限域 \(\mathbb F_p\) 上考察的过程。
• 好的归约：椭圆曲线在质数 \(p\) 归约后对应方程没有重根。
• 乘法归约：椭圆曲线在质数 \(p\) 归约后出现二重根。
• 加法归约：椭圆曲线在质数 \(p\) 归约后出现三重根。
• 半稳定椭圆曲线：对任意质数 \(p\)，只具有好归约或乘法归约、没有加法归约的椭圆曲线。
• 弗赖曲线的半稳定性：弗赖曲线属于半稳定椭圆曲线，因此能进入怀尔斯定理的适用范围。
• 怀尔斯定理：每一条半稳定椭圆曲线都对应一个模形式。
• 谷山—志村猜想：每一条有理数域上的椭圆曲线都对应一个模形式或自守形式。
• 谷山—志村定理：谷山—志村猜想获得完全证明后的定理名称，连接代数几何与解析数论。
• 反证证明链：假设费马大定理不成立会构造出弗赖曲线，而弗赖曲线的非模性与半稳定椭圆曲线模性相冲突。
• 自守形式：满足特定线性分式变换规律的复变函数，在变换 \(z\mapsto(az+b)/(cz+d)\) 下可乘以 \((cz+d)^k\) 保持形式。
• 自守形式的权：变换规律中指数 \(k\) 称为自守形式的权。
• 模形式：满足更严格同余群条件的特殊自守形式，例如变换参数中的 \(c\) 要求为 \(32\) 的倍数。
• \(q\) 展开：令 \(q=e^{2\pi iz}\)，将自守形式写成 \(F(q)=\sum a(k)q^k\) 的幂级数形式。
• \(q\) 展开系数：系数列 \(a(k)\) 承载自守形式的重要解析与算术信息。
• \(s(p)\) 函数：椭圆曲线在有限域 \(\mathbb F_p\) 上的解点数，记作 \(s(p)\)。
• 代数 Zeta 函数：椭圆曲线的 \(L_E(s)\) 由各有限域上的局部点计数经欧拉乘积构成。
• 解析 Zeta 函数：自守形式的 \(L_F(s)\) 由其 \(q\) 展开系数构成，体现解析性质。
• Zeta 统一表述：谷山—志村定理可表述为“代数 Zeta＝解析 Zeta”，即椭圆曲线与模形式的两种描述一致。
• 棱镜比喻：有理数域 \(\mathbb Q\) 被比作白光，有限域 \(\mathbb F_p\) 被比作分光后的单色光，局部信息合成可反映整体性质。
• 阿里阿德涅之线：希腊神话中的线被用作数学探索隐喻，表示必须沿着严密逻辑线索逐层深入。

教育制度、学习环境与教学机制

• 图书室：位于学校尽头、冬暖夏凉的学习空间，是人物课后自主进行数学探究、阅读与演算的固定场所。
• 图书室自主学习：图书室不只是完成作业的地点，更被设定为学生独立提出问题、研究规律和偶遇同伴的场域。
• 家庭数学教育：家庭中的数学讨论具有对话式、具象化、反复确认定义和强调心理安全感的特点。
• 日本中学数学课堂常态：教师讲授后以“大家都听懂了吧？”笼统确认理解，学生常因羞怯或从众而不敢提问。
• 高中数学讨论日常：数学学习可发生在教室、午餐、放学后、走廊、病房等正式与非正式场景中。
• 放学后学习惯例：米尔嘉、泰朵拉与“我”习惯在放学后聚集讨论数学。
• 村木老师的卡片教学法：教师发放无提示或开放性的数学问题卡，引导学生自行探索而非直接接受标准答案。
• 双卡片教学法：村木老师以分别侧重代数与几何的两张卡片，引导学生发现不同领域问题的统一结构。
• 卡片问题的开放性：卡片问题不必直接服务考试，而是用于深化概念、训练证明和激发研究意识。
• “打破砂锅问到底”精神：持续追问未知、拒绝满足于表面答案，被视为优质学习态度。
• 问题驱动研讨：师生与学生之间通过举例、运算表、模型和协作推理推进理解。
• 错误响应模式：尤里常以“我不知道”回避思考，米尔嘉将其解释为害怕犯错而非能力不足。
• 即时反馈与情感支持：米尔嘉通过鼓励回答、允许试错和持续追问，帮助学习者突破犯错恐惧。
• 索引与目录区分：目录在书前按章节页码排列，索引在书末按字母顺序列出术语与页码，供查找定义使用。
• 书写习惯：工整记笔记被视为持续数学学习的重要实践，其源头可追溯至小学教师对数字书写的表扬。
• 小学除法教学：学生齐声朗读“除——数——”，在早期课堂中建立商与余数的概念。
• 大学与高中连接：高中教师推荐学生参加大学公开研讨会，使校园学习与专业数学共同体建立通道。
• 学园祭印象：喧闹的大学学园祭曾令“我”感到幻灭，与安静、严肃的数学研讨会形成对比。

社会关系、校园与医疗环境

• 兄妹关系：尤里与“我”被界定为四亲等旁系血亲，即同源祖父母的孙辈。
• 四亲等旁系血亲：这是法律与亲属关系术语，用于说明人物之间具有较远但明确的血缘联系。
• 未成年身份：未成年作为法律与社会身份限制，被米尔嘉类比为可能如同公理般塑造行为结构的外部制约。
• 钢琴爱好者协会“最强音”：学校内以钢琴演奏为核心的社团，盈盈担任会长。
• 校园公共空间：放学后的音乐教室、图书室、教室和走廊可供学生跨班自由交流。
• 住宅区小路：学校与车站之间曲曲折折的通勤路线，是人物相遇与追赶的日常空间。
• “豆子”咖啡店：车站附近的学生常去咖啡馆，设有适合并排看笔记的座位。
• 毕达哥拉·榨汁机设备：咖啡店“豆子”内设有同名橙汁制作设备，与数学隐喻形成现实与想象的双重对应。
• 中央医院：尤里和米尔嘉均曾接受治疗或住院的医疗机构。
• 交通事故：米尔嘉因交通事故被救护车送往中央医院，接受手术并住院三天。
• 国道十字路口：事故发生地设有红绿灯，卡车撞击灯柱后使其半毁。
• 中央医院手术室 A：米尔嘉术后苏醒并开始授课的空间，具有消毒液气味、护士、帘幕和病号服等医院特征。
• 病房教学：米尔嘉即使住院也在病房继续进行数学讨论，体现人物将数学融入生活的习惯。
• 病号餐：医院餐食因被评价为多方面“差口气”，成为讨论制约如何创造结构的现实契机。
• 拐杖使用：米尔嘉因脚部伤病暂时使用可弃用的拐杖，表现其康复进程。
• 教室：人物共同讨论模运算、群、环等问题的主要学习空间。
• 走廊与厕所门口：夕阳照入的走廊和厕所门口构成角色等待、近距离接触与内心思考的过渡场景。
• “我”的房间：人物夜间复盘数学推理、人生感受和关系变化的私人空间。
• 日本高中校园习惯：包括放学广播、学长学姐称呼和课后自主学习等日常文化。

家庭生活、饮食与日常物件

• 可可：母亲常端来的热饮，是家庭关怀与夜间学习场景的温情细节。
• 热可可惯例：母亲坚持给“我”准备热可可而非咖啡，体现其对成长阶段的照顾与认知。
• 可可饮料：尤里称其“超级好喝”，呈现轻松的家庭互动。
• 晚餐协商：兄妹以“有活力”“洋气”“有日本情调”等要求讨论晚餐，反映平等而玩笑化的家庭沟通。
• 超辣茄子咖喱饭：母亲制作的融合料理，被赋予健康、活力、洋气与日本情调等多重属性。
• 茄子咖喱饭：人物共同食用的餐食，关联辛辣体验与费马大定理讨论。
• 薄煎饼与枫糖浆：家庭餐后点心，枫糖浆被设定为加拿大原产的百分之百纯天然产品。
• 红茶：由母亲准备的餐后饮品。
• GODIVA 巧克力：叙述者母亲珍藏的巧克力品牌，作为深夜思考时的补给。
• 奇巧威化巧克力：米尔嘉赠予“我”的零食，作为诚实回答的趣味奖励，并触发数学联想。
• 手卷寿司：母亲为庆功宴提出的家庭餐饮方案之一。
• 豪华版餐食：母亲提出的另一种庆功宴方案，表现家庭生活的仪式感。
• 家中钢琴：盈盈出席庆功宴的必要条件，并使母亲开始准备调音。
• 带“M”挂件的铅笔盒：泰朵拉随身物品，具有个人情感象征意义。
• 梦幻日程本：泰朵拉随身使用的个人物件，引发“我”对其情感对象的猜测。
• 眼镜与胸前口袋：尤里习惯佩戴眼镜，也会摘下眼镜放入胸前口袋。
• 马尾辫与栗色头发：尤里的栗色头发在光线中可呈现金色，其马尾辫随动作上下摆动。
• 生长痛：尤里脚跟疼痛被推测可能与青春期身体成长有关。

城市、自然与游乐场景

• 冬季城市环境：故事中的部分事件发生在寒冷周六午后，人物活动于房间、天桥、学校、街道和公共设施之间。
• 过街天桥：连接道路两侧的步行设施，是冬季城市漫步路线的一部分。
• 小学操场：正门关闭而后门可进入，空无一人，供人物进行交谈、思考和活动。
• 秋千：小学操场的日常游乐设施。
• 攀吊架：小学操场中的攀爬游乐设施。
• 正十二面体旋转设施：操场内呈正十二面体线框形状的旋转游乐设施，以几何形态呼应数学主题。
• 滑梯：尤里在滑梯顶端提及能量从最高位置变化，表现基础物理常识融入日常对话。
• 能量守恒类比：从高处运动到低处的变化被作为自然现象和数学思维外延的轻量参照。
• 自动贩卖机：冬季街道旁的日常城市设施。
• 长椅：人物在户外停留、交谈和思考的公共设施。
• 星星图鉴：学校图书室中的大本印刷图鉴，收录恒星照片并成为天文与数学联想媒介。
• 恒星图鉴对象：织女星、牛郎星、天津四、南河三、天狼星和参宿四等恒星被作为图鉴内容提及。
• 银河的物理本质：银河是大量恒星汇聚形成的视觉现象，而非真实存在的河流。
• 表象与真实：银河并非河流的认识被用来类比数学中对对象真实本质的追问。
• 正六角形雪花：结尾雪花晶体的六重对称结构象征自然界中的数学秩序。

文学、音乐与文化参照

• 《银河铁道之夜》：宫泽贤治创作的童话小说，是全书反复引用的文学底本。
• 银河铁道意象：作品中的银河、天河、天鹅车站和遥远旅程意象，为数学探索赋予诗意、孤独与理想主义色彩。
• “数星星的人”与“画星座的人”：借银河铁道之夜相关意象区分观察对象与构造关系的不同认识方式。
• “真实的样子”之问：作品中“猫老师”的追问被用于引出对银河与数学本质的哲学思考。
• 遥远之地的孤独：章节题记中“为什么没有人跟随自己走向那遥远的地方”隐喻数学探索者的孤独。
• 天河知识意象：银河被用来比喻知识纵深、认知密度和无限探索空间。
• 谨慎挖掘意象：银河铁道之夜中“不能乱来”的引文被用作数学探索须谨慎处理前提与结构的隐喻。
• 沙粒与火焰意象：柯贝内拉关于沙粒如水晶、内含火焰的描述象征微小数学对象蕴含深层力量。
• “究竟是什么东西”之问：作品引文被用于强调对数学对象本质的持续追问。
• 《Greensleeves》：传统英国民谣，是米尔嘉童年时母亲为其编辫子所唱的歌曲，承载亲情记忆。
• 斐波那契数列手势：泰朵拉告别时做出的随意手势，表现数学兴趣进入日常表达。
• Zeta·变奏曲：米尔嘉创作、盈盈演奏的钢琴曲，以音乐隐喻 Zeta 函数多重变体及数学结构和谐。
• 数学与音乐的对应：钢琴、社团、演奏和 Zeta·变奏曲共同建立数学结构与艺术节奏之间的文化连接。

角色档案

主角家庭与亲属

• “我”／哥哥／叙述者：高中二年级男生与第一人称主人公，尤里的表哥或兄长，热爱数学并长期在家中及图书室组织、讲解数论与高等数学问题。
• 尤里：初中二年级左右的少女，“我”的表妹或妹妹，戴树脂框眼镜、常扎系丝带的马尾，曾因脚伤住院或使用拐杖，爱撒娇并常以“喵”作语气词，具有敏锐的数学直觉。
• “我”的母亲／妈妈：主人公的母亲、尤里的姨母或共同监护人，热情好客且擅长料理，经常准备可可、红茶、茶点、薄煎饼及庆功宴餐食并关心孩子们的健康与学习。
• “我”的父亲：主人公父亲，和母亲组成主人公的核心家庭，虽未直接出场但被明确提及。
• 尤里的母亲／尤里妈妈：主人公母亲的姐妹、尤里的母亲，性格热情健谈，曾误将泰朵拉认作“我”的女朋友并邀其单独谈话。
• 米尔嘉的哥哥：米尔嘉已故的兄长，在米尔嘉小学三年级时去世，其死亡构成米尔嘉重要的情感创伤。

学校数学学习小组

• 米尔嘉：与“我”同为高二学生的黑发数学才女，常戴眼镜，逻辑严谨而富有诗性表达力，长期主导数论、群论、环域、复数、椭圆曲线及费马大定理等讨论，曾受伤住院并被尤里敬称为“米尔嘉大人”。
• 泰朵拉：主人公的高中学妹或同校学生，短发、大眼睛且性格率直活泼，常由具体例子理解抽象概念，积极参与勾股数、群论、同余与费马大定理讨论，并对“我”怀有隐秘好感。
• 盈盈：与“我”、米尔嘉同年级不同班的高中生，“最强音”钢琴爱好者协会会长，擅长演奏巴赫作品并与米尔嘉四手联弹，性格开朗且重视聚会仪式感。
• 都宫：曾与“我”和米尔嘉在村木老师推荐下共同参加大学公开数学研讨会的高中生。
• 村木老师：高中数学教师，以卡片发布课程外开放性探究题，持续引导学生研究基本勾股数、直角三角形面积等问题，并推荐学生参与大学公开研讨会。
• 瑞谷老师：学校图书室管理员或负责放学管理的教师，戴深色眼镜，行事极有规律，会通过广播或准时宣告提醒学生离校。
• 未具名老师：学校中只布置证明题、却较少引导学生发现问题过程的教育者，作为村木老师教学方式的对照被提及。

文学与教育界引用人物

• 猫老师：宫泽贤治银河铁道之夜中被引用的教师角色，以追问“白茫茫的一片”是什么来引导学生探究事物本质。
• 宫泽贤治：日本作家，银河铁道之夜的作者，其作品中的地质考证与追问精神被用于映照数学研究。
• 高木贞治：日本数学教育家，被引用其关于数学归纳法及高斯路径的格言。
• 山本裕子：教育学者，提出学习与研究的差异，并强调研究未知答案过程本身的魅力。

古典与近代数学史人物

• 丢番图：3世纪古希腊数学家，算术作者，费马大定理最初写于其著作页边批注的背景之中。
• 巴歇：17世纪法国学者，将丢番图算术译介为希腊语与拉丁语，为费马阅读和批注该书提供版本基础。
• 费马：17世纪法国律师与数学家，在算术页边提出费马大定理并声称拥有未写下的“美妙证法”，亦为无穷递降法的创立者。
• 山缪：费马之子，重印附有父亲批注的算术，使费马大定理得以流传。
• 帕斯卡：17世纪数学家，曾被举为早期未能正确接受负数运算观念的历史例证。
• 欧拉：18世纪数学家，首次清晰阐释数轴正负延伸，并证明费马大定理的三次方情形。
• 狄利克雷：19世纪数学家，与勒让德合作完成费马大定理五次方情形的证明。
• 勒让德：19世纪数学家，与狄利克雷合作证明费马大定理五次方情形。
• 拉梅：19世纪法国数学家，证明费马大定理七次方情形，并曾参与1847年围绕费马大定理的证明竞赛。
• 柯西：19世纪数学家，曾与拉梅同期以复数域分解方法尝试证明费马大定理。
• 苏菲·姬曼：19世纪法国女数学家，是在费马大定理一般情形研究中最早取得实质性突破的女性数学家。
• 库默尔：19世纪德国数学家，发现特定代数整数环中唯一分解失效，提出理想数概念，并证明费马大定理对正规质数成立。
• 戴德金：19世纪德国数学家，以集合与运算规则系统化理想概念，奠定现代理想理论。
• 谷山丰：20世纪日本数学家，1955年与志村五郎共同提出谷山－志村猜想。
• 志村五郎：20世纪日本数学家，1955年与谷山丰共同提出谷山－志村猜想。
• 弗赖：1985年提出弗赖曲线的德国数学家，揭示费马大定理反例与谷山－志村猜想之间的关键联系。
• 赛尔：法国数学家，将谷山－志村猜想严格公式化，推动其成为可精确研究的命题。
• 黎贝：在谷山－志村猜想与弗赖曲线关联的研究中取得关键进展的数学家。
• 怀尔斯：英国数学家，1993年宣布费马大定理证明，并于1994年完成修正后的最终证明。
• 泰勒：英国数学家，与怀尔斯合作修正证明缺陷，完成半稳定椭圆曲线模性结果并促成费马大定理最终证明。