欧拉公式的证明
eix = 1 + i x - x2/2! - i x3/3! + x4/4! + i x5/5! + …
= (1 - x2/2! + x4/4! + …) + i (x - x3/3! + x5/5! + …)。
又因为：
cos x = 1 - x2/2! + x4/4! + …+。
sin x = x - x3/3! + x5/5! + …+。
所以eix = cos x + i sin x。
在任何一个规则球面地图上，用 R记区域个 数 ，V记顶点个数 ，E记边界个数 ，则 R+ V- E= 2，这就是欧拉定理 ，它于 1640年由 Descartes首先给出证明 ，后来 Euler(欧拉 )于 1752年又独立地给出证明 ，我们称其为欧拉定理 ，在国外也有人称其 为 Descartes定理。
R+ V- E= 2就是欧拉公式。
绛旓細涓嶈繃鍦ㄥ嚑浣曞涓紝娆ф媺鍏紡鎸囩殑鏄畝鍗曞闈綋鐨勯《鐐规暟V銆侀潰鏁癋鍙婃１鏁癊闂存湁鍏崇郴锛歏+F-E=2銆傛垜浠墍瀛︾殑鍑犱綍浣擄紝濡傛１鏌便佹１閿ョ瓑閮芥槸绠鍗曞闈綋銆傛鎷夊叕寮忕殑璇佹槑鏂规硶寰堝銆傝瘉娉曚竴锛氶愭鍑忓皯澶氶潰浣撶殑妫辨暟锛屽垎鏋怴+F-E浠ョ畝鍗曠殑鍥涢潰浣揂BCD涓轰緥鍒嗘瀽璇佹硶銆傚幓鎺変竴涓潰锛屼娇瀹冨彉涓哄钩闈㈠浘褰紝鍥涢潰浣撻《鐐规暟V銆佹１...
绛旓細娆ф媺鍏紡鐨勮瘉鏄庡涓嬶細娆ф媺鍏紡璇佹槑鏄細R+ V- E= 2銆傛嫇鎵戝涓紝鍦ㄤ换浣曚竴涓鍒欑悆闈㈠湴鍥句笂锛岀敤R璁板尯鍩熶釜鏁 锛孷璁伴《鐐逛釜鏁 锛孍璁拌竟鐣屼釜鏁 锛屽垯 R+ V- E= 2锛岃繖灏辨槸娆ф媺瀹氱悊锛屼簬1640骞寸敱 Descartes棣栧厛缁欏嚭璇佹槑 锛屽悗鏉 Euler娆ф媺浜 1752骞村張鐙珛鍦扮粰鍑鸿瘉鏄 锛岀О鍏朵负娆ф媺瀹氱悊 锛屽湪鍥藉涔熸湁浜...
绛旓細R+鍐 V- E= 2灏辨槸娆ф媺鍏紡銆傚湪浠讳綍涓涓鍒欑悆闈㈠湴鍥句笂锛岀敤 R璁板尯鍩熶釜 鏁 锛孷璁伴《鐐逛釜鏁 锛孍璁拌竟鐣屼釜鏁 锛屽垯 R+ V- E= 2锛岃繖灏辨槸娆ф媺瀹氱悊 锛屽畠浜 1640骞寸敱 Descartes棣栧厛缁欏嚭璇佹槑 锛屽悗鏉 Euler(娆ф媺 )浜 1752骞村張鐙珛鍦扮粰鍑鸿瘉鏄 锛屾垜浠О鍏朵负娆ф媺瀹氱悊 锛屽湪鍥藉涔熸湁浜虹О鍏 涓 Descarte...
绛旓細1銆佹鎷夊叕寮忔槸e^ix=cosx+isinx锛宔鏄嚜鐒跺鏁扮殑搴曪紝i鏄櫄鏁板崟浣嶃傚畠灏嗕笁瑙掑嚱鏁扮殑瀹氫箟鍩熸墿澶у埌澶嶆暟锛屽缓绔嬩簡涓夎鍑芥暟鍜屾寚鏁板嚱鏁扮殑鍏崇郴锛屽畠鍦ㄥ鍙樺嚱鏁拌閲屽崰鏈夐潪甯搁噸瑕佺殑鍦颁綅銆2銆乪^ix=cosx+isinx鐨勮瘉鏄庯細鍥犱负e^x=1+x/1锛+x^2/2锛+x^3/3!+x^4/4!+鈥︹osx=1-x^2/2!+x^4/4!-x^6/...
绛旓細2銆佸鍙樺嚱鏁拌閲岀殑娆ф媺鍏紡锛歟^ix=cosx+isinx,e鏄嚜鐒跺鏁扮殑搴,i鏄櫄鏁板崟浣銆3銆佷笁瑙掑舰涓殑娆ф媺鍏紡锛氳R涓轰笁瑙掑舰澶栨帴鍦嗗崐寰,r涓哄唴鍒囧渾鍗婂緞,d涓哄蹇冨埌鍐呭績鐨勮窛绂,鍒欙細d锛2=R锛2-2Rr 銆備笁绉嶅舰寮忓彲涓庣悊瑙ｄ负娆ф媺鍏紡鍦ㄤ笉鍚岀殑瀛︾涓湁鐫涓嶅悓鐨勫惈涔夈傜敤鏁板褰掔撼娉曡瘉鏄庢鎷夊叕寮忥細涓銆佸綋R= 2鏃...
绛旓細娆ф媺鍏紡鐨勮瘉鏄鎺ㄥ杩囩▼濡備笅锛氭嘲鍕掔骇鏁拌瘉鏄庢硶:鍒╃敤娉板嫆绾ф暟灞曞紑寮忓睍寮e(ix)鍜宑os(x)+i*sin(x)锛岀劧鍚庡皢瀹冧滑鐩哥瓑鐨勭郴鏁拌繘琛屾瘮杈冿紝鍗冲彲寰楀嚭娆ф媺鍏紡銆傛鎷夌殑浠嬬粛濡備笅锛氳幈鏄傚搱寰仿锋鎷夛紙Leonhard Euler锛1707骞4鏈15鏃ワ綖1783骞9鏈18鏃ワ級锛岀憺澹暟瀛﹀銆佽嚜鐒剁瀛﹀銆1707骞4鏈15鏃ュ嚭鐢熶簬鐟炲＋鐨勫反濉炲皵锛1783骞...
绛旓細绠鍗曞闈綋鐨勯《鐐规暟V銆侀潰鏁癋鍙婃１鏁癊闂存湁鍏崇郴 V+F-E=2 杩欎釜鍏紡鍙娆ф媺鍏紡銆傚叕寮忔弿杩颁簡绠鍗曞闈綋椤剁偣鏁般侀潰鏁般佹１鏁扮壒鏈夌殑瑙勫緥銆 鏂规硶1锛氾紙鍒╃敤鍑犱綍鐢绘澘锛 閫愭鍑忓皯澶氶潰浣撶殑妫辨暟锛屽垎鏋怴+F-E 鍏堜互绠鍗曠殑鍥涢潰浣揂BCD涓轰緥鍒嗘瀽璇佹硶銆 鍘绘帀涓涓潰锛屼娇瀹冨彉涓哄钩闈㈠浘褰紝鍥涢潰浣撻《鐐规暟V銆佹１鏁癡涓庡墿涓嬬殑...
绛旓細涓涜屽綊绾冲嚭娆ф媺鍏紡鎴愮珛 璇佹槑2锛氥锛堝綊绾抽《鐐癸級灏嗕竴涓浘鍏 "宓屽叆" 浜岀淮骞抽潰寰楀埌鍥綠.褰揋鍙湁涓涓《鐐规椂 (涓涓畝鍗曠幆 )F(1) + V(1) - E(1) = (E(1) + 1) + 1 - E(1) = 2 褰揋鏈塏涓《鐐规椂, 鍋囪缁撹鎴愮珛 鎴戜滑鍘婚櫎涓鏉涓袱涓潰鐨勪竴鏉′复杈, 寰楀埌G鏈 N-1涓潰鏃 ,闈㈠拰杈...
绛旓細娆ф媺鍏紡璇佹槑鏄湪浠讳綍涓涓鍒欑悆闈㈠湴鍥句笂锛岀敤R璁板尯鍩熶釜鏁帮紝V璁伴《鐐逛釜鏁帮紝E璁拌竟鐣屼釜鏁帮紝鍒橰+V-E=2锛岃繖灏辨槸娆ф媺瀹氱悊銆傚畠浜1640骞寸敱Descartes棣栧厛缁欏嚭璇佹槑锛屽悗鏉uler娆ф媺浜1752骞村張鐙珛鍦扮粰鍑鸿瘉鏄庯紝鎴戜滑绉板叾涓烘鎷夊畾鐞嗭紝鍦ㄥ浗澶栦篃鏈変汉绉板叾涓篋escartes瀹氱悊銆傛鎷夊叕寮忔鍐 娆ф媺鍏紡鏄鍝堝痉娆ф媺鍦ㄥ崄鍏笘绾...
绛旓細1. 娆ф媺鍏紡鏄痚^ix=cosx+isinx, e鏄嚜鐒跺鏁扮殑搴曪紝I鏄櫄鏁板崟浣嶃傚皢涓夎鍑芥暟鐨勫畾涔夊煙鎵╁睍鍒板鏁帮紝寤虹珛浜嗕笁瑙掑嚱鏁颁笌鎸囨暟鍑芥暟鐨勫叧绯汇傚畠鍦ㄥ鍙樺嚱鏁扮悊璁轰腑璧风潃闈炲父閲嶈鐨勪綔鐢ㄣ2. e^ix=cosx+isinx鐨勮瘉鏄:鍥犱负e^x=1+x/1+ x^2/2!+ x ^ 3/3 !+ x ^ 4/4 !+……鍥犱负x = 1...
