费马大定理的证明过程？（喜欢26数字的人请进） 费马数的证明
\u5b89\u5fb7\u9c81 \u6000\u5c14\u65af\u5bf9\u8d39\u9a6c\u5927\u5b9a\u7406\u7684\u8bc1\u660e\u5168\u8fc7\u7a0b\u4f60\u80fd\u8bfb\u61c2\u8bc1\u660e\u5168\u6587\u5c31\u4e0d\u9519\u4e86
\u8d39\u5c14\u9a6c\u5927\u5b9a\u7406\u795e\u79d8\u7684\u9762\u7eb1\u7ec8\u4e8e\u57281995\u5e74\u63ed\u5f00\uff0c\u88ab43\u5c81\u7684\u82f1\u56fd\u6570\u5b66\u5bb6\u6000\u5c14\u65af(A.Wiles)\u4e00\u4e3e\u8bc1\u660e\u3002
\u4f60\u53ef\u4ee5\u5728\u4e0b\u9762\u8fd9\u4e2a\u7f51\u9875\u4e2d\u770b\u5230\u5168\u90e8\u8bc1\u660e\u8fc7\u7a0b\uff08\u82f1\u6587\uff09
http://cgd.best.vwh.net/home/flt/flt08.htm
\u4ee5\u4e0b\u662f\u53c2\u8003\u8d44\u6599\uff1a
1637\u5e74\uff0c\u8d39\u9a6c\u5728\u9605\u8bfb\u4e22\u756a\u56fe\u300a\u7b97\u672f\u300b\u62c9\u4e01\u6587\u8bd1\u672c\u65f6\uff0c\u66fe\u5728\u7b2c11\u5377\u7b2c8\u547d\u9898\u65c1\u5199\u9053\uff1a\u201c\u5c06\u4e00\u4e2a\u7acb\u65b9\u6570\u5206\u6210\u4e24\u4e2a\u7acb\u65b9\u6570\u4e4b\u548c\uff0c\u6216\u4e00\u4e2a\u56db\u6b21\u5e42\u5206\u6210\u4e24\u4e2a\u56db\u6b21\u5e42\u4e4b\u548c\uff0c\u6216\u8005\u4e00\u822c\u5730\u5c06\u4e00\u4e2a\u9ad8\u4e8e\u4e8c\u6b21\u7684\u5e42\u5206\u6210\u4e24\u4e2a\u540c\u6b21\u5e42\u4e4b\u548c\uff0c\u8fd9\u662f\u4e0d\u53ef\u80fd\u7684\u3002\u5173\u4e8e\u6b64\uff0c\u6211\u786e\u4fe1\u5df2\u53d1\u73b0 \u4e00\u79cd\u7f8e\u5999\u7684\u8bc1\u6cd5 \uff0c\u53ef\u60dc\u8fd9\u91cc\u7a7a\u767d\u7684\u5730\u65b9\u592a\u5c0f\uff0c\u5199\u4e0d\u4e0b\u3002\u201d\u6bd5\u7adf\u8d39\u9a6c\u6ca1\u6709\u5199\u4e0b\u8bc1\u660e\uff0c\u800c\u4ed6\u7684\u5176\u4ed6\u731c\u60f3\u5bf9\u6570\u5b66\u8d21\u732e\u826f\u591a\uff0c\u7531\u6b64\u6fc0\u53d1\u4e86\u8bb8\u591a\u6570\u5b66\u5bb6\u5bf9\u8fd9\u4e00\u731c\u60f3\u7684\u5174\u8da3\u3002\u6570\u5b66\u5bb6\u4eec\u7684\u6709\u5173\u5de5\u4f5c\u4e30\u5bcc\u4e86\u6570\u8bba\u7684\u5185\u5bb9\uff0c\u63a8\u52a8\u4e86\u6570\u8bba\u7684\u53d1\u5c55\u3002
\u5bf9\u5f97\u591a\u4e0d\u540c\u7684 n\uff0c\u8d39\u9a6c\u5b9a\u7406\u65e9\u88ab\u8bc1\u660e\u4e86\u3002\u4f46\u6570\u5b66\u5bb6\u5bf9\u4e00\u822c\u60c5\u51b5\u5728\u9996\u4e8c\u767e\u5e74\u5185\u4ecd\u4e00\u7b79\u83ab\u5c55\u3002
1908\u5e74\uff0c\u5fb7\u56fd\u4f5b\u5c14\u592b\u65af\u514b\u5ba3\u5e03\u4ee510\u4e07\u9a6c\u514b\u4f5c\u4e3a\u5956\u91d1\u5956\u7ed9\u5728\u4ed6\u901d\u4e16\u540e\u4e00\u767e\u5e74\u5185\uff0c\u7b2c\u4e00\u4e2a\u8bc1\u660e\u8be5\u5b9a\u7406\u7684\u4eba\u3002
1983\u5e74\uff0c Gerd Faltings \u8bc1\u660e\u4e86 Mordell conjecture \u4ece\u800c\u5f97\u51fa\u5f53 n > 2 \u65f6\uff08n\u4e3a\u6574\u6570\uff09\uff0c\u4e0d\u5b58\u5728\u4e92\u8d28\u7684 a\uff0cb\uff0cc \u4f7f\u5f97 an + bn = cn\u3002
1986\u5e74\uff0cGerhard Frey \u63d0\u51fa\u4e86\u201cepsilon \u731c\u60f3\u201d\uff1a\u82e5\u5b58\u5728 a, b, c \u4f7f\u5f97an + bn = cn\uff0c\u5373\u8d39\u9a6c\u5927\u5b9a\u7406\u662f\u9519\u7684\uff0c\u5219\u692d\u5706\u66f2\u7ebf
y2 = x(x-an)(x + bn)
\u4f1a\u662f\u8c37\u5c71\u5fd7\u6751\u731c\u60f3\u7684\u4e00\u4e2a\u53cd\u4f8b\u3002Frey \u7684\u731c\u60f3\u968f\u5373\u88ab Kenneth Ribet \u8bc1\u5b9e\u3002\u6b64\u731c\u60f3\u663e\u793a\u4e86\u8d39\u9a6c\u5927\u5b9a\u7406\u4e0e\u692d\u5706\u66f2\u7ebf\u53ca modular forms \u7684\u5bc6\u5207\u5173\u7cfb\u3002
1995\u5e74\uff0c\u6000\u5c14\u65af\u548c\u6cf0\u52d2\u5728\u4e00\u7279\u4f8b\u8303\u56f4\u5185\u8bc1\u660e\u4e86\u8c37\u5c71\u5fd7\u6751\u731c\u60f3\uff0cFrey \u7684\u692d\u5706\u66f2\u7ebf\u521a\u597d\u5728\u8fd9\u4e00\u7279\u4f8b\u8303\u56f4\u5185\uff0c\u4ece\u800c\u8bc1\u660e\u4e86\u8d39\u9a6c\u5927\u5b9a\u7406\u3002
\u6000\u5c14\u65af\u8bc1\u660e\u8d39\u9a6c\u5927\u5b9a\u7406\u7684\u8fc7\u7a0b\u4ea6\u751a\u5177\u620f\u5267\u6027\u3002\u4ed6\u7528\u4e86\u4e03\u5e74\u65f6\u95f4\uff0c\u5728\u4e0d\u4e3a\u4eba\u77e5\u7684\u60c5\u51b5\u4e0b\uff0c\u5f97\u51fa\u4e86\u8bc1\u660e\u7684\u5927\u90e8\u5206\uff1b\u7136\u540e\u4e8e1993\u5e746\u6708\u5728\u4e00\u4e2a\u5b66\u672f\u4f1a\u8bae\u4e0a\u5ba3\u5e03\u4e86\u4ed6\u7684\u8bc1\u660e\uff0c\u5e76\u77ac\u5373\u6210\u4e3a\u4e16\u754c\u5934\u6761\u3002\u4f46\u5728\u5ba1\u6279\u8bc1\u660e\u7684\u8fc7\u7a0b\u4e2d\uff0c\u4e13\u5bb6\u53d1\u73b0\u4e86\u4e00\u4e2a\u6781\u4e25\u91cd\u7684\u9519\u8bef\u3002\u6000\u5c14\u65af\u548c\u6cf0\u52d2\u7136\u540e\u7528\u4e86\u8fd1\u4e00\u5e74\u65f6\u95f4\u5c1d\u8bd5\u8865\u6551\uff0c\u7ec8\u57281994\u5e749\u6708\u4ee5\u4e00\u4e2a\u4e4b\u524d\u6000\u5c14\u65af\u629b\u5f03\u8fc7\u7684\u65b9\u6cd5\u5f97\u5230\u6210\u529f\u3002\u4ed6\u4eec\u7684\u8bc1\u660e\u520a\u57281995\u5e74\u7684Annals of Mathematics\u4e4b\u4e0a\u3002
\u8d39\u5c14\u9a6c\u5927\u5b9a\u7406\u795e\u79d8\u7684\u9762\u7eb1\u7ec8\u4e8e\u57281995\u5e74\u63ed\u5f00\uff0c\u88ab43\u5c81\u7684\u82f1\u56fd\u6570\u5b66\u5bb6\u6000\u5c14\u65af(A.Wiles)\u4e00\u4e3e\u8bc1\u660e\u3002
\u4f60\u53ef\u4ee5\u5728\u4e0b\u9762\u8fd9\u4e2a\u7f51\u9875\u4e2d\u770b\u5230\u5168\u90e8\u8bc1\u660e\u8fc7\u7a0b\uff08\u82f1\u6587\uff09
http://cgd.best.vwh.net/home/flt/flt08.htm
\u4ee5\u4e0b\u662f\u53c2\u8003\u8d44\u6599\uff1a
1637\u5e74\uff0c\u8d39\u9a6c\u5728\u9605\u8bfb\u4e22\u756a\u56fe\u300a\u7b97\u672f\u300b\u62c9\u4e01\u6587\u8bd1\u672c\u65f6\uff0c\u66fe\u5728\u7b2c11\u5377\u7b2c8\u547d\u9898\u65c1\u5199\u9053\uff1a\u201c\u5c06\u4e00\u4e2a\u7acb\u65b9\u6570\u5206\u6210\u4e24\u4e2a\u7acb\u65b9\u6570\u4e4b\u548c\uff0c\u6216\u4e00\u4e2a\u56db\u6b21\u5e42\u5206\u6210\u4e24\u4e2a\u56db\u6b21\u5e42\u4e4b\u548c\uff0c\u6216\u8005\u4e00\u822c\u5730\u5c06\u4e00\u4e2a\u9ad8\u4e8e\u4e8c\u6b21\u7684\u5e42\u5206\u6210\u4e24\u4e2a\u540c\u6b21\u5e42\u4e4b\u548c\uff0c\u8fd9\u662f\u4e0d\u53ef\u80fd\u7684\u3002\u5173\u4e8e\u6b64\uff0c\u6211\u786e\u4fe1\u5df2\u53d1\u73b0 \u4e00\u79cd\u7f8e\u5999\u7684\u8bc1\u6cd5 \uff0c\u53ef\u60dc\u8fd9\u91cc\u7a7a\u767d\u7684\u5730\u65b9\u592a\u5c0f\uff0c\u5199\u4e0d\u4e0b\u3002\u201d\u6bd5\u7adf\u8d39\u9a6c\u6ca1\u6709\u5199\u4e0b\u8bc1\u660e\uff0c\u800c\u4ed6\u7684\u5176\u4ed6\u731c\u60f3\u5bf9\u6570\u5b66\u8d21\u732e\u826f\u591a\uff0c\u7531\u6b64\u6fc0\u53d1\u4e86\u8bb8\u591a\u6570\u5b66\u5bb6\u5bf9\u8fd9\u4e00\u731c\u60f3\u7684\u5174\u8da3\u3002\u6570\u5b66\u5bb6\u4eec\u7684\u6709\u5173\u5de5\u4f5c\u4e30\u5bcc\u4e86\u6570\u8bba\u7684\u5185\u5bb9\uff0c\u63a8\u52a8\u4e86\u6570\u8bba\u7684\u53d1\u5c55\u3002
\u5bf9\u5f97\u591a\u4e0d\u540c\u7684 n\uff0c\u8d39\u9a6c\u5b9a\u7406\u65e9\u88ab\u8bc1\u660e\u4e86\u3002\u4f46\u6570\u5b66\u5bb6\u5bf9\u4e00\u822c\u60c5\u51b5\u5728\u9996\u4e8c\u767e\u5e74\u5185\u4ecd\u4e00\u7b79\u83ab\u5c55\u3002
1908\u5e74\uff0c\u5fb7\u56fd\u4f5b\u5c14\u592b\u65af\u514b\u5ba3\u5e03\u4ee510\u4e07\u9a6c\u514b\u4f5c\u4e3a\u5956\u91d1\u5956\u7ed9\u5728\u4ed6\u901d\u4e16\u540e\u4e00\u767e\u5e74\u5185\uff0c\u7b2c\u4e00\u4e2a\u8bc1\u660e\u8be5\u5b9a\u7406\u7684\u4eba\u3002
1983\u5e74\uff0c Gerd Faltings \u8bc1\u660e\u4e86 Mordell conjecture \u4ece\u800c\u5f97\u51fa\u5f53 n > 2 \u65f6\uff08n\u4e3a\u6574\u6570\uff09\uff0c\u4e0d\u5b58\u5728\u4e92\u8d28\u7684 a\uff0cb\uff0cc \u4f7f\u5f97 an + bn = cn\u3002
1986\u5e74\uff0cGerhard Frey \u63d0\u51fa\u4e86\u201cepsilon \u731c\u60f3\u201d\uff1a\u82e5\u5b58\u5728 a, b, c \u4f7f\u5f97an + bn = cn\uff0c\u5373\u8d39\u9a6c\u5927\u5b9a\u7406\u662f\u9519\u7684\uff0c\u5219\u692d\u5706\u66f2\u7ebf
y2 = x(x-an)(x + bn)
\u4f1a\u662f\u8c37\u5c71\u5fd7\u6751\u731c\u60f3\u7684\u4e00\u4e2a\u53cd\u4f8b\u3002Frey \u7684\u731c\u60f3\u968f\u5373\u88ab Kenneth Ribet \u8bc1\u5b9e\u3002\u6b64\u731c\u60f3\u663e\u793a\u4e86\u8d39\u9a6c\u5927\u5b9a\u7406\u4e0e\u692d\u5706\u66f2\u7ebf\u53ca modular forms \u7684\u5bc6\u5207\u5173\u7cfb\u3002
1995\u5e74\uff0c\u6000\u5c14\u65af\u548c\u6cf0\u52d2\u5728\u4e00\u7279\u4f8b\u8303\u56f4\u5185\u8bc1\u660e\u4e86\u8c37\u5c71\u5fd7\u6751\u731c\u60f3\uff0cFrey \u7684\u692d\u5706\u66f2\u7ebf\u521a\u597d\u5728\u8fd9\u4e00\u7279\u4f8b\u8303\u56f4\u5185\uff0c\u4ece\u800c\u8bc1\u660e\u4e86\u8d39\u9a6c\u5927\u5b9a\u7406\u3002
\u6000\u5c14\u65af\u8bc1\u660e\u8d39\u9a6c\u5927\u5b9a\u7406\u7684\u8fc7\u7a0b\u4ea6\u751a\u5177\u620f\u5267\u6027\u3002\u4ed6\u7528\u4e86\u4e03\u5e74\u65f6\u95f4\uff0c\u5728\u4e0d\u4e3a\u4eba\u77e5\u7684\u60c5\u51b5\u4e0b\uff0c\u5f97\u51fa\u4e86\u8bc1\u660e\u7684\u5927\u90e8\u5206\uff1b\u7136\u540e\u4e8e1993\u5e746\u6708\u5728\u4e00\u4e2a\u5b66\u672f\u4f1a\u8bae\u4e0a\u5ba3\u5e03\u4e86\u4ed6\u7684\u8bc1\u660e\uff0c\u5e76\u77ac\u5373\u6210\u4e3a\u4e16\u754c\u5934\u6761\u3002\u4f46\u5728\u5ba1\u6279\u8bc1\u660e\u7684\u8fc7\u7a0b\u4e2d\uff0c\u4e13\u5bb6\u53d1\u73b0\u4e86\u4e00\u4e2a\u6781\u4e25\u91cd\u7684\u9519\u8bef\u3002\u6000\u5c14\u65af\u548c\u6cf0\u52d2\u7136\u540e\u7528\u4e86\u8fd1\u4e00\u5e74\u65f6\u95f4\u5c1d\u8bd5\u8865\u6551\uff0c\u7ec8\u57281994\u5e749\u6708\u4ee5\u4e00\u4e2a\u4e4b\u524d\u6000\u5c14\u65af\u629b\u5f03\u8fc7\u7684\u65b9\u6cd5\u5f97\u5230\u6210\u529f\u3002\u4ed6\u4eec\u7684\u8bc1\u660e\u520a\u57281995\u5e74\u7684Annals of Mathematics\u4e4b\u4e0a\u3002
对费马方程x^n+y^n=z^n整数解关系的证明，多年来在数学界一直颇多争议。本文利用平面几何方法，全面分析了直角三角形边长a^2+b^2=c^2整数解的存在条件，提出对多元代数式应用增元求值。本文给出的直角三角型边长a^2+b^2=c^2整数解的“定a计算法则”；“增比计算法则”；“定差公式法则”；“a值奇偶数列法则”；是平方整数解的代数条件和实践方法；本文提出建立了一元代数式的绝对方幂式与绝对非方幂式概念；本文利用同方幂数增比性质，利用整数方幂数增项差公式性质，把费马方程x^n+y^n=z^n原本三元高次不定方程的整数解判定问题，巧妙地化为了一元定解方程问题。
关键词：增元求解法 绝对方幂式绝对非方幂式 相邻整数方幂数增项差公式
引言：1621年，法国数学家费马（Fermat）在读看古希腊数学家丢番图（Diophantna）著写的算术学一书时，针对书中提到的直角三角形三边整数关系，提出了方程x^n+y^n=z^n在n=2时有无穷多组整数解，在n＞2时永远没有整数解的观点。并声称自己当时进行了绝妙的证明。这就是被后世人称为费马大定理的旷世难题。时至今日，此问题的解答仍繁难冗长，纷争不断，令人莫衷一是。
本文利用直角三角形、正方形的边长与面积的相互关系，建立了费马方程平方整数解新的直观简洁的理论与实践方法，本文利用同方幂数增比定理，对费马方程x^n+y^n=z^n在指数n＞2时的整数解关系进行了分析论证，用代数方法再现了费马当年的绝妙证明。
定义1．费马方程
人们习惯上称x^n+y^n=z^n关系为费马方程，它的深层意义是指：在指数n值取定后，其x、y、z均为整数。
在直角三角形边长中，经常得到a、b、c均为整数关系，例如直角三角形 3 、4、 5 ，这时由勾股弦定理可以得到3^2+4^2=5^2，所以在方次数为2时，费马方程与勾股弦定理同阶。当指数大于2时，费马方程整数解之研究，从欧拉到狄里克莱，已经成为很大的一门数学分支.
定义2．增元求解法
在多元代数式的求值计算中引入原计算项元以外的未知数项元加入，使其构成等式关系并参与求值运算。我们把利用增加未知数项元来实现对多元代数式求值的方法，叫增元求解法。
利用增元求解法进行多元代数式求值，有时能把非常复杂的问题变得极其简单。
下面，我们将利用增元求解法来实现对直角三角形三边a^2+b^2=c^2整数解关系的求值。
一，直角三角形边长a^2+b^2=c^2整数解的“定a计算法则”
定理1．如a、b、c分别是直角三角形的三边，Q是增元项，且Q≥1，满足条件：
a≥3
{ b=（a^2-Q^2）÷2Q
c= Q+b
则此时，a^2+b^2=c^2是整数解；
证：在正方形面积关系中，由边长为a得到面积为a^2，若（a^2-Q^2）÷2Q=b（其中Q为增元项，且b、Q是整数）,则可把面积a^2分解为a^2=Q^2+Qb+Qb，把分解关系按下列关系重新组合后可得到图形：
Q2 Qb
其缺口刚好是一个边长为b的正方形。补足缺口面积b^2后可得到一个边长
Qb
为Q+b的正方形，现取Q+b=c，根据直角三角形边长关系的勾股弦定理a^2+b^2=c^2条件可知，此时的a、b、c是直角三角形的三个整数边长。
故定理1得证
应用例子：
例1． 利用定a计算法则求直角三角形a边为15时的边长平方整数解?
解：取 应用例子：a为15，选增元项Q为1，根据定a计算法则得到：
a= 15
{ b=（a^- Q^2）÷2Q=（15^2-1^2）÷2 =112
c=Q+b=1+112=113
所以得到平方整数解15^2+112^2=113^2
再取a为15，选增元项Q为3，根据定a计算法则得到：
a= 15
{ b=（a^2-Q^2）÷2Q=（15^2-3^2）÷6=36
c=Q+b=3+36=39
所以得到平方整数解15^2+36^2=39^2
定a计算法则，当取a=3、4、5、6、7 … 时，通过Q的不同取值，将函盖全部平方整数解。
二，直角三角形边长a^2+b^2=c^2整数解“增比计算法则”
定理2．如a^2+b^2=c^2 是直角三角形边长的一组整数解，则有（an）^2+（bn）^2 =（cn）^2（其中n=1、2、3…）都是整数解。
证：由勾股弦定理，凡a^2+b^2=c^2是整数解必得到一个边长都为整数的直角三角形 a c ，根据平面线段等比放大的原理，三角形等比放大得到 2a 2c；
b 2b
3a 3c；4a 4c；… 由a、b、c为整数条件可知，2a、2b、2c；
3b 4b
3a、3b、3c；4a、4b、4c… na、nb、nc都是整数。
故定理2得证
应用例子：
例2．证明303^2+404^2=505^2是整数解？
解；由直角三角形3 5 得到3^2+4^2=5^2是整数解，根据增比计
4
算法则，以直角三角形 3×101 5×101 关系为边长时，必有
4×101
303^2+404^2=505^2是整数解。
三，直角三角形边长a^2+b^2=c^2整数解“定差公式法则”
3a + 2c + n = a1
（这里n=b-a之差，n=1、2、3…）
定理3．若直角三角形a^2+^b2=c^2是满足b-a=n关系的整数解，那么，利用以上3a+2c+ n = a1公式连求得到的a1、a2、a3…ai 所组成的平方数组ai^2+bi^2=ci^2都是具有b-a=n之定差关系的整数解。
证：取n为1，由直角三角形三边3、4、5得到3^2+4^2=5^2，这里n=b-a=4-3=1，根据 3a + 2c + 1= a1定差公式法则有：
a1=3×3+2×5+1=20 这时得到
20^2+21^2=29^2 继续利用公式计算得到：
a2=3×20+2×29+1=119 这时得到
119^2+120^2=169^2 继续利用公式计算得到
a3=3×119+2×169+1=696 这时得到
696^2+697^2=985^2
…
故定差为1关系成立
现取n为7，我们有直角三角形21^2+28^2=35^2，这里n=28-21=7，根据 3a + 2c + 7 = a1定差公式法则有：
a1=3×21+2×35+7=140 这时得到
140^2+147^2=203^2 继续利用公式计算得到：
a2=3×140+2×203+7=833 这时得到
833^2+840^2=1183^2 继续利用公式计算得到：
a3=3×833+2×1183+7=4872 这时得到
4872^2+4879^2=6895^2
…
故定差为7关系成立
再取n为129，我们有直角三角形387^2+516^2=645^2，这里n=516-387=129，根据 3a + 2c + 129= a1定差公式法则有：
a1=3×387+2×645+129=2580 这时得到
2580^2+2709^2=3741^2 继续利用公式计算得到：
a2=3×2580+2×3741+129=15351 这时得到
15351^2+15480^2=21801^2 继续利用公式计算得到：
a3=3×15351+2×21801+129=89784 这时得到
89784^2+89913^2=127065^2
…
故定差为129关系成立
故定差n计算法则成立
故定理3得证
四，平方整数解a^2+^b2=c^2的a值奇偶数列法则：
定理4． 如a^2+^b2=c^2是直角三角形的三个整数边长，则必有如下a值的奇数列、偶数列关系成立；
（一） 奇数列a：
若a表为2n+1型奇数（n=1、2、3 …）， 则a为奇数列平方整数解的关系是：
a=2n+1
{ c=n^2+（n+1）^2
b=c-1
证：由本式条件分别取n=1、2、3 … 时得到：
3^2+4^2=5^2
5^2+12^2=13^2
7^2+24^2=25^2
9^2+40^2=41^2
11^2+60^2=61^2
13^2+84^2=85^2
…
故得到奇数列a关系成立
（二）偶数列a：
若a表为2n+2型偶数（n=1、2、3 …）， 则a为偶数列平方整数解的关系是：
a=2n+2
{ c=1+（n+1）^2
b=c-2
证：由本式条件分别取n=1、2、3 … 时得到：
4^2+3^2=5^2
6^2+8^2=10^2
8^2+15^2=17^2
10^2+24^2=26^2
12^2+35^2=37^2
14^2+48^2=50^2
…
故得到偶数列a关系成立
故定理4关系成立
由此得到,在直角三角形a、b、c三边中：
b-a之差可为1、2、3…
a-b之差可为1、2、3…
c-a之差可为1、2、3…
c-b之差可为1、2、3…
定差平方整数解有无穷多种；
每种定差平方整数解有无穷多个。
以上，我们给出了平方整数解的代数条件和实践方法。我们同样能够用代数方法证明，费马方程x^n+y^n=z^n在指数n＞2时没有整数解。证明如下：
我们首先证明，增比计算法则在任意方次幂时都成立。
定理5，若a，b，c都是大于0的不同整数，m是大于1的整数，如有a^m+b^m=c^m+d^m+e^m同方幂关系成立，则a，b，c，d，e增比后，同方幂关系仍成立。
证：在定理原式 a^m+b^m=c^m+d^m+e^m中，取增比为n，n＞1，
得到 ： （n a）^m+（nb）^m=（nc）^m+（nd）^m+（ne）^m
原式化为 ： n^m（a^m+b^m）=n^m（c^m+d^m+e^m）
两边消掉 n^m后得到原式。
所以，同方幂数和差式之间存在增比计算法则，增比后仍是同方幂数。
故定理5得证
定理6，若a，b，c是不同整数且有a^m+b=c^m关系成立，其中b＞1，b不是a，c的同方幂数，当a，b，c同比增大后，b仍然不是a，c的同方幂数。
证：取定理原式a^m+b=c^m
取增比为n，n＞1，得到：（na）^m+n^mb=（nc）^m
原式化为： n^m（a^m+b）=n^mc^m
两边消掉n^m后得到原式。
由于b不能化为a，c的同方幂数，所以n^mb也不能化为a，c的同方幂数。
所以，同方幂数和差式间含有的不是同方幂数的数项在共同增比后，等式关系仍然成立。其中的同方幂数数项在增比后仍然是同方幂数，不是同方幂数的数项在增比后仍然是非同方幂数。
故定理6得证
一元代数式的绝对方幂与绝对非方幂性质
定义3，绝对某次方幂式
在含有一元未知数的代数式中，若未知数取值为大于0的全体整数时，代数式的值都是某次完全方幂数，我们称这时的代数式为绝对某次方幂式。例如：n^2+2n+1，n^2+4n+4，
n^2+6n+9，……都是绝对2次方幂式；而n^3+3n^2+3n+1，n^3+6n^2+12n+8，……都是绝对3次方幂式。
一元绝对某次方幂式的一般形式为（n+b）^m（m＞1，b为常数项）的展开项。
定义4，绝对非某次方幂式
在含有一元未知数的代数式中，若未知数取值为大于0的全体整数时，代数式的值都不是某次完全方幂数，我们称这时的代数式为绝对非某次方幂式。例如：n^2+1，n^2+2，n^2+2n，…… 都是绝对非2次方幂式；而n^3+1，n^3+3n^2+1，n^3+3n+1，3n^2+3n+1，n^3+6n^2+8……都是绝对非3次方幂式。
当一元代数式的项数很少时，我们很容易确定代数式是否绝对非某次方幂式，例如n^2+n是绝对非2次方幂式，n^7+n是绝对非7次方幂式，但当代数式的项数很多时，得到绝对非某次方幂式的条件将越来越苛刻。
一元绝对非某次方幂式的一般形式为：在（n+b）^m（m＞2，b为常数项）的展开项中减除其中某一项。
推理：不是绝对m次方幂式和绝对非m次方幂式的方幂代数式必定在未知数取某一值时得出一个完全m次方数。例如：3n^2+4n+1不是绝对非3次方幂式，取n=1时有3n^2+4n+1=8=2^3，3n^2+3n+1不是绝对非2次方幂式，当n=7时，3n^2+3n+1=169=13^2;
推理：不含方幂项的一元代数式对任何方幂没有唯一性。2n+1=9=3^2，2n+1=49=7^2 …… 4n+4=64=8^2，4n+4=256=16^2 ……2n+1=27=3^3，2n+1=125=5^3 ……
证明：一元代数式存在m次绝对非方幂式；
在一元代数式中，未知数的不同取值，代数式将得到不同的计算结果。未知数与代式计算结果间的对应关系是唯一的，是等式可逆的，是纯粹的定解关系。这就是一元代数式的代数公理。即可由代入未知数值的办法对代数式求值，又可在给定代数式数值的条件下反过来对未知数求值。利用一元代数式的这些性质，我们可实现整数的奇偶分类、余数分类和方幂分类。
当常数项为1时，完全立方数一元代数表达式的4项式的固定形式是（n+1）^3=n^3+3n^2+3n+1，它一共由包括2个方幂项在内的4个单项项元组成，对这个代数式中3个未知数项中任意一项的改动和缺失，代数式都无法得出完全立方数。在保留常数项的前提下，我们锁定其中的任意3项，则可得到必定含有方幂项的3个不同的一元代数式，n^3+3n^2+1，n^3+3n+1，3n^2+3n+1，对这3个代数式来说，使代数式的值成为立方数只能有唯一一个解，即补上缺失的第4项值，而且这个缺失项不取不行，取其它项值也不行。因为这些代数式与原立方代数式形成了固定的单项定差代数关系，这种代数关系的存在与未知数取值无关。这种关系是：
（n+1）^3-3n= n^3+3n^2+1
（n+1）^3-3n^2= n^3+3n+1
（n+1）^3-n^3=3n^2+3n+1
所以得到：当取n=1、2、3、4、5 …
n^3+3n^2+1≠（n+1）^3
n^3+3n+1≠（n+1）^3
3n2+3n+1≠（n+1）^^3
即这3个代数式的值都不能等于（n+1）^3形完全立方数。
当取n=1、2、3、4、5 …时，（n+1）^3=n^3+3n^2+3n+1的值是从2开始的全体整数的立方，而 小于2的整数只有1，1^3=1，当取n=1时，
n^3+3n^2+1=5≠1
n^3+3n+1=5≠1
3n^2+3n+1=7≠1
所以得到：当取n=1、2、3、4、5 …时，代数式n^3+3n^2+1，n^3+3n+1，3n^2+3n+1的值不等于全体整数的立方数。这些代数式是3次绝对非方幂式。
由以上方法我们能够证明一元代数式：n^4+4n^3+6n^2+1，n^4+4n^3+4n+1，n^4+6n^2+4n+1，4n^3+6n^2+4n+1，在取n=1、2、3、4、5 …时的值永远不是完全4次方数。这些代数式是4次绝对非方幂式。
能够证明5次方以上的一元代数式（n+1）^m的展开项在保留常数项的前提下，锁定其中的任意m项后，可得到m个不同的一元代数式，这m个不同的一元代数式在取n=1、2、3、4、5 …时的值永远不是完全m次方数。这些代数式是m次绝对非方幂式。
现在我们用代数方法给出相邻两整数n与n+1的方幂数增项差公式；
2次方时有：（n+1）^2-n^2
=n^2+2n+1-n^2
=2n+1
所以，2次方相邻整数的平方数的增项差公式为2n+1。
由于2n+1不含有方幂关系，而所有奇数的幂方都可表为2n+1，所以，当2n+1为完全平方数时，必然存在n^2+（2√2n+1）^2=（n+1）^2即z-x=1之平方整数解关系，应用增比计算法则，我们即可得到z-x=2，z-x=3，z-x=4，z-x=5……之平方整数解关系。但z-x＞1的xyz互素的平方整数解不能由增比法则得出，求得这些平方整数解的方法是：
由（n+2）^2-n^2=4n+4为完全平方数时得出全部z-x=2的平方整数解后增比；
由（n+3）^2-n^2=6n+9为完全平方数时得出全部z-x=3的平方整数解后增比；
由（n+4）^2-n^2=8n+16为完全平方数时得出全部z-x=4的平方整数解后增比；
……
这种常数项的增加关系适合于全体整数，当取n=1、2、3 … 时，我们可得到整数中全部平方整数解。
所以费马方程x^n+y^n=z^n在指数为2时成立。
同时，由于所有奇数的幂方都可表为2n+1及某些偶数的幂方可表为4n+4，6n+9，8n+16 …… 所以，还必有x^2+y^n=z^2整数解关系成立。
3次方时有：（n+1）^3-n^3
=n^3+3n^2+3n+1-n^3
=3n^2+3n+1
所以，3次方相邻整数的立方数的增项差公式为3n^2+3n+1。
由于3n^2+3n+1是（n+1）^3的缺项公式，它仍然含有幂方关系，是3次绝对非方幂式。所以，n为任何整数时3n^2+3n+1的值都不是完全立方数，因而整数间不存在n^3+（3√3n^2+3n+1 ）^3=（n+1）^3即z-x=1之立方整数解关系，由增比计算法则可知，也不存在z-x=2，z-x=3，z-x=4，z-x=5……之立方整数解关系。但z-x＞1的xyz互素的费马方程式不能由增比法则表出，表出这些立方费马方程式的方法是：
由（n+2）^3-n^3=6n2+12n+8，所以，n为任何整数它的值都不是完全立方数；
由（n+3）^3-n^3=9n2+27n+27，所以，n为任何整数它的值都不是完全立方数；
由（n+4）^3-n^3=12n2+48n+64，所以，n为任何整数它的值都不是完全立方数；
……
这种常数项的增加关系适合于全体整数，当取n=1、2、3 … 时，费马方程3次方关系经过增比后将覆盖全体整数。
所以费马方程x^n+y^n=z^n在指数为3时无整数解。
4次方时有；（n+1）^4-n^4
=n^4+4n^3+6n^2+4n+1-n^4
=4n^3+6n^2+4n+1
所以，4次方相邻整数的4次方数的增项差公式为4n^3+6n^2+4n+1。
由于4n^3+6n^2+4n+1是（n+1）^4的缺项公式，它仍然含有幂方关系，是4次绝对非方幂式。所以，n为任何整数时4n^3+6n^2+4n+1的值都不是完全4次方数，因而整数间不存在n^4+（4√4n3+6n2+4n+1）^4=（n+1）^4即z-x=1之4次方整数解关系，由增比计算法则可知，也不存在z-x=2，z-x=3，z-x=4，z-x=5……之4次方整数解关系。但z-x＞1的xyz互素的费马方程式不能由增比法则表出，表出这些4次方费马方程式的方法是：
由（n+1）^4-n^4=8n3+24n2+32n+16，所以，n为任何整数它的值都不是完全4次方数；
由（n+1）^4-n^4=12n3+54n2+108n+81，所以，n为任何整数它的值都不是完全4次方数；
由（n+1）^4-n^4=16n3+96n2+256n+256，所以，n为任何整数它的值都不是完全4次方数；
……
这种常数项的增加关系适合于全体整数，当取n=1、2、3 … 时，费马方程4次方关系经过增比后将覆盖全体整数。
所以费马方程x^n+y^n=z^n在指数为4时无整数解。
m次方时，相邻整数的方幂数的增项差公式为：
（ n+1）^m-n^m
=n^m+mn^m-1+…+…+mn+1-n^m
=mn^m-1+…+…+mn+1
所以，m次方相邻整数的m次方数的增项差公式为mn^m-1+…+…+mn+1。
由于mn^m-1+…+…+mn+1是（n+1）^m的缺项公式，它仍然含有幂方关系，是m次绝对非方幂式。所以，n为任何整数时mn^m-1+…+…+mn+1 的值都不是完全m次方数，因而整数间不存在n^m+（m√mn^m-1+…+…+mn+1）^m =（n+1）^m即z-x=1之m次方整数解关系，由增比计算法则可知，也不存在z-x=2，z-x=3，z-x=4，z-x=5……之m次方整数解关系。但z-x＞1的xyz互素的费马方程式不能由增比法则表出，表出这些m次方费马方程式的方法是：
由（n+2）^m-n^m=2mn^m-1+…+…+2^m-1 mn+2^m，所以，n为任何整数它的值都不是完全m次方数；
由（n+3）^m-n^m=3mn^m-1+…+…+3^m-1 mn+3^m，所以，n为任何整数它的值都不是完全m次方数；
由（n+4）^m-n^m=4mn^m-1+…+…+4^m-1 mn+4^m，所以，n为任何整数它的值都不是完全m次方数；
……
这种常数项的增加关系适合于全体整数，当取n=1、2、3 … 时，费马方程m次方关系经过增比后将覆盖全体整数。
所以费马方程x^n+y^n=z^n在指数为m时无整数解。
所以费马方程x^n+y^n=z^n在指数n＞2时永远没有整数解。
绛旓細1. 璐归┈鏂圭▼x^n+y^n=z^n鏁存暟瑙ｅ叧绯鐨勮瘉鏄锛- 鍒╃敤骞抽潰鍑犱綍鏂规硶锛屽叏闈㈠垎鏋愪簡鐩磋涓夎褰㈣竟闀縜^2+b^2=c^2鏁存暟瑙ｇ殑瀛樺湪鏉′欢銆- 鎻愬嚭瀵瑰鍏冧唬鏁板紡搴旂敤澧炲厓姹傚笺- 鎻愬嚭浜嗙洿瑙掍笁瑙掑舰杈归暱a^2+b^2=c^2鏁存暟瑙ｇ殑鈥滃畾a璁＄畻娉曞垯鈥濓紱鈥滃鍗囨墜姣旇绠楁硶鍒欌濓紱鈥滃畾宸叕寮忔硶鍒欌濓紱鈥渁鍊煎鍋舵暟鍒楁硶鍒欌濄
绛旓細璐归┈澶у畾鐞嗚瘉鏄庤繃绋嬶細璁撅細a=d^(n/2)锛宐=h^(n/2)锛宑=p^(n/2)锛鍒檃^2+b^2=c^2灏卞彲浠ュ啓鎴恉^n+h^n=p^n锛宯=1.2.3鈥︹﹀綋n=1鏃锛宒+h=p锛宒銆乭涓巔鍙互鏄换鎰忔暣鏁般傝瘉鏄庤繃绋嬶細鑻,b,c閮芥槸澶т簬0鐨勪笉鍚屾暣鏁,m鏄ぇ浜1鐨勬暣鏁,濡傛湁a^m+b^m=c^m+d^m+e^m鍚屾柟骞傚叧绯绘垚绔,...
绛旓細璐归┈澶у畾鐞嗚瘉鏄庤繃绋:璁:a=d^(n/2),b=h^(n/2),c=p^(n/2);鍒檃^2+b^2=c^2灏卞彲浠ュ啓鎴恉^n+h^n=p^n,n=1.2.3鈥︹﹀綋n=1 鏃,d+h=p,d銆乭涓巔鍙互鏄换鎰忔暣鏁般傛嫇灞曪細璐归┈澶у畾鐞嗭紝鍙堣绉颁负璐归┈鏈鍚庣殑瀹氱悊锛岀敱17涓栫邯娉曞浗鏁板瀹剁毊鑰跺痉璐归┈鎻愬嚭銆傚ぇ绾﹀湪1637骞村乏鍙筹紝娉曞浗瀛﹁呰垂椹湪闃呰...
绛旓細璇佹槑璐归┈澶у畾鐞嗙殑杩囩▼濡備笅锛1. 棣栧厛锛屾垜浠冭檻涓涓凡鐭ョ殑绛夊紡锛歛^2 + b^2 = c^2銆2. 鍋囪c = b + k锛屽叾涓璳鏄竴涓鏁存暟锛屽彲浠ユ槸1銆2鎴3銆傞偅涔堢瓑寮忓彲浠ュ啓鎴恆^2 + b^2 = (b + k)^2銆3. 鐢变簬c蹇呴』澶т簬a鍜宐锛屼笖鑷冲皯涓1锛屽洜姝鍙兘鍙1銆2鎴3銆4. 鎺ヤ笅鏉ワ紝鎴戜滑璁綼 = d^(n...
绛旓細璐归┈瀹氱悊鐨勮瘉鏄庤繃绋濡備笅锛1锛岀儹灏旀浖璇佹槑浜嗗綋n鍜2n+1閮芥槸绱犳暟鏃讹紝璐归┈澶у畾鐞嗙殑鍙嶄緥x锛寉锛寊鑷冲皯鏈変竴涓槸n鏁村嶆暟銆2锛1825骞达紝寰峰浗鏁板瀹剁媱鍒╁厠闆峰拰娉曞浗鏁板瀹跺嫆璁╁痉鍒嗗埆鐙珛璇佹槑浜嗚垂椹ぇ瀹氱悊鍦╪=5鏃舵垚绔嬶紝鐢ㄧ殑鏄鎷夋墍鐢ㄦ柟娉曠殑寤朵几锛屼絾閬垮紑浜嗗敮涓鍥犲瓙鍒嗚В瀹氱悊銆3锛1839骞达紝娉曞浗鏁板瀹舵媺姊呭鐑皵鏇兼柟娉...
绛旓細1994骞10鏈25鏃11鐐4鍒11绉掞紝鎬灏旀柉閫氳繃浠栦互鍓嶇殑瀛︾敓銆佺編鍥戒縿浜ヤ縿宸炵珛澶у鏁欐巿鍗″皵椴佸鍚戜笘鐣屾暟瀛︾晫鍙戜簡璐归┈澶у畾鐞嗙殑瀹屾暣璇佹槑閭欢锛屽寘鎷竴绡囬暱鏂団滄ā妞渾鏇茬嚎鍜岃垂椹ぇ瀹氱悊鈥濓紝浣滆呭畨寰烽瞾鎬灏旀柉銆傚彟涓绡囩煭鏂団滄煇浜涜但鍏嬩唬鏁扮殑鐜鎬ц川鈥濅綔鑰呯悊鏌ュ痉娉板嫆鍜屽畨寰烽瞾鎬灏旀柉銆傝嚦姝よ垂椹ぇ瀹氱悊寰楄瘉銆傛灏旀柉鍜屼粬浠ュ墠鐨勫崥澹...
绛旓細璐归┈澶у畾鐞嗙殑璇佹槑鏂规硶锛歺+y=z鏈夋棤绌峰缁勬暣鏁拌В锛岀О涓轰竴涓笁鍏冪粍锛泋^2+y^2=z^2涔熸湁鏃犵┓澶氱粍鏁存暟瑙ｏ紝杩欎釜缁撹鍦ㄦ瘯杈惧摜鎷夋柉鏃朵唬灏辫浠栫殑瀛︾敓璇佹槑锛岀О涓烘瘯杈惧摜鎷夋柉涓夊厓缁勶紝鎴戜滑涓浗浜虹О浠栦滑涓哄嬀鑲℃暟銆備絾x^3+y^3=z^3鍗村缁堟病鎵惧埌鏁存暟瑙ｃ傛渶鎺ヨ繎鐨勬槸锛6^3+8^3=9^-1锛岃繕鏄樊浜1銆備簬鏄縿浠...
绛旓細璐归┈鏈鍚庡畾鐞鍦ㄤ腑鍥戒範鎯О涓璐归┈澶у畾鐞锛岃タ鏂规暟瀛︾晫鍘熷悕鈥滄渶鍚庘濈殑鎰忔濇槸锛氬叾瀹冪寽鎯抽兘璇佸疄浜嗭紝杩欐槸鏈鍚庝竴涓傝憲鍚嶇殑鏁板鍙插瀹惰礉灏旓紙E. T. Bell锛夊湪20涓栫邯鍒濇墍鎾板啓鐨勮憲浣滀腑锛岀О鐨堵峰痉路璐归┈涓衡濅笟浣欐暟瀛﹀涔嬬帇鈥溿傝礉灏旀繁淇★紝璐归┈姣旂毊鑰堵峰痉路璐归┈鍚屾椂浠ｇ殑澶у鏁颁笓涓氭暟瀛﹀鏇存湁鎴愬氨锛岀劧鑰岀毊鑰堵峰痉路...
绛旓細璇佹槑璐归┈澶у畾鐞锛氬凡鐭ワ細a^2+b^2=c^2 浠=b+k锛宬=1.2.3??锛屽垯a^2+b^2=(b+k)^2銆傚洜涓猴紝鏁存暟c蹇呯劧瑕佹瘮a涓巄閮借澶э紝鑰屼笖鑷冲皯瑕佸ぇ浜1锛屾墍浠=1.2.3??璁撅細a=d^(n/2)锛宐=h^(n/2)锛宑=p^(n/2)锛涘垯a^2+b^2=c^2灏卞彲浠ュ啓鎴恉^n+h^n=p^n锛宯=1.2.3??褰搉=1鏃...
绛旓細璐归┈澶у畾鐞嗙殑宸у璇佹槑濡備笅锛氶┈澶у畾鐞嗘寚鍑猴紝濡傛灉n鏄ぇ浜2鐨勬暣鏁帮紝鍒欎笉瀛樺湪婊¤冻璇ユ柟绋嬬殑姝ｆ暣鏁皒銆亂鍜寊銆傚浜庝换鎰忕殑n锛氬紡2锛歯鍦ㄨ垂椹ぇ瀹氱悊涓繀椤婚伒瀹堢殑鏉′欢銆傚紡涓紝Z涓烘暣鏁伴泦鍚堛傝垂椹ぇ瀹氱悊浠嬬粛濡備笅锛氳垂椹ぇ瀹氱悊锛屽張琚О涓衡滆垂椹渶鍚庣殑瀹氱悊鈥濓紝鐢17涓栫邯娉曞浗鏁板瀹剁毊鑰堵峰痉路璐归┈鎻愬嚭銆傝垂椹ぇ瀹氱悊鐨勭敱鏉...
