开云体育 数论那些事儿之高斯和《数论探究》

今天给读者一又友们先容一下大数学家 Gauss 和他的专著《数论探究》的内容 ， 但愿读者能心爱 . 更多精彩内容请温雅：

从19世纪启动 ， 数论逐渐成为当代数学中的主流且同期产生了代数数论妥协析数论两大分支 ， 原因就在于表面上的系统化和考虑法子上的立异 ， 这就不得不说起大数学家 Gauss 和他的《数论探究》一书 . 而《数论探究》的序论里写谈 ， Euclid 和 Diophantine 齐考虑了数论中的许多迥殊的划定 ， 但数论需要由一般原则 ， 这些原则已经由 Fermat ， Euler ， Lagrange 和 Legendre 启动考虑 . 《数论探究》一书共有七章 ， 前四章远离是同余 ， 一次同余 ， 幂剩余和原根指数 ， 二次同余和二次互反律 ， 当先在这一部分 Gauss 经受了同余式符号 ， 系统地阐发了同余式运算法规和模 同余类的宗旨 ， 并严格地讲明了一系列对于同余性质的蹙迫定理(如 Fermat 小定理 ， Euler 定理等) . 其次 Gauss 在这一部分论说了原根和指数的宗旨和性质 ， 用当代数学的谈话来说便是考虑有限 Abel 加法群 和乘法群 的结构 ， Gauss 严格讲明了乘法群 是轮回群 ， 其中 是素数 ， 而该群的生成元是模 的原根 ， 事实上原根存在定理是由 Euler 提议来的 ， 只不外 Gauss愚弄指数表面计议出模 的原根共有 个 ， 其中模 的原根便是 阶乘法轮回群 的生成元 . 然后 Gauss 还给出了一次和二次同余方程的解法并用来求一次和二次不定方程的整数解 ， 即 Gauss 叙述了一次不定方程求整数解的圆善表面 ， 对于一元二次同余方程 ， 则经受配法子把问题归结为最基本的情形 ， 由此培植了二次剩余的宗旨和性质 ， 二次剩余表面的中枢部分是二次互反律 ， 而二次互反律的培植是 Gauss 的一项伟大的责任 ， 它为代数数论的发展提供了源流 .

《数论探究》的第五章和第六章则论说了二次不定方程 的整数解问题和具体应用 ， 其中 ， 若是上头的二元二次不定方程有整数解 ， 那么称二元二次型 暗示整数 . 于是 Gauss 考虑底下的一般问题 ， 即一个固定的二元二次型 不错暗示哪些整数 ？

对于这个问题 ， Gauss 并不是对二元二次型一一进行考虑 ， 而是对扫数的二元二次型加以分类 ， 他陆续使用 Lagrange 的法子 ， 用行列式为 的二阶整数方阵群的作用 ， 把二元二次型分红不同的等价类 ， 而判别式 是等价不变量且等价的二元二次型暗示交流的整数 . Gauss 还发展了 Lagrange 的约化法子 ， 讲明了对每个非零整数 ， 判别式为 的二元二次型唯有有限个等价类 . 当 时 ， 即 是正定二次型 ，开云体育·(KAIYUN SPORTS)官方网站 其中 0' data-formula-type='inline-equation'> ， 讲明是相比容易的且由 Lagrange 给出 . 而当 0' data-formula-type='inline-equation'> 时 ， 即 是不定二次型 ， Gauss 再行界说了约化二元二次型的界说 ， 讲明需要克服许多繁难 . 若是用 暗示判别式为 的二元二次型的等价类的个数 ， 那么 Gauss 对许多 计议了 的值 . 之前 Lagrange 给出了 ， 而 Gauss 计议出当 时 且猜念念对于其他负整数 均有 1' data-formula-type='inline-equation'> . 这个猜念念直到1967年才由英国数学家 Baker 和好意思国数学家 Stark 远离安详讲明 ， 只不外 Baker 使用超过法子而 Stark 经受模方法表面 . 另外 Gauss 还作出如下猜念念 ， 即存在无穷多个正整数 使得 ， 这个猜念念于今未搞定 .

Gauss 还把 Lagrange 对于二元二次型的合成运算的界说进行了修改 ， 并讲明这是二元二次型等价类的运算且这个运算欣慰连合律和交换律 . 用当代数学的谈话来叙述便是扫数判别式为 的二元二次型的等价不异于合成运算造成 阶 Abel 群 ， 同期他不但给出计议 的解析公式 ， 何况还培植了二元二次型的 genus 表面 . 凭证这个表面不错讲明 ， 若是 有 个不同的素因子 ， 那么 . 直到19世纪后期 Dedekind 培植了理念念论后 ， 上述这些 Gauss 给出的成果平直退换为二次域理念念分解和理念念类群算作经典代数数论的成果 . 事实上凭证 Gauss 对于二元二次型合成运算的界说 ， 为了考据合成运算欣慰连合律 ， 则需要考据 个等式是否成就 ， 直到 Dedekind 经受理念念论的谈话后 ， 这么的运算便是 trivial 的 .

