梯はしご度ど定理ていり(gradient theorem),係かかり向むかい量りょう微積分びせきぶん裏面りめん嘅一いち個こ定理ていり,亦また都と係がかり微積分びせきぶん基本きほん定理ていり拓つぶせ展てん咗之後ご對たい於路みち徑みち積分せきぶん嘅一いち個こ廣義こうぎ版本はんぽん。
根據こんきょ梯はしご度ど定理ていり,如果有ゆう一いち個こ喺 R n {\displaystyle \mathbb {R} ^{n}} 向むかい量りょう空間くうかん嘅連續れんぞく可か微分びぶん標しるべ量りょう函數かんすう ϕ : U ⊆ R n → R {\displaystyle \phi :\mathbf {U} \subseteq \mathbb {R} ^{n}\rightarrow \mathbb {R} } ,對たい於任何なん喺 U {\displaystyle \mathbf {U} } 裏面りめん起點きてん係がかり p → {\displaystyle {\vec {p}}} 同どう埋うめ終點しゅうてん係がかり q → {\displaystyle {\vec {q}}} 嘅曲線せん γがんま {\displaystyle \gamma } ,有ゆう:
∫ γがんま ∇ ϕ ( r → ) ⋅ d r → = ϕ ( q → ) − ϕ ( p → ) {\displaystyle \int _{\gamma }\nabla \phi ({\vec {r}})\cdot d{\vec {r}}=\phi ({\vec {q}})-\phi ({\vec {p}})}
其中 ∇ ϕ ( r → ) {\displaystyle \nabla \phi ({\vec {r}})} 就係 ϕ {\displaystyle \phi } 嘅梯はしご度ど,係かかり一いち個こ向こう量りょう場じょう。
將はた R n {\displaystyle \mathbb {R} ^{n}} 裏面りめん嘅所有しょゆう維度分別ふんべつ叫さけべ做 x i {\displaystyle x_{i}} ,所有しょゆう單位たんい向むこう量りょう分別ふんべつ叫さけべ做 e i → {\displaystyle {\vec {e_{i}}}} ,其中 i ∈ N : 1 ≤ i ≤ n {\displaystyle i\in \mathbb {N} :1\leq i\leq n} 。噉樣 ϕ {\displaystyle \phi } 嘅全ぜん微分びぶん可か以寫做:
d ϕ = ∑ i = 1 n ∂ ϕ ∂ x i d x i {\displaystyle d\phi =\sum _{i=1}^{n}{\frac {\partial {\phi }}{\partial x_{i}}}dx_{i}}
喺 R n {\displaystyle \mathbb {R} ^{n}} 裏面りめん梯はしご度ど嘅定義ていぎ係がかり:
∇ ϕ = ∑ i = 1 n ∂ ϕ ∂ x i e i → {\displaystyle \nabla \phi =\sum _{i=1}^{n}{\frac {\partial {\phi }}{\partial x_{i}}}{\vec {e_{i}}}}
而位置いち向こう量りょう同どう佢嘅微分びぶん嘅定義ていぎ分別ふんべつ係がかり:
r → = ∑ i = 1 n x i e i → d r → = ∑ i = 1 n d x i e i → {\displaystyle {\begin{aligned}&{\vec {r}}=\sum _{i=1}^{n}x_{i}{\vec {e_{i}}}\\&d{\vec {r}}=\sum _{i=1}^{n}dx_{i}{\vec {e_{i}}}\end{aligned}}}
所以ゆえん有ゆう:
d ϕ = ∇ ϕ ⋅ d r → {\displaystyle d\phi =\nabla \phi \cdot d{\vec {r}}}
於是有ゆう:
∫ γがんま ∇ ϕ ( r → ) ⋅ d r → = ∫ ϕ ( p → ) ϕ ( q → ) d ϕ ( r → ) {\displaystyle {\begin{aligned}&\int _{\gamma }\nabla \phi ({\vec {r}})\cdot d{\vec {r}}\\&=\int _{\phi ({\vec {p}})}^{\phi ({\vec {q}})}d\phi ({\vec {r}})\end{aligned}}} (積分せきぶん上下じょうげ界かい轉換てんかん)
= [ ϕ ] ϕ ( p → ) ϕ ( q → ) = ϕ ( q → ) − ϕ ( p → ) {\displaystyle {\begin{aligned}&=[\phi ]_{\phi ({\vec {p}})}^{\phi ({\vec {q}})}\\&=\phi ({\vec {q}})-\phi ({\vec {p}})\end{aligned}}}
證あかし完かん。