费马小定理证明过程
任意取一个质数，比如13。考虑从1到12的一系列整数1,2,3,4,5,6,7,8,9,10,11,12，给这些数都乘上一个与13互质的数，比如3，得到3,6,9,12,15,18,21,24,27,30,33,36。对于模13来说，这些数同余于3,6,9,12,2,5,8,11,1,4,7,10。这些余数实际上就是原来的1,2,3,4,5,6,7,8,9,10,11,12，只是顺序不同而已（这里可以用中国剩余定理去理解）。
把1,2,3,„,12统统乘起来，乘积就是12的阶乘12！。把3,6,9,„,36也统统乘起来，并且提出公因子3，乘积就是312×12！。对于模13来说，这两个乘积都同余于1,2,3,„,12系列，尽管顺序不是一一对应，即312×12！≡12！mod 13。两边同时除以12！得312≡1 mod 13。如果用p代替13，用x代替3，就得到费马小定理
1*2*..*12 ≡ 3*6*9*12*2*5*8*11*1*4*7*10 mod 13 （因为顺序不同而已）
而3*6*9*12*15*18*21*24*27*30*33*36 ≡ 3*6*9*12*2*5*8*11*1*4*7*10 mod 13 （因为3和13互质，所以1，2，.. 12 乘上3后还是和13互质，12个数还是和1到12同余 ，只是顺序不同了 ）。
所以312×12！≡12！mod 13。
费马小定理可以快速求得x关于p的逆。前提是x与p互质。

所以就是x关于p的乘法逆元。
费马定理的证明过程
证明费马大定理（证明过程详解）
已知：a^2+b^2=c^2
令c=b+k，k=1.2.3……，则a^2+b^2=(b+k)^2。
因为，整数c必然要比a与b都要大，而且至少要大于1，所以k=1.2.3……
设：a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；
则a^2+b^2=c^2就可以写成d^n+h^n=p^n，n=1.2.3……
当n=1时，d+h=p，d、h与p可以是任意整数。
当n=2时，a=d，b=h，c=p，则d^2+h^2=p^2 => a^2+b^2=c^2。
当n≥3时，a^2=d^n，b^2=h^n，c^2=p^n。
因为，a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；要想保证d、h、p为整数，就必须保证a、b、c必须都是完全平方数。
∴a、b、c必须是整数的平方，才能使d、h、p在d^n+h^n=p^n公式中为整数。
假若d、h、p不能在公式中同时以整数的形式存在的话，则费马大定理成立。
设a=mk，则b=k(m^2-1)/2。
令m=k，则a=m^2，b=m(m^2-1)/2，令m/2=(m^2-1)，则b=(m/2)^2，c=(m/2)^2+m。
则a^2+b^2=c^2 => m^4+(m/2)^4=[(m/2)^2+m]^2=>m^2(2m^2-m-2)=0，m1=0（舍去），m2=(1±√17)/4（非整数）。
此外，当m/2=(m^2-1)时，（也可以让）b=(m^2-1)^2
则a^2+b^2=c^2 => m^4+(m^2-1)^4=[(m^2-1)^2+m]^2=> m(m^2-1)(2m^2-m-2)=0，m1=0，m2=±1，m3=(1±√17)/4。
验证：当m=±1时，b=h^(n^2)=(m^2-1)^2=0；即a^2=c^2。与题要求不符。
假若d、h、p可以以整数的形式出现，说明等式d^n+h^n=p^n成立，费马大定理不成立。否则，d^n+h^n≠p^n不等式成立，费马大定理成立。
如何证明费马定理
费马大定理的证明方法：
x+y=z有无穷多组整数解，称为一个三元组；x^2+y^2=z^2也有无穷多组整数解，这个结论在毕达哥拉斯时代就被他的学生证明，称为毕达哥拉斯三元组，我们中国人称他们为勾股数。但x^3+y^3=z^3却始终没找到整数解。
最接近的是：6^3+8^3=9^-1，还是差了1。于是迄今为止最伟大的业余数学家费马提出了猜想：总的来说，不可能将一个高于2次的幂写成两个同样次幂的和。因此，就有了：
已知：a^2+b^2=c^2
令c=b+k，k=1.2.3……，则a^2+b^2=(b+k)^2。
因为，整数c必然要比a与b都要大，而且至少要大于1，所以k=1.2.3……
设：a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；
则a^2+b^2=c^2就可以写成d^n+h^n=p^n，n=1.2.3……
当n=1时，d+h=p，d、h与p可以是任意整数。
当n=2时，a=d，b=h，c=p，则d^2+h^2=p^2 => a^2+b^2=c^2。
当n≥3时，a^2=d^n，b^2=h^n，c^2=p^n。
因为，a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；要想保证d、h、p为整数，就必须保证a、b、c必须都是完全平方数。
a、b、c必须是整数的平方，才能使d、h、p在d^n+h^n=p^n公式中为整数。
假若d、h、p不能在公式中同时以整数的形式存在的话，则费马大定理成立。
扩展资料：
费马大定理，由17世纪法国数学家皮耶·德·费玛提出。
他断言当整数n >2时，关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。
德国佛尔夫斯克曾宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。
被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。
费马大定理如何被证明证明过程
如下
费马大定理，一个困惑世间智者358年的谜，于1995年被英国数学家怀尔斯证明。他用了七年时间，得出了证明的大部分，并于1993年在一次学术会上宣布了他的证明。不幸的是，在审查过程中，专家发现了一个严重错误。怀尔斯又花了近一年时间尝试补救，最终在1994年9月，用他之前抛弃过的一个方法获得成功。他的论文发表在1995年的Annals of Mathematics。
至于证明的具体内容，显然不是这里能够表述的。
费马大定理详细证明中文版
费马大定理的证明方法：
x+y=z有无穷多组整数解，称为一个三元组；x^2+y^2=z^2也有无穷多组整数解，这个结论在毕达哥拉斯时代就被他的学生证明，称为毕达哥拉斯三元组，我们中国人称他们为勾股数。但x^3+y^3=z^3却始终没找到整数解。
最接近的是：6^3+8^3=9^-1，还是差了1。于是迄今为止最伟大的业余数学家费马提出了猜想：总的来说，不可能将一个高于2次的幂写成两个同样次幂的和。因此，就有了：
已知：a^2+b^2=c^2
令c=b+k，k=1.2.3……，则a^2+b^2=(b+k)^2。
因为，整数c必然要比a与b都要大，而且至少要大于1，所以k=1.2.3……
设：a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；
则a^2+b^2=c^2就可以写成d^n+h^n=p^n，n=1.2.3……
当n=1时，d+h=p，d、h与p可以是任意整数。
当n=2时，a=d，b=h，c=p，则d^2+h^2=p^2 => a^2+b^2=c^2。
当n≥3时，a^2=d^n，b^2=h^n，c^2=p^n。
因为，a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；要想保证d、h、p为整数，就必须保证a、b、c必须都是完全平方数。
a、b、c必须是整数的平方，才能使d、h、p在d^n+h^n=p^n公式中为整数。
假若d、h、p不能在公式中同时以整数的形式存在的话，则费马大定理成立。