《数论探究》的前六章是纯正数论的内容 ， 而第七章则是考虑一个几何问题 ， 即对欣慰什么要求的正整数 ， 咱们不错用尺规作出一个正 边形 ， 上头的问题还不错用底下的形势形色 ， 对于哪些正整数 ， 不错用尺规将单元圆周 平分 . 在复平面上把单元圆周 平分 ， 若是圆心在原点而其中一个分点为 ， 那么 个分点为 ， 其中 .  事实上很早的时候古希腊东谈主就知谈如何用尺规作出正三角形 ， 正方形和正五边形 ， 何况也掌持了用尺规作角的瓜分线 ， 于是若是不错用尺规作出正 边形 ， 那么一定不错作出正 边形 . 而 Gauss 在十几岁的时候就用尺规作出了正十七边形 ， 这一成果的表面配景为若是 和 均为形如 的不同素数( Fermat 素数) ， 那么不错用尺规够作出正 边形 . 自后在19世纪中期出身了 Galois 表面 ， 这意味着 Gauss 已经找到了不错用尺规构作出的通盘正 边形 .

底下咱们接头一下 Gauss 是如何讲明这一论断的 . 当先愚弄初等数论的学问不错讲明 ， 若用尺规不错构作出正 边形和正 边形 ， 且 和 互素 ， 则不错用尺规构作出正 边形 ， 于是问题归结为要讲明对每个 Fermat 素数 不错用尺规构作出正 边形 . 为此 Gauss 考虑 ， 其中 和 是 Legendre 符号 ， 即对于与 互素的整数 ， 有

而 称为 Gauss 和 . 故 Gauss 愚弄 Legendre 符号的计议 讲明了

因此 ， 进而 Gauss 还讲明了上式的右边恒为正数 ， 即 . 若是令 和 ， 那么 和 ， 于是有

凭证平面几何的学问 ， 若是细目一个单元长度的线段 ， 那么不错用尺规构作出长度为任性正有理数的线段 ， 更一般地 ， 若是用尺规不错构作出复平面上的点 和 (即复数 和 ) ， 那么不错构作出由四则运算得回的复数 ， 和 以及开方运算得回的复数 ， 事实上上述的这些成果透澈不错用 Galois 表面来解释 . 于是咱们设 和 是不错凭证尺规构造出的复数 ， 并设 是 Fermat 素数 ， 记 以及取 为模 的一个原根 ， 则模 的 个二次剩余为 ， 其中 ， 而 个非二次剩余为 ， 其中 ， 故 和 均是 个 次单元根之和 ， 即 和 ， 进而模 的四次剩余共有 个 ， 即 ， 接下来令 和 ， 则 和 均是 个 次单元根之和且欣慰 . Gauss 讲明了 不错用有理数以及 和 通过四则运算抒发出来 ， 从而 和 齐不错由尺规构作出来 ， 留意到 和 是二次方程 的解 ， 凭证求根公式可知 ， 这已经由的运算唯有四则运算和开方运算 ， 于是 和 均不错由尺规构作出来 . 同理不错讲明 个 次单元根之和为 也不错由尺规构作出来 ， 如斯进行下去便不错得回 不错由尺规构作出来 ， 因此不错用尺规构作出正 边形 ， 其中 是 Fermat 素数 ， 以上便是 Gauss 的讲明经由 .

Gauss 和以及它的各式执行成为了数论考虑的蹙迫器具 . 在18世纪时 Euler 考虑 Fermat 猜念念在 的情形时使用了三次单元根 ， 而 Gauss 更进一步考虑了单元根 的性质 ， 这成为了自后考虑分圆域 的起始 ， 留意到 ， 即 不错由 次单元根暗示 ， 则二次域 是分圆域 子域 ， 于是任何二次域齐是分圆域的子域 ， 以此为机会激勉了 Hilbert 的第12个问题 ， 这是一个代数数论的问题 . 诚然第七章在考虑几何问题 ， 但本体上却接头了代数数论中的分圆域表面 ， 分圆域表面的潜入考虑是 Kummer 于19世纪中期的蹙迫责任 .

以上便是 Gauss 的文章《数论探究》的主要内容 开云体育， 咱们今天就暂时接头到这里 .

本站仅提供存储工作，扫数内容均由用户发布，kaiyun sports如发现存害或侵权内容，请点击举报。 环球体育官网登录入口

• 哪些
• 开云体育
• 事儿
• 述论
• 高丝