![7019f0702bd08cdde77210cd2eda3ac6.png](https://img-blog.csdnimg.cn/img_convert/7019f0702bd08cdde77210cd2eda3ac6.png)
伟大的无产阶级革命导师马克思认为,理论研究是为了实践需要。数学理论的提出和发展,总是有实际问题作为原始的推动力。比如,物理上,变力做功问题如何解决?几何上,很多特殊的平面图像的都有相应的面积公式,大家熟悉的矩形,平行四边形,梯形等。如果现在把梯形的一条边变成曲线,那如何求曲边梯形的面积?
围绕上述的几何实际问题,整个第九章的理论就变得有血有肉,不再显得空洞抽象。没有公式,于是,立即创造曲边梯形的面积公式!这也是数学强大生命力的具体表现。
同学们首先要明确问题本身的提法:设函数f在[a,b]上非负连续,计算由x=a,x=b,y=f(x)以及y=0(即x轴)所围成的封闭图形的面积!下面给出定积分的严格的分析定义。
![9390773fddaccf0a5c2f007946288571.png](https://img-blog.csdnimg.cn/img_convert/9390773fddaccf0a5c2f007946288571.png)
对于注1中的极限式(4),同学们从以下四个角度深化理解:
1 很多高等数学的教材中简化了定积分的定义,把(4)式中的‖T‖→0,而直接写成n→∞去替代。公共数学的角度这样是可以的,但作为数学专业,我们必须明确,这种替代是不严谨的,因为n→∞时不能保证‖T‖→0,而‖T‖→0时必定同时有n→∞。
2 极限(4)的存在,与分割T的形式无关,与点集{克森i}的选择也无关。唯一重要的是分割的细度‖T‖,当‖T‖足够小时,总能使积分和(也称黎曼和)与某一确定的数J无限接近。反之,如果能构造出两个不同方式的积分和,使它们的极限不相同,那么就可断言该函数在所论区间上是不可积的。例如狄利克雷函数D(x)分别取有理点和无理点,得到的黎曼和不同,所以D(x)在[0,1]上不可积。
3 如果已知函数f在[a,b]上可积,那么对于每个特殊的分割T,以及点集{克森i}的每种特殊选择,所得的那个积分和,当‖T‖→0时必以f(x)在[a,b]上的定积分值为极限.
4 定积分作为积分和的极限值,如果存在,则唯一。故它的值只与被积函数
f以及积分区间[a,b]本身有关,而与积分变量所用的文字无关,即
![f5c0ca8b4ace4b257186235fba39d73b.png](https://img-blog.csdnimg.cn/img_convert/f5c0ca8b4ace4b257186235fba39d73b.png)
定积分的定义是分析中较复杂的一个定义,理解了它,就理解了几乎整个积分家族(尤其是重积分,第一型线积分,第一型面积分)。而如果用定义去计算曲边梯形的面积,显然是不现实的,我们需要牛莱(Newton-Leibnitsz,简记为NL)公式!
![1ab12345909063aa5518c77f41a3ffa1.png](https://img-blog.csdnimg.cn/img_convert/1ab12345909063aa5518c77f41a3ffa1.png)
同学们对牛莱公式比较熟悉,而往往是我们熟悉的人或事,却常常会忽略ta的美和特质!原本要解决的是,曲边梯形的面积问题,即函数在整个闭区间[a,b]上的积分,而牛顿和莱布尼茨却把这个问题归结为闭区间的边界,即两个端点处的问题。NL公式是最人类伟大的公式,没有之一(只是个人主观评价哦)!而下册的格林、高斯公式都是NL公式的高维形式(后面详谈)!
定理9.1的条件实际上是比较强的,教材也给出了详细的削