若存在 F(x)F(x)F(x) 使 ∀x∈I,F′(x)=f(x)\forall x \in I, F'(x) = f(x)∀x∈I,F′(x)=f(x) 则称 F(x)F(x)F(x) 是 f(x)f(x)f(x) 在 III 上的一个 原函数F(x)+CF(x) + CF(x)+C 为在 III 上的全体 原函数
互为逆运算(不考虑常数CCC)