我用概率证明了费马大定理.docxVIP

我用概率证明了费马大定理 章丘一职专 马国梁 1637 年，法国业余数学家费马在一本著名的古书——丢番图的《算术》中的一页上写了如下一段文 字： “分解一个立方为两个立方之和，或分解一个四次方为两个四次方之和，或更一般地分解任一个高 于二次方的幂为两个同次方的幂之和均不可能。对此我发现了一个奇妙的证明，但此页边太窄写不下。” 用数学语言表达就是说，当指数 n 2 时，方程 x^n + y^n = z^n 永远没有整数解。这就是著名的连 小学生都能看懂的费马猜想。 可是在这个猜想提出后，那个重要的“奇妙证明”不论在费马生前还是死后始终没有被人见到，且 后人也再没有找到，所以人们怀疑那个证明根本就不存在或者是在什么地方搞错了。费马生前只是证明了 n = 4 的情况；直到 1749 年，才被欧拉证明了 n = 3 的情况。 这个猜想看上去是如此的简单，让局外人根本无法想象证明它的艰难，所以曾经让不少人跃跃欲试。 他们搜肠刮肚，绞尽脑汁，耗费了无数的精力。三百多年来，虽然取得了很大进展，显示了人类的智慧， 但问题总是得不到彻底解决。直到 1995 年，才由英国数学家怀尔斯宣称完成了最后的证明。从此费马猜想变成了真正的“费马定理”。 对费马定理的证明之所以艰难，是因为在整数内部有着极其复杂微妙的制约机制，要想找到这些制 约关系，必须深入到足够的程度进行细致的分析才行。所以三百多年来，虽然有不少数学大家还有广大业 余爱好者不畏艰难，前赴后继，顽强奋斗，但怎奈山高路远，歧途太多，终归难免失败。 在这样的现实下，笔者明白自己也是局外之人，所以不可能去钻这个无底的黑洞。但是作为一种乐 趣，我们不妨另外开辟一条渠道，进行旁证和展望。试用概率计算一下：看看费马猜想是否成立，又成立 到什么程度。虽然这在数学界难以得到公认，但是我们歪打正着，乐在其中。因为对于决定性的现象，如 果其决定因素和控制过程过于复杂，那么其结果是可以用概率理论进行推算的。 但是要证明费马猜想究竟应该从何处下手呢？对此笔者心中一直有一个强烈的直觉。 我们知道：当 n = 1 时，x + y = z 可有无数组解。在正整数中，任何两个整数相加的结果必然也还是整数。 但是当 n = 2 时，方程 x^2 + y^2 = z^2 的解就没有那么随便了，它们必须是特定的一组组的整数。其组数大大减少。 而当 n = 3 时，方程 x^3 + y^3 = z^3 则根本就没有整数解了。那么其原因是什么呢？ 对此笔者曾经思考了多年。但没想到只是在近几天才一下子开了窍，找到了问题的关键。原来是： 指数越大，整数的乘幂 z^n 在数轴上的坐标点就越稀疏，从而使任意两整数的同次方幂之和 x^n + y^n 落在坐标点上成为整数的可能性就越小。其概率是 z^n 的导数的倒数。即每组 x^n + y^n 能够成为整数的可能性只有 η = 1/[n z^(n-1)] = 1/ [n (x^n + y^n )^(1-1/n) ] 当 x、y 在平面直角坐标系的第一区间随意取值时，我们可以用积分的办法算出其中能够让z 成为整数的组数。其公式为 N =∫∫η dx dy =∫∫[(dx dy) / (n (x^n + y^n )^(1-1/n))] 因为在平面直角坐标系上，当 z 一定时，由方程 x^2 + y^2 = z^2 所决定的曲线是个正圆； 而由方程 x^n + y^n = z^n 所决定的曲线则是一个近似的圆； 只有当 n 趋于无穷大时，它的曲线才能成为一个正方形。 所以当 n 较小时，我们是可以把方程的曲线当作一个圆来处理的。这样以来，N 的积分公式就变成 了 N =∫[(0.5π z dz ) / (n z^(n-1))] ① 当 n = 1 时，由方程 x + y = z 所决定的曲线是一条斜的直线。它在第一象限的长度是 sqrt(2) z ，此时能够成为整数的概率是 100%，即η = 1/[n z^(n-1)] = 1 所以 N =∫sqrt(2) z dz = [1/sqrt(2)] z^2 即与 z 的平方成正比，这意味着在坐标系的第一象限中，遍地都是解。仔细想想这也可以理解。因为不论 x 还是 y，都是可以取任意整数的；而正整数的数量是无穷多，所以它们的组合数将是无穷多的平方，为高一级的无穷多。 ② 当 n = 2 时，由方程 x^2 + y^2 = z^2 所决定的曲线是一个正圆。在第一象限是一段1/4 的圆周，其长度是 0.5π z ；此时η = 1/[2 z ] 所以 N =∫(0.5π z dz / (2 z) ) = (π /4) z 即与 z 成正比，与正整数的个数为同一数量级。这就证明了勾股数的组数为无穷多。当然这包括了在大小上“勾股对调”情况，占总数的一半；还包