数学归纳法的证明过程是怎样的？
证明过程：
根据皮亚诺的五条公理用非形式化的方法叙述如下：
①1是自然数；
②每一个确定的自然数 a，都有一个确定的后继数a' ，a' 也是自然数（一个数的后继数就是紧接在这个数后面的数，例如，1的后继数是2，2的后继数是3等等）；
③如果b、c都是自然数a的后继 数，那么b = c；
④1不是任何自然数的后继数；
⑤任意关于自然数的命题，如果证明了它对自然数1是对的，又假定它对自然数n为真时，可以证明它对n' 也真，那么，命题对所有自然数都真。(这条公理也叫归纳公设，保证了数学归纳法的正确性) 若将0也视作自然数，则公理中的1要换成0。
更正式的定义如下：
一个戴德金-皮亚诺结构为一满足下列条件的三元组(X, x, f)： X是一个**，x为X中一个元素，f是X到自身的映射，x不在f的值域内. f为一个单射.
若 并满足: x∈A 且若 a∈A, 则f(a)∈A 则A=X. 该公理与由皮阿罗公理引出的关于自然数**的基本假设:
N(自然数集)不是空集
N到N内存在a→a直接后继元素的一一映射；
后继元素映射像的**是N的真子集；
若P任意子集既含有非后继元素的元素,又有含有子集中每个元素的后继元素,则此子集与N重合.能用来论证许多平时常见又不知其来源的定理!
证明：
1+1的后继数是1的后继数的后继数，即3
2的后继数是3
根据皮亚诺公理④
可得：1+1=2
绛旓細鈶㈠鏋渂銆乧閮芥槸鑷劧鏁癮鐨勫悗缁 鏁帮紝閭ｄ箞b = c锛涒懀1涓嶆槸浠讳綍鑷劧鏁扮殑鍚庣户鏁帮紱鈶や换鎰忓叧浜庤嚜鐒舵暟鐨勫懡棰橈紝濡傛灉璇佹槑浜嗗畠瀵硅嚜鐒舵暟1鏄鐨勶紝鍙堝亣瀹氬畠瀵硅嚜鐒舵暟n涓虹湡鏃讹紝鍙互璇佹槑瀹冨n' 涔熺湡锛岄偅涔堬紝鍛介瀵规墍鏈夎嚜鐒舵暟閮界湡銆(杩欐潯鍏悊涔熷彨褰掔撼鍏锛屼繚璇佷簡鏁板褰掔撼娉曠殑姝ｇ‘鎬) 鑻ュ皢0涔熻浣滆嚜鐒舵暟锛...
绛旓細鏁板褰掔撼娉曠殑姝ラ鍖呮嫭涓変釜涓昏闃舵锛氬熀纭姝ャ佸綊绾冲亣璁惧拰褰掔撼姝銆1銆佸熀纭姝:鍩虹姝ユ槸鏁板褰掔撼娉曠殑绗竴姝ワ紝瀹冮渶瑕佽瘉鏄庡綋n绛変簬鏌愪釜鐗瑰畾鐨勫兼椂锛屽懡棰樻垚绔嬨傚湪鍩虹姝ヤ腑锛岄渶瑕侀獙璇佸懡棰樺湪鏈灏忕殑鎯呭喌涓嬫槸鍚︽垚绔嬶紝閫氬父鏄綋n绛変簬1鎴0鏃剁殑鎯呭喌銆2銆佸綊绾冲亣璁:褰掔撼鍋囪鏄暟瀛﹀綊绾虫硶鐨勭浜屾锛屽畠鍋囪瀵逛簬浠绘剰涓涓...
绛旓細鏈绠鍗曞拰甯歌鐨鏁板褰掔撼娉曟槸璇佹槑褰搉绛変簬浠绘剰涓涓嚜鐒舵暟鏃舵煇鍛介鎴愮珛銆傝瘉鏄庡垎涓嬮潰涓ゆ锛氳瘉鏄庡綋n= 1鏃跺懡棰樻垚绔嬨傚亣璁緉=m鏃跺懡棰樻垚绔嬶紝閭ｄ箞鍙互鎺ㄥ鍑哄湪n=m+1鏃跺懡棰樹篃鎴愮珛銆傦紙m浠ｈ〃浠绘剰鑷劧鏁帮級杩欑鏂规硶鐨勫師鐞嗗湪浜庯細棣栧厛璇佹槑鍦ㄦ煇涓捣鐐瑰兼椂鍛介鎴愮珛锛岀劧鍚庤瘉鏄庝粠涓涓煎埌涓嬩竴涓肩殑杩囩▼鏈夋晥銆傚綋杩欎袱鐐归兘...
绛旓細锛1锛璇佹槑褰搉鍙栫涓涓糿0鏃跺懡棰樻垚绔嬨俷0瀵逛簬涓鑸暟鍒楀彇鍊间负0鎴1锛屼絾涔熸湁鐗规畩鎯呭喌锛涳紙2锛夊亣璁惧綋n=k锛坘鈮0锛宬涓鸿嚜鐒舵暟锛夋椂鍛介鎴愮珛锛岃瘉鏄庡綋n=k+1鏃跺懡棰樹篃鎴愮珛銆傜患鍚堬紙1锛夛紙2锛夛紝瀵逛竴鍒囪嚜鐒舵暟n锛堚墺n0锛夛紝鍛介P(n锛夐兘鎴愮珛銆傦紙浜岋級绗簩鏁板褰掔撼娉锛氬浜庢煇涓笌鑷劧鏁版湁鍏崇殑鍛介P(n锛夛紝锛1...
绛旓細鐢ㄦ暟瀛﹀綊绾虫硶杩涜璇佹槑鐨勬楠わ細锛1锛锛堝綊绾冲鍩猴級璇佹槑褰 鍙栫涓涓 鏃跺懡棰樻垚绔嬶紱璇佹槑浜嗙涓姝ワ紝灏辫幏寰椾簡閫掓帹鐨勫熀纭锛屼絾浠呴潬杩欎竴姝ヨ繕涓嶈兘璇存槑缁撹鐨勬櫘閬嶆.鍦ㄧ涓姝ヤ腑锛岃冨療缁撹鎴愮珛鐨勬渶灏忔鏁存暟灏辫冻澶熶簡锛屾病鏈夊繀瑕佸啀鑰冨療鍑犱釜姝ｆ暣鏁帮紝鍗充娇鍛介瀵硅繖鍑犱釜姝ｆ暣鏁伴兘鎴愮珛锛屼篃涓嶈兘淇濊瘉鍛介瀵瑰叾浠栨鏁存暟涔...
绛旓細鏁板褰掔撼娉曟槸涓绉嶇敤浜璇佹槑鏁板鍛介鐨勬柟娉曘傚畠鍒嗕负涓や釜姝ラ锛氬熀纭姝ラ鍜褰掔撼姝ラ銆傚熀纭姝ラ锛氶鍏堬紝璇佹槑褰搉绛変簬鏌愪釜鐗瑰畾鐨勫兼椂鍛介鎴愮珛銆傝繖鏄负浜嗗缓绔嬭捣鏁板褰掔撼娉曠殑鍒濆鏉′欢銆傚綊绾虫楠わ細鍏舵锛屽亣璁惧懡棰樺浜庝竴涓粰瀹氱殑鏁存暟k鎴愮珛锛岀劧鍚庤瘉鏄庡懡棰樺浜巏+1涔熸垚绔嬨傞氬父锛岃繖涓亣璁剧О涓哄綊绾冲亣璁俱傚叿浣璇佹槑鐨勬楠濡...
绛旓細1銆(褰掔撼濂犲熀)璇佹槑褰搉鍙栫涓涓糿0(n0鈭圢*)鏃跺懡棰樻垚绔嬶紱2銆(褰掔撼閫掓帹)鍋囪n锛漦(k鈮0锛宬鈭圢*)鏃跺懡棰樻垚绔嬶紝璇佹槑褰搉锛漦锛1鏃跺懡棰樹篃鎴愮珛銆傝繖绉嶆柟娉曠殑鍘熺悊鍦ㄤ簬锛氶鍏堣瘉鏄庡湪鏌愪釜璧风偣鍊兼椂鍛介鎴愮珛锛岀劧鍚庤瘉鏄庝粠涓涓煎埌涓嬩竴涓肩殑杩囩▼鏈夋晥銆傚綋杩欎袱鐐归兘宸茬粡璇佹槑锛岄偅涔堜换鎰忓奸兘鍙互閫氳繃鍙嶅浣跨敤杩欎釜...
绛旓細鏁板褰掔撼娉曞氨鏄竴绉璇佹槑鏂瑰紡閫氳繃杩囧綊绾筹紝鍙互浣挎潅涔辨棤绔犵殑鏁板鏉＄悊鍖栵紝浣垮ぇ閲忕殑鏁板绯荤粺鍖栧綊绾虫槸鍦ㄦ瘮杈冪殑鍩虹涓婅繘琛岀殑閫氳繃姣旇緝锛屾壘鍑烘暟瀛﹂棿鐨勭浉鍚岀偣鍜屽樊寮傜偣锛岀劧鍚庢妸鍏锋湁鐩稿悓鐐圭殑鏁板褰掍负鍚屼竴绫伙紝鎶婂叿鏈夊樊寮傜偣鐨勬暟瀛︺鏁板褰掔撼娉曠殑杩囩▼鍒嗕负涓ら儴鍒1鍏堣瘉鏄巒=1鏃跺懡棰樻垚绔嬶紝鍦ㄥ疄闄呮搷浣滀腑锛屾妸n=1浠ｈ繘鍘诲氨琛...
绛旓細鍩烘湰姝ラ锛堜竴锛夌涓鏁板褰掔撼娉锛氫竴鑸湴,璇佹槑涓涓笌鑷劧鏁皀鏈夊叧鐨勫懡棰楶(n锛,鏈夊涓嬫楠わ細锛1锛夎瘉鏄庡綋n鍙栫涓涓糿0鏃跺懡棰樻垚绔.n0瀵逛簬涓鑸暟鍒楀彇鍊间负0鎴1,浣嗕篃鏈夌壒娈婃儏鍐碉紱锛2锛夊亣璁惧綋n=k锛坘鈮0,k涓...
绛旓細缂栬緫鏈 鍩烘湰姝ラ 锛堜竴锛夌涓鏁板褰掔撼娉锛 涓鑸湴锛璇佹槑涓涓笌鑷劧鏁皀鏈夊叧鐨勫懡棰楶(n锛夛紝鏈夊涓嬫楠わ細 锛1锛夎瘉鏄庡綋n鍙栫涓涓糿0鏃跺懡棰樻垚绔嬨俷0瀵逛簬涓鑸暟鍒楀彇鍊间负0鎴1锛屼絾涔熸湁鐗规畩鎯呭喌锛 锛2锛夊亣璁惧綋n=k锛坘鈮0锛宬涓鸿嚜鐒舵暟锛夋椂鍛介鎴愮珛锛岃瘉鏄庡綋n=k+1鏃跺懡棰樹篃鎴愮珛銆 缁煎悎锛1锛夛紙2锛夛紝...
