高数无穷小运算规则证明
严格的说，遇到小o的地方应理解为集合的运算，比如o(f(x))+o(f(x))=o(f(x))，表示为
从第一个集合中任取一个元素，记为g1(x)，即lim
g1(x)/f(x)=0;
从第二个集合中任取一个元素，记为g2(x)，即lim
g2(x)/f(x)=0；
则g1(x)+g2(x)属于第三个集合，即
必有lim
(g1(x)+g2(x))/f(x)=0。
因此o(x^2)=o(x)是正确的。
比如f(x)+o(g(x))=o(h(x))写法也是允许的，表示
从o(g(x))这个集合中取元素，记为f2(x)，则
f(x)+f2(x)是位于o(h(x))这个集合。
o(f(x))表示f(x)的高阶无穷小。g(x)=o(f(x))
：表示
limf(x)=0,limg(x)=0
(即f(x),g(x)都是无穷小)且lim
g(x)/f(x)
=0
1、设g(x)=o(f(x))
,h(x)=o(x),则
lim[g(x)+h(x)]/f(x)
=limg(x)/f(x)
+
limh(x)/f(x)
=0
极限的四则运算法则
所以g(x)+h(x)
=o(f(x))
从而o(f(x))+o(f(x))=o(f(x))。即f(x)的两个高阶无穷小的和，仍是f(x)的高阶无穷小。结论可以推广到有限个
2、通常：o(x²)=o(x)不成立。
有限个无穷小相加、相减、相乘还是无穷小
无穷小与有界函数的乘积还是无穷小
无穷小除以一个极限非零的函数还是无穷小
乘积的某个因子可以换成等价无穷小，和式中的某一部分不能替换
例如：x→0，tanx－sinx中的tanx和sinx都不能换成x，但是化简tanx－sinx＝tanx(1-cosx)后，tanx和1-co骇耿粪际荼宦讽为釜力sx都可替换
绛旓細璇佹槑濡備笅锛屼粎渚涘弬鑰冦
绛旓細楂樻暟鏃犵┓澶鏃犵┓灏忚瘉鏄棰,鍦ㄧ嚎绛,鎬 (1)璇佹槑鏁板垪{(2n^3-5n+1)/(5n^2-4n-4)涓烘棤绌峰ぇ閲(2)璇佹槑鏁板垪{[n+(-1)^n]/(n^2-1)}涓鏃犵┓灏忛噺(3)璇佹槑鏁板垪{(n^2+1)/(2n+1)}... (1)璇佹槑鏁板垪{(2n^3-5n+1)/(5n^2-4n-4)涓烘棤绌峰ぇ閲(2)璇佹槑鏁板垪{[n+(-1)^n]/(n^2-1)}涓烘棤绌峰皬閲(3)...
绛旓細绛旀鐢ㄧ殑鏄楂樻暟鐨勶紝鍏跺疄涓婇潰閭ｄ釜鍥炵瓟鐨勫鏄敤鐨勬暟瀛﹀垎鏋愮殑鐭ヨ瘑銆傜瓟妗堥噷闈㈡渶鍚庣殑鎰忔濇槸鍥犱负x-2鏄鏃犵┓灏锛岃屽皬浜庢棤绌峰皬鐨勪篃蹇呭畾鏄棤绌峰皬銆傛墍浠璇佹槑鍑烘潵銆傜畝鍗曠悊瑙ｅ氨鏄痜(x)<mo(x),鍙互寰楀埌f(x)鏄棤绌峰皬
绛旓細鏃犵┓灏灏辩瓑浠蜂簬鏈夌晫锛屽啀鏍规嵁鏋侀檺杩愮畻娉曞垯锛岄偅涔堟湁闄愪釜鏃犵┓灏忕浉涔樺氨绛変簬鏄湁闄愪釜鏈夌晫鐨勬暟鐩镐箻锛屾绘槸灏忎簬T=M(1)*M(2)*鈥*M(n),(n涓哄父鏁)鐨勶紝鑰孴涔熸槸涓涓父鏁帮紝鎵浠ユ湁闄愪釜鏃犵┓灏忕浉涔樿繕鏄湁鐣岀殑锛屽嵆鏈夐檺涓棤绌峰皬鐨勪箻绉繕鏄棤绌峰皬銆
绛旓細褰撐憋紙x锛+尾锛坸锛変笌x-a鐨刴娆℃柟姣旈樁鏃讹紝鐢变簬伪锛坸锛夋槸姣斘诧紙x锛夋洿楂橀樁鐨鏃犵┓灏锛堝洜涓簄锛瀖 锛夛紝鎵浠ノ憋紙x锛変笌尾锛坸锛夌浉姣旓紝鍙互蹇界暐涓嶈锛堝お灏忎簡锛夛紝鎵浠ノ憋紙x锛+尾锛坸锛変笌x-a鐨刴娆℃柟姣旈樁鏃剁浉褰撲簬 尾锛坸锛変笌x-a鐨刴娆℃柟姣旈樁锛屾墍浠ノ憋紙x锛+尾锛坸锛夋槸x-a鐨刴闃舵棤绌峰皬 ...
绛旓細褰撐憋紙x锛+尾锛坸锛変笌x-a鐨刴娆℃柟姣旈樁鏃讹紝鐢变簬伪锛坸锛夋槸姣斘诧紙x锛夋洿楂橀樁鐨鏃犵┓灏锛堝洜涓簄锛瀖 锛夛紝鎵浠ノ憋紙x锛変笌尾锛坸锛夌浉姣旓紝鍙互蹇界暐涓嶈锛堝お灏忎簡锛夛紝鎵浠ノ憋紙x锛+尾锛坸锛変笌x-a鐨刴娆℃柟姣旈樁鏃剁浉褰撲簬 尾锛坸锛変笌x-a鐨刴娆℃柟姣旈樁锛屾墍浠ノ憋紙x锛+尾锛坸锛夋槸x-a鐨刴闃舵棤绌峰皬 ...
绛旓細鍥犱负姣斿鎴戜滑鐭ラ亾lim(a_n + b_n) = lim a_n + lim b_n锛堜袱涓暟鍒楃殑鍜岀殑鏋侀檺鏄畠浠瀬闄愮殑鍜岋級锛岃繖鍛婅瘔鎴戜滑涓や釜鏃犵┓灏鐨勫拰浠嶆槸鏃犵┓灏忥紝鍥犳浠讳綍鏈夐檺涓棤绌峰皬鐨勫拰閮芥槸鏃犵┓灏忥紙瑕佷弗鏍艰鐨勮瘽锛屽彲浠ョ敤褰掔撼娉曪紝鍏堟妸鍓嶄袱涓姞璧锋潵锛屽啀鍔犵涓変釜锛屼竴涓竴涓姞銆傛湁闄愭鍐呭姞瀹岋級銆備絾鏄鏃犻檺涓殑鍜...
绛旓細2012-10-17 楂樻暟鏃犵┓灏忚繍绠楄鍒欒瘉鏄 24 2012-10-09 楂樻暟闂,鎯崇煡閬撳浣曡瘉鏄庢湁闄愪釜鏃犵┓灏忕殑涔樼Н杩樻槸鏃犵┓灏忓憿???... 8 2016-10-04 楂樻暟涓殑绛変环鏃犵┓灏忚鎬庝箞璇佹槑 18 2017-01-14 楂樻暟涓棤绌峰皬閲忕殑杩愮畻鍏紡x鈭脳o(x鈭)=o(x鈭(m+... 2 2018-10-20 楂樻暟鏃犵┓灏忚瘉鏄庤繃绋 2011-08-16 璇锋暀...
绛旓細鍙互杞寲涓鏃犵┓灏/鏃犵┓灏忓瀷锛屼緥濡俷/(n+1)=[1/(n+1)]/(l/n)娲涘繀杈娉曞垯鏄綋n鍊兼垨x鍊艰秼杩戞煇鍊兼垨瓒嬭繎鏃犵┓澶ф椂锛屽垎瀛愬垎姣嶉兘瓒嬭繎浜庢棤绌峰ぇ锛屾槸鈭/鈭炲瀷锛涘垎瀛愬垎姣嶉兘瓒嬭繎浜庨浂鏃讹紝鏄0/0鍨嬨傚彧鏄垎瀛愬垎姣嶈秼杩戜簬0鎴栤垶蹇參绋嬪害涓嶄竴瀹氱浉鍚岀舰浜嗭紝杩欏氨鏈変簡绛変环鏃犵┓灏忥紡澶э紝楂橀樁鏃犵┓灏忥紡澶э紝浣庨樁鏃犵┓灏...
