1. 原函数只差一个常数有一个隐含的前提:函数定义在一个区间上★ 要懂
教材中的结论是, 的任意两个原函数只差一个常数,这一点几乎人人都能背出,但在同一个区间上这个条件常被忽略,而考试恰好爱在这里设置疑难。原因在于这条结论的证明依赖拉格朗日中值定理,而中值定理要求函数定义在一个连通的区间上。如果定义域是断开的,例如 ,那么各个连通部分上的常数可以各取各的,原函数族就不再是只差一个常数那样简单了。
证明 / 推导
设 都是 在区间 上的原函数,令 ,则对每个 有 。任取 中两点 ,对 在 上应用拉格朗日中值定理,得 ,故 。这说明 在 上恒为常数,即 。注意这里用到了 ,而只有当 是区间时才能保证这一点。举例说明
考察 在 上的情形,此时定义域 是断开的。它的全体原函数是所以严格地说,这里的原函数并非只差一个常数,而是每个分支各差一个常数。平时写 ,只是默认在某一个不含 的区间上讨论。看清定义域,在这类判断题中最为要紧。