微積分基本定理：連續前提與有向端點在全實數連續前提下，累積定積分的導數還原被積函數；合法原函數給有向積分端點差。atlas-fundamental-theorem-calculus · canonical_mko微積分基本定理：連續前提與有向端點前置節點實函數在一點的導數與差商有限區間上的多項式定積分實函數的點值與連續多項式原函數與常數選擇多項式的和、乘積與合成微分