Untitled - 电子图书馆

不 等 于 他 没 有 证 明 ; 那 么 , 既 然 信 不 过 , 你 就 举 一 个 实 例 或做 出 反 证 将 这 个 命 题 推 翻 了 也 罢 。”三 百 多 年 过 去 了 , 世 界 上 所 有 数 学 家 , 包 括 那 些 驾 驭 某个 时 代 的 数 学 大 师 在 内 , 都 被 费 马 击 败 了 。 他 们 既 没 有 能力 证 明 “ 费 马 大 定 理 ”, 又 提 不 出 将 这 个 “ 定 理 ” 推 翻 的 论 据 。会 下 金 蛋 的 母 鸡那 些 无 可 奈 何 地 硬 要 把 “ 费 马 大 定 理 ” 改 称 为 “ 费 马 猜想 ” 的 人 , 不 想 去 检 点 自 己 的 “ 无 能 ”, 却 要 给 自 己 作 开 脱 性的 自 我 精 神 安 慰 。 于 是 有 人 臆 断 地 说 : 这 怎 么 能 称 之 为 “ 定理 ” 呢 ? 也 许 他 在 写 旁 注 时 , 曾 经 一 闪 念 , 有 一 个 什 么 证 明的 想 法 , 而 后 来 认 识 到 那 个 想 法 是 错 误 的 ; 几 乎 可 以 肯 定 ,他 并 不 打 算 将 这 段 旁 注 公 诸 于 世 , 因 此 , 他 也 就 没 有 机 会 再回 头 来 删 除 或 修 正 这 条 旁 注 。 难 道 不 是 这 样 吗 ?主 观 地 排 除 费 马 曾 经 有 过 证 明 的 事 实 是 不 公 正 的 , 也没 有 理 由 说 费 马 的 智 慧 绝 不 可 能 胜 过 他 身 后 三 百 多 年 的 所有 优 秀 数 学 家 。 对 于 他 的 那 个 “ 巧 妙 的 证 明 ”, 人 们 还 是 发现 了 珠 丝 马 迹 : 费 马 给 卡 克 维 的 一 封 信 中 说 他 已 用 “ 无 限 递降 法 ” 证 明 了 n=4 的 情 形 。虽 然 , 那 封 信 中 并 未 给 出 全 部 证 明 细 节 , 但 是 , 这 种 提示 一 字 千 钧 , 仅 凭 这 细 微 的 线 索 ,1676 年 , 弗 列 尼 科 尔 对n=4 的 情 形 做 了 证 明 , 这 个 证 明 发 表 在 他 去 世 后 出 版 的133