1. 原函数只差一个常数,其前提是函数定义在一个区间上★ 要懂
教材中的结论是: 的任意两个原函数只差一个常数。但是在同一个区间上这一前提常被忽略,试题也常在这里设问。这条结论的证明依赖拉格朗日中值定理,而中值定理要求函数定义在一个连通的区间上。如果定义域是断开的(例如 ),那么各连通分支上的常数可以互不相同,原函数的全体也就不再是只差一个常数那样简单了。
证明 / 推导
设 都是 在区间 上的原函数,令 ,则对每个 有 。任取 中两点 ,对 在 上应用拉格朗日中值定理,得 ,故 。由此可见 在 上恒为常数,即 。这里用到了 ,只有当 是区间时才能保证这一点。举例说明
考察 在 上(定义域 是断开的)。它的全体原函数是可见严格说来,这里的原函数并非只差一个常数,而是在各个分支上分别相差一个常数。平时写成 ,只是默认在某一个不含 的区间上讨论。因此,做这类判断题时必须先看清定义域。