|
原函数存在定理的证明:在定义12下,不需要使用烦琐的黎曼和的许多研究,就可得到原函数的存在定理的证明。事实上,设函数 在闭区间[a,b]区间上连续且恒大于0,则对这个区间上任意实数x,从x=a 到x=x 的小曲边梯形面积也是一个现实数量,这个现实数量是x的一个现实数量函数,记这个函数为S(x),根据导数的极限计算法则、以及连续函数在任意闭区间上存在最大值最小值的定理的性质,可以得到S(x)的导函数就是: 。于是S(x)就是 的一个原函数。且所求的大曲边梯形的面积就是这个原函数在[a,b]区间上的增量S(b)-S(a)。上述讨论可以推广到函数 在[a,b]区间上连续的非大于0的情形。于是得到如下原函数存在定理:若函数 在闭区间[a,b]区间上连续且只有有限多个零点,则原函数存在。这个定理的证明,不仅不需要使用烦琐的黎曼和的许多研究,而且給出了原函数的现实数量性质的意义。 |
|