让gydF4y2Ba
ngydF4y2Ba而且gydF4y2Ba
xgydF4y2Ba是实数,用gydF4y2Ba
ngydF4y2BagydF4y2Ba=gydF4y2Ba0gydF4y2Ba而且gydF4y2Ba
xgydF4y2BagydF4y2Ba=gydF4y2Ba0gydF4y2Ba.gydF4y2Ba
幂法则指出gydF4y2Ba
dgydF4y2BaxgydF4y2BadgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba.gydF4y2Ba
证据1:gydF4y2Ba
回忆一下,对于任意的函数gydF4y2Ba
fgydF4y2Ba(gydF4y2BaxgydF4y2Ba)gydF4y2Ba,gydF4y2Ba
dgydF4y2BaxgydF4y2BadgydF4y2Ba(gydF4y2BafgydF4y2Ba(gydF4y2BaxgydF4y2Ba)gydF4y2Ba)gydF4y2Ba=gydF4y2BahgydF4y2Ba→gydF4y2Ba0gydF4y2BalimgydF4y2BahgydF4y2BafgydF4y2Ba(gydF4y2BaxgydF4y2Ba+gydF4y2BahgydF4y2Ba)gydF4y2Ba−gydF4y2BafgydF4y2Ba(gydF4y2BaxgydF4y2Ba)gydF4y2Ba.gydF4y2Ba
让gydF4y2Ba
fgydF4y2Ba(gydF4y2BaxgydF4y2Ba)gydF4y2Ba=gydF4y2BaxgydF4y2BangydF4y2Ba.替代gydF4y2Ba
xgydF4y2Ba+gydF4y2BahgydF4y2Ba为gydF4y2Ba
xgydF4y2Ba得到gydF4y2Ba
fgydF4y2Ba(gydF4y2BaxgydF4y2Ba+gydF4y2BahgydF4y2Ba)gydF4y2Ba=gydF4y2Ba(gydF4y2BaxgydF4y2Ba+gydF4y2BahgydF4y2Ba)gydF4y2BangydF4y2Ba.gydF4y2Ba
dgydF4y2BaxgydF4y2BadgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BahgydF4y2Ba→gydF4y2Ba0gydF4y2BalimgydF4y2BahgydF4y2Ba(gydF4y2BaxgydF4y2Ba+gydF4y2BahgydF4y2Ba)gydF4y2BangydF4y2Ba−gydF4y2BaxgydF4y2BangydF4y2Ba.gydF4y2Ba
二项式定理说明了gydF4y2Ba
(gydF4y2BaxgydF4y2Ba+gydF4y2BahgydF4y2Ba)gydF4y2BangydF4y2Ba=gydF4y2BacgydF4y2Ba=gydF4y2Ba0gydF4y2Ba∑gydF4y2BangydF4y2BangydF4y2BaCgydF4y2BacgydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2BacgydF4y2BahgydF4y2BacgydF4y2Ba=gydF4y2BangydF4y2BaCgydF4y2Ba0gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba0gydF4y2BahgydF4y2Ba0gydF4y2Ba+gydF4y2BangydF4y2BaCgydF4y2Ba1gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2BahgydF4y2Ba1gydF4y2Ba+gydF4y2BangydF4y2BaCgydF4y2Ba2gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2BahgydF4y2Ba2gydF4y2Ba+gydF4y2Ba⋯gydF4y2Ba+gydF4y2BangydF4y2BaCgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2BaxgydF4y2Ba1gydF4y2BahgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba+gydF4y2BangydF4y2BaCgydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2BangydF4y2BahgydF4y2BangydF4y2Ba=gydF4y2BaxgydF4y2BangydF4y2Ba+gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2BahgydF4y2Ba+gydF4y2Ba2gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2BahgydF4y2Ba2gydF4y2Ba+gydF4y2Ba⋯gydF4y2Ba+gydF4y2BahgydF4y2BangydF4y2Ba.gydF4y2Ba
代入gydF4y2Ba
(gydF4y2BaxgydF4y2Ba+gydF4y2BahgydF4y2Ba)gydF4y2BangydF4y2Ba得到gydF4y2Ba
dgydF4y2BaxgydF4y2BadgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BahgydF4y2Ba→gydF4y2Ba0gydF4y2BalimgydF4y2BahgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba+gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2BahgydF4y2Ba+gydF4y2Ba2gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2BahgydF4y2Ba2gydF4y2Ba+gydF4y2Ba⋯gydF4y2Ba+gydF4y2BahgydF4y2BangydF4y2Ba)gydF4y2Ba−gydF4y2BaxgydF4y2BangydF4y2Ba.gydF4y2Ba
取消gydF4y2Ba
xgydF4y2BangydF4y2Ba而且gydF4y2Ba
hgydF4y2Ba得到gydF4y2Ba
dgydF4y2BaxgydF4y2BadgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BahgydF4y2Ba→gydF4y2Ba0gydF4y2BalimgydF4y2BahgydF4y2Ba(gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2BahgydF4y2Ba+gydF4y2Ba2gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2BahgydF4y2Ba2gydF4y2Ba+gydF4y2Ba⋯gydF4y2Ba+gydF4y2BahgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BahgydF4y2Ba→gydF4y2Ba0gydF4y2BalimgydF4y2BahgydF4y2BahgydF4y2Ba(gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba+gydF4y2Ba2gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2BahgydF4y2Ba+gydF4y2Ba⋯gydF4y2Ba+gydF4y2BahgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2Ba=gydF4y2BahgydF4y2Ba→gydF4y2Ba0gydF4y2BalimgydF4y2Ba(gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba+gydF4y2Ba2gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2BahgydF4y2Ba+gydF4y2Ba⋯gydF4y2Ba+gydF4y2BahgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2Ba.gydF4y2Ba
根据极限的定义,gydF4y2Ba
dgydF4y2BaxgydF4y2BadgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba+gydF4y2Ba0gydF4y2Ba+gydF4y2Ba⋯gydF4y2Ba+gydF4y2Ba0gydF4y2Ba=gydF4y2BadgydF4y2BaxgydF4y2BadgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BangydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba.gydF4y2Ba□gydF4y2Ba
让gydF4y2Ba
ngydF4y2Ba而且gydF4y2Ba
xgydF4y2Ba是实数,用gydF4y2Ba
ngydF4y2BagydF4y2Ba=gydF4y2Ba0gydF4y2Ba而且gydF4y2Ba
xgydF4y2BagydF4y2Ba=gydF4y2Ba0gydF4y2Ba.gydF4y2Ba
根据求导的幂法则,我们知道gydF4y2Ba
δgydF4y2BaxgydF4y2BaδgydF4y2Ba(gydF4y2BaxgydF4y2BangydF4y2Ba)gydF4y2Ba=gydF4y2BangydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba.gydF4y2Ba
(希腊语单词"gydF4y2Ba
δgydF4y2Ba意思是“…的小变化”。)gydF4y2Ba
证据2:gydF4y2Ba
让gydF4y2Ba
ygydF4y2Ba=gydF4y2BaxgydF4y2BangydF4y2Ba.gydF4y2Ba
我们将看看我们会得到什么样的小变化gydF4y2Ba
ygydF4y2Ba如果我们改变gydF4y2Ba
xgydF4y2Ba加入少量的gydF4y2Ba
xgydF4y2Ba(用gydF4y2Ba
δgydF4y2BaxgydF4y2Ba):gydF4y2Ba
ygydF4y2Ba=gydF4y2BaxgydF4y2BangydF4y2Ba⟹gydF4y2BaygydF4y2Ba+gydF4y2BaδgydF4y2BaygydF4y2Ba=gydF4y2Ba(gydF4y2BaxgydF4y2Ba+gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2BangydF4y2Ba.gydF4y2Ba
扩大gydF4y2Ba
(gydF4y2BaxgydF4y2Ba+gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2BangydF4y2Ba用二项式展开得到gydF4y2Ba
ygydF4y2Ba+gydF4y2BaδgydF4y2BaygydF4y2Ba=gydF4y2BaxgydF4y2BangydF4y2Ba+gydF4y2BangydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba(gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba+gydF4y2Ba2gydF4y2Ba!gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2Ba(gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba2gydF4y2Ba+gydF4y2Ba(gydF4y2Ba的升幂更高的项gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba.gydF4y2Ba
替代gydF4y2Ba
xgydF4y2BangydF4y2Ba为gydF4y2Ba
ygydF4y2Ba方程两边同时除以gydF4y2Ba
δgydF4y2BaxgydF4y2Ba得到gydF4y2Ba
xgydF4y2BangydF4y2Ba+gydF4y2BaδgydF4y2BaygydF4y2BaδgydF4y2BaxgydF4y2BaδgydF4y2BaygydF4y2Ba=gydF4y2BaxgydF4y2BangydF4y2Ba+gydF4y2BangydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba(gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba+gydF4y2Ba2gydF4y2Ba!gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2Ba(gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba2gydF4y2Ba+gydF4y2Ba(gydF4y2Ba的升幂更高的项gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba=gydF4y2BangydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba+gydF4y2Ba2gydF4y2Ba!gydF4y2BangydF4y2Ba(gydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba)gydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba2gydF4y2Ba(gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba+gydF4y2Ba(gydF4y2Ba的升幂更高的项gydF4y2BaδgydF4y2BaxgydF4y2Ba)gydF4y2Ba.gydF4y2Ba
作为gydF4y2Ba
δgydF4y2BaxgydF4y2Ba→gydF4y2Ba0gydF4y2Ba,gydF4y2Ba的幂项gydF4y2Ba
δgydF4y2BaxgydF4y2Ba大于gydF4y2Ba
0gydF4y2Ba变得小到可以被忽略:gydF4y2Ba
δgydF4y2BaxgydF4y2Ba→gydF4y2Ba0gydF4y2BalimgydF4y2BaδgydF4y2BaxgydF4y2BaδgydF4y2BaygydF4y2Ba=gydF4y2BangydF4y2Ba⋅gydF4y2BaxgydF4y2BangydF4y2Ba−gydF4y2Ba1gydF4y2Ba.gydF4y2Ba□gydF4y2Ba