费尔马大定理及其证明 近代数学如参天大树,已是分支众多,枝繁叶茂。在这棵苍劲的 大树上悬挂着不胜其数的数学难题。其中最耀眼夺目的是四色地图 问题、费尔马大定理和哥德巴赫猜想。它们被称为近代三大数学难 颗。 300多年以来,费尔马大定理使世界上许多著名数学家弹精 竭虑,有的甚至耗尽了毕生精力。费尔马大定理神秘的面纱终于在 1995年揭开,被43岁的英国数学家维尔斯一举证明。这被认为是 “20世纪最重大的数学成就”。 费尔马大定理的由来 故事涉及到两位相隔1400年的数学家,一位是古希腊的丢 番图,一位是法国的费尔马。丢番图活动于公元250年前后。 1637年,30来岁的费尔马在读丢番图的名著《算术》的法 文译本时,他在书中 关于 不定 2 的全部正整数解这 页的空白处用拉丁文写道:“任何一个数的立方,不能分成两个数的 立方之和:任何一个数的四次方,不能分成两个数的四次方之和, 一般来说,不可能将一个高于二次的幂分成两个同次的幂之和。我 已发现了这个断语的美妙证法,可惜这里的空白地方太小,写不下。” 费尔马去世后,人们在整理他的遗物时发现了这段写在书眉 上的话。1670年,他的儿子发表了费尔马的这一部分页端笔记,大 家才知道这一问题。后来,人们就把这一论断称为费尔马大定理。 用数学语言来表达就是:形如x+y=z'的方程,当n大于2时没有 正整数解。 费尔马是一位业余数学爱好者,被誉为“业余数学家之王” 1601年,他出生在法国南部图卢兹附近一位皮革商人的家庭。童年 时期是在家里受的教育。长大以后,父亲送他在大学学法律,毕业 后当了一名律师。从1648年起,担任图卢兹市议会议员。 他酷爱数学,把自己所有的业余时间都用于研究数学和物 理。由于他思维敏捷,记忆力强,又具备研究数学所必须的顽强精 神,所以,获得了丰硕的成果,使他跻身于17世纪大数学家之列。 艰难的探素 起初,数学家想重新找到费尔马没有写出来的那个“美妙证 法”,但是谁也没有成功。著名数学家欧拉用无限下推法证明了方程 x3+y=z和x+y'=z不可能有正整数解
费尔马大定理及其证明 近 代 数 学 如 参 天 大 树 ,已 是 分 支 众 多 ,枝 繁 叶 茂 。在 这 棵 苍 劲 的 大 树 上 悬 挂 着 不 胜 其 数 的 数 学 难 题 。 其 中 最 耀 眼 夺 目 的 是 四 色 地 图 问 题 、 费 尔 马 大 定 理 和 哥 德 巴 赫 猜 想 。 它 们 被 称 为 近 代 三 大 数 学 难 题 。 300 多 年 以 来 , 费 尔 马 大 定 理 使 世 界 上 许 多 著 名 数 学 家 殚 精 竭 虑 , 有 的 甚 至 耗 尽 了 毕 生 精 力 。 费 尔 马 大 定 理 神 秘 的 面 纱 终 于 在 1995 年 揭 开 , 被 4 3 岁 的 英 国 数 学 家 维 尔 斯 一 举 证 明 。 这 被 认 为 是 “ 20 世 纪 最 重 大 的 数 学 成 就 ”。 费 尔 马 大 定 理 的 由 来 故 事 涉 及 到 两 位 相 隔 1400 年 的 数 学 家 , 一 位 是 古 希 腊 的 丢 番 图 , 一 位 是 法 国 的 费 尔 马 。 丢 番 图 活 动 于 公 元 250 年 前 后 。 1637 年 , 3 0 来 岁 的 费 尔 马 在 读 丢 番 图 的 名 著 《 算 术 》 的 法 文 译 本 时 ,他 在 书 中 关 于 不 定 方 程 x 2+ y 2 = z 2 的 全 部 正 整 数 解 这 页 的 空 白 处 用 拉 丁 文 写 道 :“ 任 何 一 个 数 的 立 方 ,不 能 分 成 两 个 数 的 立 方 之 和 ; 任 何 一 个 数 的 四 次 方 , 不 能 分 成 两 个 数 的 四 次 方 之 和 , 一 般 来 说 , 不 可 能 将 一 个 高 于 二 次 的 幂 分 成 两 个 同 次 的 幂 之 和 。 我 已 发 现 了 这 个 断 语 的 美 妙 证 法 ,可 惜 这 里 的 空 白 地 方 太 小 ,写 不 下 。” 费 尔 马 去 世 后 ,人 们 在 整 理 他 的 遗 物 时 发 现 了 这 段 写 在 书 眉 上的话。 1670 年 , 他 的 儿 子 发 表 了 费 尔 马 的 这 一 部 分 页 端 笔 记 , 大 家 才 知 道 这 一 问 题 。 后 来 , 人 们 就 把 这 一 论 断 称 为 费 尔 马 大 定 理 。 用 数 学 语 言 来 表 达 就 是 : 形 如 x n + yn =z n 的 方 程 , 当 n 大 于 2 时 没 有 正 整 数 解 。 费 尔 马 是 一 位 业 余 数 学 爱 好 者 ,被 誉 为“ 业 余 数 学 家 之 王 ”。 1601 年 , 他 出 生 在 法 国 南 部 图 卢 兹 附 近 一 位 皮 革 商 人 的 家 庭 。 童 年 时 期 是 在 家 里 受 的 教 育 。 长 大 以 后 , 父 亲 送 他 在 大 学 学 法 律 , 毕 业 后 当 了 一 名 律 师 。 从 1648 年 起 , 担 任 图 卢 兹 市 议 会 议 员 。 他 酷 爱 数 学 , 把 自 己 所 有 的 业 余 时 间 都 用 于 研 究 数 学 和 物 理 。 由 于 他 思 维 敏 捷 , 记 忆 力 强 , 又 具 备 研 究 数 学 所 必 须 的 顽 强 精 神 , 所 以 , 获 得 了 丰 硕 的 成 果 , 使 他 跻 身 于 17 世 纪 大 数 学 家 之 列 。 艰 难 的 探 索 起 初 ,数 学 家 想 重 新 找 到 费 尔 马 没 有 写 出 来 的 那 个“ 美 妙 证 法 ”,但 是 谁 也 没 有 成 功 。著 名 数 学 家 欧 拉 用 无 限 下 推 法 证 明 了 方 程 x 3 +y3 =z 3 和 x 4 +y4 = z 4 不 可 能 有 正 整 数 解
因为任何一个大于2的整数,如果不是4的倍数,就一定是 某一奇素数或它的倍数。因此,只要能证明n=4以及n是任一奇素 数时,方程都没有正整数解,费尔马大定理就完全证明了 1=4的 情形已经证明过,所以,问题就集中在证明等于奇素数的情形了。 在欧拉证明了n=3,n=4以后,1823年和1826年勒 让德和狄利克雷各自独立证明了n=5的情形,1839年拉梅证明 =7的情形。就这样,一个一个奇素数证下去的长征便开始了 其中,德国数学家库默尔作出了重要贡献。他用近世代数的 方法,引入了自己发明的“理想数”和“分圆数”的概念,指出费 尔马大定理只可能在·等于某些叫非正则素数的值时,才有可能不 正确,所以只需对这些数进行研究。 这样的数 在100以内,只有 67三个 ,他还具体证明了 是不可能有正整数解的。这就把费尔马大定理门 37、 59、67 方程x+y 下推进到n在100 以内都是成立的。库默尔“成批地”证明了定理的成立,人们视之 为一次重大突破。1857年,他获得巴察科学院的金质奖章。 这一“长征”式的证法 虽然不断地刷新着记录,如1992 年更进到n=1000000,但这不等于定理被证明。看来,需要另辟蹊 径。 10万马克奖给谁 从费尔马时代起,巴黎科学院曾先后两次提供奖章和奖金 奖励证 马大定理的人 重金, 但都无 结果。1908年,德国数学家佛尔夫斯克尔逝世的时候,将他的10 万马克赠给了德国哥庭根科学会,作为费尔马大定理的解答奖金。 哥庭根科学会宣布,奖金在100年内有效。哥庭根科学会不 负责审查稿件。 10万马克在当时是一笔很大的财富,而费尔马大定理又是小 学生都能听懂题意的问题。于是,不仅专搞数学这一行的人,就连 很多工程师、牧师、教师、学生、银行职员、政府官吏和一般市民, 都在钻研这个问题。在很短时间内,各种刊物公布的证明就有上干 个之多 当时,德国有个名叫《数学和物理文献实录》的杂志,自愿 对这方面的论文进行鉴定,到1911年初为止,共审查了111个“证 明”,全都是错的。后来实在受不了沉重的审稿负担,于是它宣布停 止这一审查鉴定工作 但是 证明的浪 朝仍汹涌澎 虽然两次世 界大战后德国的货币多次大幅度贬值,当初的10万马克折算成后来 的马克已无多大价值。但是,热爱科学的可贵精神,还在鼓励着很 多人继续从事这一工作
因 为 任 何 一 个 大 于 2 的 整 数 ,如 果 不 是 4 的 倍 数 ,就 一 定 是 某 一 奇 素 数 或 它 的 倍 数 。因 此 ,只 要 能 证 明 n= 4 以 及 n 是 任 一 奇 素 数 时 , 方 程 都 没 有 正 整 数 解 , 费 尔 马 大 定 理 就 完 全 证 明 了 。 n= 4 的 情 形 已 经 证 明 过 ,所 以 ,问 题 就 集 中 在 证 明 n 等 于 奇 素 数 的 情 形 了 。 在 欧 拉 证 明 了 n= 3, n= 4 以后, 1823 年 和 1826 年 勒 让 德 和 狄 利 克 雷 各 自 独 立 证 明 了 n= 5 的 情 形 , 1839 年 拉 梅 证 明 了 n= 7 的 情 形 。就 这 样 ,一 个 一 个 奇 素 数 证 下 去 的 长 征 便 开 始 了 。 其 中 ,德 国 数 学 家 库 默 尔 作 出 了 重 要 贡 献 。他 用 近 世 代 数 的 方 法 , 引 入 了 自 己 发 明 的 “ 理 想 数 ” 和 “ 分 圆 数 ” 的 概 念 , 指 出 费 尔 马 大 定 理 只 可 能 在 n 等 于 某 些 叫 非 正 则 素 数 的 值 时 , 才 有 可 能 不 正 确 , 所 以 只 需 对 这 些 数 进 行 研 究 。 这 样 的 数 , 在 100 以 内 , 只 有 37、59、67 三 个 。他 还 具 体 证 明 了 当 n= 37、59、67 时 ,方 程 x n +yn =z n 是 不 可 能 有 正 整 数 解 的 。 这 就 把 费 尔 马 大 定 理 一 下 推 进 到 n 在 100 以 内 都 是 成 立 的 。 库 默 尔 “ 成 批 地 ” 证 明 了 定 理 的 成 立 , 人 们 视 之 为 一 次 重 大 突 破 。 1857 年 , 他 获 得 巴 黎 科 学 院 的 金 质 奖 章 。 这一“长征”式的证法,虽然不断地刷新着记录,如 1992 年更进到 n= 1000000, 但 这 不 等 于 定 理 被 证 明 。 看 来 , 需 要 另 辟 蹊 径 。 10 万 马 克 奖 给 谁 从 费 尔 马 时 代 起 , 巴 黎 科 学 院 曾 先 后 两 次 提 供 奖 章 和 奖 金 , 奖 励 证 明 费 尔 马 大 定 理 的 人 , 布 鲁 塞 尔 科 学 院 也 悬 赏 重 金 , 但 都 无 结 果 。 1908 年 , 德 国 数 学 家 佛 尔 夫 斯 克 尔 逝 世 的 时 候 , 将 他 的 10 万 马 克 赠 给 了 德 国 哥 庭 根 科 学 会 , 作 为 费 尔 马 大 定 理 的 解 答 奖 金 。 哥 庭 根 科 学 会 宣 布 ,奖 金 在 100 年 内 有 效 。哥 庭 根 科 学 会 不 负 责 审 查 稿 件 。 10 万 马 克 在 当 时 是 一 笔 很 大 的 财 富 ,而 费 尔 马 大 定 理 又 是 小 学 生 都 能 听 懂 题 意 的 问 题 。 于 是 , 不 仅 专 搞 数 学 这 一 行 的 人 , 就 连 很 多 工 程 师 、牧 师 、教 师 、学 生 、银 行 职 员 、政 府 官 吏 和 一 般 市 民 , 都 在 钻 研 这 个 问 题 。 在 很 短 时 间 内 , 各 种 刊 物 公 布 的 证 明 就 有 上 千 个之多。 当 时 ,德 国 有 个 名 叫《 数 学 和 物 理 文 献 实 录 》的 杂 志 ,自 愿 对 这 方 面 的 论 文 进 行 鉴 定 ,到 1911 年 初 为 止 ,共 审 查 了 111 个“ 证 明 ”,全 都 是 错 的 。后 来 实 在 受 不 了 沉 重 的 审 稿 负 担 ,于 是 它 宣 布 停 止 这 一 审 查 鉴 定 工 作 。 但 是 , 证 明 的 浪 潮 仍 汹 涌 澎 湃 , 虽 然 两 次 世 界 大 战 后 德 国 的 货 币 多 次 大 幅 度 贬 值 ,当 初 的 10 万 马 克 折 算 成 后 来 的 马 克 已 无 多 大 价 值 。 但 是 , 热 爱 科 学 的 可 贵 精 神 , 还 在 鼓 励 着 很 多 人 继 续 从 事 这 一 工 作
姗来迟的证明 经过前人的努力,证明费尔马大定理取得了许多成果,但离 定理的证明,无疑还有遥远的距离。怎么办?来必须要用 一种新的 方法,有的数学家用起了传统的办法一一转化问题。 人们把手番图方程的解与代数曲线上的某种点联系起来,成 为一种代数几何学的转化 重要的猜想。:“设F(x,y)是两个变数x、y的有理系数多项式, 那么当曲线F(x,y)=0的亏格(一种与曲线有关的量)大于1时, 方程F(x,y)=0至多只有有限组有理数”。1983年,德国29岁 的数学家法尔廷斯运用苏联沙法拉维奇在代数几何上的一系列结果 证明了莫 德尔猜想。这是费尔马大定理证明中的又 ·次重大突破 去尔廷斯获得了1986年的菲尔兹奖。 维尔斯仍采用代数几何的方法去攀登,他把别人的成果奇妙 联系起来,并且吸取了走过这条道路的攻克者的经验教训, 注高 到 条崭新迂回的路径:如果谷山 志村猜想成立 那么费尔马 定理一定成立。这是1988年德国数学家费雷在研究日本数学家谷 山 一志村于1955年关于椭圆函数的一个猜想时发现的。 维尔斯出生于英国牛津一个神学家庭,从小对费尔马大定理十分好奇、 感兴趣,这条美妙的定理导致他进入了数学的殿堂。大学毕业以后,他开始了幼 年的幻想,决心去圆童年的梦。他极其秘密地进行费尔马大定理的研究,守口如 瓶,不透半点风声 穷七年的锲而不舍,直到1993年6月23日。这天,英国剑桥大学牛顿 数学研究所的大厅里正在进行例行的学术报告会。报告人维尔斯将他的研究成果 作了长达两个半小时的发言。10点30分,在他结束报告时,他平静地宣布:“因 此,我证明了费尔马大定理”。这句话像一声惊雷,把许多只要作例行鼓掌的手 定在了空中,大厅时鸦雀无声。半分钟后,雷鸣般的学声似乎要锨翻大厅的屋顶, 英国学者顾不得他们优雅的绅士风度,忘情地欢腾着 消息很快轰动了全世界。各种大众传媒纷纷报道,并称之为“世纪性的 成就”。人们认为,维尔斯最终证明了费尔马大定理,被列入1993年世界科技 十大成就之一。 可、久 ,传媒又迅速地报出了一个“爆炸性”新闻:维尔斯的长达200 页的论文送交审查时,却被发现证明有漏洞 维尔斯在挫折面前没有止步,他用一年多时间修改论文,补正漏洞。这 时他已是“为伊消得人憔悴”,但他“衣带渐宽终不悔”。1994年9月,他重 新写出一篇108页的论文,寄往美国。论文顺利通过审查,美国的《数学年刊》
姗 姗 来 迟 的 证 明 经 过 前 人 的 努 力 ,证 明 费 尔 马 大 定 理 取 得 了 许 多 成 果 ,但 离 定 理 的 证 明 , 无 疑 还 有 遥 远 的 距 离 。 怎 么 办 ? 来 必 须 要 用 一 种 新 的 方 法 , 有 的 数 学 家 用 起 了 传 统 的 办 法 — — 转 化 问 题 。 人 们 把 丢 番 图 方 程 的 解 与 代 数 曲 线 上 的 某 种 点 联 系 起 来 ,成 为 一 种 代 数 几 何 学 的 转 化 , 而 费 尔 马 问 题 不 过 是 丢 番 图 方 程 的 一 个 特 例 。 在 黎 曼 的 工 作 基 础 上 , 1922 年 , 英 国 数 学 家 莫 德 尔 提 出 一 个 重 要 的 猜 想 。:“ 设 F( x, y) 是 两 个 变 数 x、 y 的 有 理 系 数 多 项 式 , 那么当曲线 F( x,y)= 0 的 亏 格( 一 种 与 曲 线 有 关 的 量 )大 于 1 时 , 方 程 F( x, y) = 0 至 多 只 有 有 限 组 有 理 数 ”。 1983 年 , 德 国 29 岁 的 数 学 家 法 尔 廷 斯 运 用 苏 联 沙 法 拉 维 奇 在 代 数 几 何 上 的 一 系 列 结 果 证 明 了 莫 德 尔 猜 想 。 这 是 费 尔 马 大 定 理 证 明 中 的 又 一 次 重 大 突 破 。 法 尔 廷 斯 获 得 了 1986 年 的 菲 尔 兹 奖 。 维 尔 斯 仍 采 用 代 数 几 何 的 方 法 去 攀 登 ,他 把 别 人 的 成 果 奇 妙 地 联 系 起 来 , 并 且 吸 取 了 走 过 这 条 道 路 的 攻 克 者 的 经 验 教 训 , 注 意 到 一 条 崭 新 迂 回 的 路 径 : 如 果 谷 山 — — 志 村 猜 想 成 立 , 那 么 费 尔 马 大 定 理 一 定 成 立 。这 是 1988 年 德 国 数 学 家 费 雷 在 研 究 日 本 数 学 家 谷 山 — — 志 村 于 1955 年 关 于 椭 圆 函 数 的 一 个 猜 想 时 发 现 的 。 维尔斯出生于英国牛津一个神学家庭,从小对费尔马大定理十分好奇、 感兴趣,这条美妙的定理导致他进入了数学的殿堂。大学毕业以后,他开始了幼 年的幻想,决心去圆童年的梦。他极其秘密地进行费尔马大定理的研究,守口如 瓶,不透半点风声。 穷七年的锲而不舍,直到 1993 年 6 月 23 日。这天,英国剑桥大学牛顿 数学研究所的大厅里正在进行例行的学术报告会。报告人维尔斯将他的研究成果 作了长达两个半小时的发言。10 点 30 分,在他结束报告时,他平静地宣布:“因 此,我证明了费尔马大定理”。这句话像一声惊雷,把许多只要作例行鼓掌的手 定在了空中,大厅时鸦雀无声。半分钟后,雷鸣般的掌声似乎要掀翻大厅的屋顶。 英国学者顾不得他们优雅的绅士风度,忘情地欢腾着。 消息很快轰动了全世界。各种大众传媒纷纷报道,并称之为“世纪性的 成就”。人们认为,维尔斯最终证明了费尔马大定理,被列入 1993 年世界科技 十大成就之一。 可不久,传媒又迅速地报出了一个“爆炸性”新闻:维尔斯的长达 200 页的论文送交审查时,却被发现证明有漏洞。 维尔斯在挫折面前没有止步,他用一年多时间修改论文,补正漏洞。这 时他已是“为伊消得人憔悴”,但他“衣带渐宽终不悔”。1994 年 9 月,他重 新写出一篇 108 页的论文,寄往美国。论文顺利通过审查,美国的《数学年刊》
杂志于1995年5月发表了他的这一篇论文.维尔斯因此获得了1995~1996年度 的沃尔夫数学奖。 经过300多年的不断奋战,数学家们世代的努力,围绕费尔马大定理作 出了许多重大的发现,并促进了一些数学分支的发展,尤其是代数数论的进展。 现代代数数论中的核心概念“理想数”,正是为了解决费尔马大定理而提出的。 难怪大数学家希尔伯特称赞费尔马大定理是“一只会下金蛋的母鸡
杂志于 1995 年 5 月发表了他的这一篇论文。维尔斯因此获得了 1995~1996 年度 的沃尔夫数学奖。 经过 300 多年的不断奋战,数学家们世代的努力,围绕费尔马大定理作 出了许多重大的发现,并促进了一些数学分支的发展,尤其是代数数论的进展。 现代代数数论中的核心概念“理想数”,正是为了解决费尔马大定理而提出的。 难怪大数学家希尔伯特称赞费尔马大定理是“一只会下金蛋的母鸡