费马大定理的证明是什么?
证明费马大定理是如下：
已知：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^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原本三元高次不定方程的整数解判定问题，巧妙地化为了一元定解方程问题。
绛旓細楠岃瘉锛氬綋m=卤1鏃讹紝b=h^(n^2)=(m^2-1)^2=0锛涘嵆a^2=c^2銆備笌棰樿姹備笉绗︺傚亣鑻銆乭銆乸鍙互浠ユ暣鏁扮殑褰㈠紡鍑虹幇锛岃鏄庣瓑寮廳^n+h^n=p^n鎴愮珛锛璐归┈澶у畾鐞涓嶆垚绔嬨傚惁鍒欙紝d^n+h^n鈮爌^n涓嶇瓑寮忔垚绔嬶紝璐归┈澶у畾鐞嗘垚绔嬨傝垂椹ぇ瀹氱悊锛氬璐归┈鏂圭▼x^n+y^n=z^n鏁存暟瑙ｅ叧绯鐨勮瘉鏄锛屽骞存潵鍦ㄦ暟瀛...
绛旓細璐归┈澶у畾鐞嗙殑璇佹槑鏄竴涓暟瀛﹀彶涓婄殑閲岀▼纰锛屽睍绀轰簡鏁板瀹朵滑濡備綍閫氳繃娣卞叆鐮旂┒鍜屼笉鏂皾璇曪紝鏈缁堟敾鍏嬭繖涓闅鹃銆傚畨寰烽瞾·鎬灏旀柉鐨勮瘉鏄庢柟娉曚笉浠呭湪鏁板棰嗗煙浜х敓浜嗘繁杩滅殑褰卞搷锛屼篃涓哄悗缁殑鏁板鐮旂┒鎻愪緵浜嗘柊鐨勬柟鍚戝拰鎬濊矾銆傝娉ㄦ剰锛屼互涓婃杩颁粎涓虹畝鍖栫増鐨勮瘉鏄庤繃绋嬶紝鐪熸鐨勮瘉鏄庤繃绋嬫秹鍙婂ぇ閲忕殑鏁板鐭ヨ瘑鍜屽鏉傛帹鐞嗐傚...
绛旓細璐归┈澶у畾鐞嗘槸锛氬綋n>2锛屼笖x*y*z鈮0鏃讹紝x^n+y^n=z^n娌℃湁鏁存暟瑙銆傝垂椹ぇ瀹氱悊鐨勮瘉鏄庢柟娉曪細x+y=z鏈夋棤绌峰缁勬暣鏁拌В锛岀О涓轰竴涓笁鍏冪粍锛泋^2+y^2=z^2涔熸湁鏃犵┓澶氱粍鏁存暟瑙ｏ紝杩欎釜缁撹鍦ㄦ瘯杈惧摜鎷夋柉鏃朵唬灏辫浠栫殑瀛︾敓璇佹槑锛岀О涓烘瘯杈惧摜鎷夋柉涓夊厓缁勶紝鎴戜滑涓浗浜虹О浠栦滑涓哄嬀鑲℃暟锛屼絾x^3+y^3=z^3鍗...
绛旓細璇佹槑璐归┈澶у畾鐞嗙殑杩囩▼濡備笅锛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锛鐑皵鏇艰瘉鏄庝簡褰搉鍜2n+1閮芥槸绱犳暟鏃讹紝璐归┈澶у畾鐞嗙殑鍙嶄緥x锛寉锛寊鑷冲皯鏈変竴涓槸n鏁村嶆暟銆2锛1825骞达紝寰峰浗鏁板瀹剁媱鍒╁厠闆峰拰娉曞浗鏁板瀹跺嫆璁╁痉鍒嗗埆鐙珛璇佹槑浜嗚垂椹ぇ瀹氱悊鍦╪=5鏃舵垚绔嬶紝鐢ㄧ殑鏄鎷夋墍鐢ㄦ柟娉曠殑寤朵几锛屼絾閬垮紑浜嗗敮涓鍥犲瓙鍒嗚В瀹氱悊銆3锛1839骞达紝娉曞浗鏁板瀹舵媺姊呭鐑皵鏇兼柟娉...
绛旓細璐归┈澶у畾鐞鍦ㄤ腑鍥借绉颁负璐归┈鏈鍚庡畾鐞锛屽叾鍘熸剰鏄叾浠栫寽鎯抽兘宸茬粡璇佸疄锛岃繖鏄渶鍚庝竴涓傝憲鍚嶇殑鏁板鍙插瀹惰礉灏斿湪20涓栫邯鍒濈殑钁椾綔涓紝灏嗚垂椹О涓衡滀笟浣欐暟瀛﹀涔嬬帇鈥濄傝礉灏旇涓猴紝璐归┈鐨勬垚灏辫秴杩囦簡璐归┈鍚屾椂浠ｇ殑澶у鏁颁笓涓氭暟瀛﹀銆傚敖绠¤垂椹湪鍏朵粬棰嗗煙娌℃湁鍏朵粬鎴愬氨锛屼絾浠栭愭笎娣″嚭浜嗕汉浠殑瑙嗛噹銆傝冭檻鍒17涓栫邯鏄澃鍑...
绛旓細璐归┈澶у畾鐞嗙殑璇佹槑鏂规硶锛歺+y=z鏈夋棤绌峰缁勬暣鏁拌В锛岀О涓轰竴涓笁鍏冪粍锛泋^2+y^2=z^2涔熸湁鏃犵┓澶氱粍鏁存暟瑙ｏ紝杩欎釜缁撹鍦ㄦ瘯杈惧摜鎷夋柉鏃朵唬灏辫浠栫殑瀛︾敓璇佹槑锛岀О涓烘瘯杈惧摜鎷夋柉涓夊厓缁勶紝鎴戜滑涓浗浜虹О浠栦滑涓哄嬀鑲℃暟銆備絾x^3+y^3=z^3鍗村缁堟病鎵惧埌鏁存暟瑙ｃ傛渶鎺ヨ繎鐨勬槸锛6^3+8^3=9^-1锛岃繕鏄樊浜1銆備簬鏄縿浠...
绛旓細鑰冪爺鏁板璐归┈瀹氱悊鏄锛氬鏋滆璇佸嚱鏁板彂f(x)鍦ㄤ竴鐐圭殑瀵兼暟涓洪浂锛屽彧瑕璇佹槑鍦ㄨ繖鐐瑰彇鏋佸(鏋佸ぇ鍊兼垨鏋佸皬)锛屽垯瀛樺湪瀵兼暟绛変簬闆躲璐归┈澶у畾鐞锛屽張琚О涓衡滆垂椹渶鍚庣殑瀹氱悊鈥濓紝鐢17涓栫邯娉曞浗鏁板瀹剁毊鑰堵峰痉路璐归┈鎻愬嚭銆備粬鏂█褰撴暣鏁皀 >2鏃讹紝鍏充簬x, y, z鐨勬柟绋 x^n + y^n = z^n 娌℃湁姝ｆ暣鏁拌В銆傚浜庤垂椹...
绛旓細璐归┈澶у畾鐞锛岀畝鍗曠悊瑙ｅ氨鏄垂椹彁鍑虹殑涓涓畾鐞嗭紝鍏蜂綋瀹氱悊鐨鍐呭灏辨槸x鐨凬娆℃柟+y鐨凬娆℃柟=z鐨凬娆℃柟,褰搉澶т簬2鏃讹紝杩欎釜鏂圭▼娌℃湁浠讳綍鏁存暟瑙ｃ傝繖涓瓑寮忕湅璧锋潵鍜屾垜浠垵涓杩囩殑鍕捐偂瀹氱悊寰堝儚锛岃岃垂椹ぇ瀹氱悊灏辨槸璐归┈鍦ㄥ嬀鑲″畾鐞嗙殑鍩虹涓婅繘琛岀殑涓涓爺绌躲2000澶氬勾鍓嶈癁鐢熺殑姣曡揪鍝ユ媺鏂畾鐞嗚锛氬湪涓涓洿瑙掍笁瑙掑舰涓...
绛旓細璐归┈澶у畾鐞嗚瘉鏄杩囩▼:璁: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骞村乏鍙筹紝娉曞浗瀛﹁呰垂椹湪闃呰...
