中值定理的研究别业论文

如果函数f(x)在区间I上的导数恒为零，则f(x)在区间I上是一个常数。拉格朗日中值定理又称拉氏定理，是微分学中的基本定理之一，它反映了可导函数在闭区间上的整体的平均变化率与区间内某点的局部变化率的关系。

拉格朗日中值定理是微分中值定理的核心，其他中值定理是拉格朗日中值定理的特殊情况和推广，它是微分学应用的桥梁，在理论和实际中具有极高的研究价值。

法国数学家。1754年开始研究数学，1766年接替了欧拉在柏林皇家科学院的职位，在那里工作达20年。1786年去法国，先后担任巴黎高等师范学校和多科工艺学校教授。他是18世纪仅次于欧拉的大数学家，工作涉及数论、代数方程论、微积分、微分方程、变分法、力学、天文学等许多领域。在数学上，他最早的重要贡献是1759年解决了等周问题，从而开创了变分问题分析形式的一般解法。

1766～1787年是他科学研究的多产时期，1766～1773年，他在数论方面做了一系列研究，1766年证明了所谓佩尔(Pell)方程(x-Ay=1)的解的存在性，1770年证明费马的著名命题，每个正整数可表为至多4个平方数之和；1771年证明了著名的所谓威尔逊(Wilson)定理;1773年关于整数的型表示问题获得关键性成果。1767～1777年，他又系统地研究了代数方程论，引入对称多项式理论，置换理论及预解式概念，指出根的排列理论是整个问题的真谛，对后来伽罗华的工作产生了重要影响。

在这期间，他还在微积分、微分方程、力学、天文学领域广泛开展研究，导致了他的两部不朽巨著《分析力学》(1788)、《微分原理中的解析函数论》(1797)。著名的拉格朗日中值定理、拉格朗日余项、拉格朗日方程，对黎卡提方程的重要研究，对线性微分方程组的研究，对奇解与通解的联系的系统研究，都是这一时期的工作。

他也是最先试图为微积分提供严格基础的数学家之一，这使他成为实变函数论的先驱。他还以在数学上追求简明与严格而被誉为第1个真正的分析学家。拿破仑曾评价说：“拉格朗日是数学科学方面高耸的金字塔。”

拉格朗日中值定理又称拉氏定理，它反映了可导函数在闭区间上的整体的平均变化率与区间内某点的局部变化率的关系。

拉格朗日中值定理又称拉氏定理，是微分学中的基本定理之一，它反映了可导函数在闭区间上的整体的平均变化率与区间内某点的局部变化率的关系。拉格朗日中值定理是罗尔中值定理的推广，同时也是柯西中值定理的特殊情形，是泰勒公式的弱形式（一阶展开）。

定义：如果函数f(x)在[a,b]上处处可导，则必有一ξ∈[a,b]使得f'(ξ)*(b-a)=f(b)-f(a)f(x)为y，所以该公式可写成△y=f'(x+θ△x)*△x (0<1) 上式给出了自变量取得的有限增量△x时，函数增量△y的准确表达式。

拉格朗日中值定理的几何意义：如果连续曲线y＝f(x)的弧AB上除端点外处处具有不垂直于X轴的切线，那么这弧上至少有一点C，使曲线在C点处的切线平行于弦AB。

拉格朗日介绍：

法国数学家。1754年开始研究数学，1766年接替了欧拉在柏林皇家科学院的职位，在那里工作达20年。1786年去法国，先后担任巴黎高等师范学校和多科工艺学校教授。他是18世纪仅次于欧拉的大数学家，工作涉及数论、代数方程论、微积分、微分方程、变分法、力学、天文学等许多领域。

著名的拉格朗日中值定理、拉格朗日余项、拉格朗日方程，对黎卡提方程的重要研究，对线性微分方程组的研究，对奇解与通解的联系的系统研究，都是这一时期的工作。他也是最先试图为微积分提供严格基础的数学家之一，这使他成为实变函数论的先驱。

他还以在数学上追求简明与严格而被誉为第1个真正的分析学家。拿破仑曾评价说：“拉格朗日是数学科学方面高耸的金字塔。”

罗尔中值定理：

1、若M=m，则函数f(x)在闭区间[a，b]上必为常函数，结论显然成立。

2、若M>m，则因为f(a)=f(b)使得最大值M与最小值m至少有一个在(a，b)内某点ξ处取得，从而ξ是f(x)的极值点，又条件f(x)在开区间(a，b)内可导得，f(x)在ξ处取得极值，推知：f'(ξ)=0。

罗尔定理罗尔是法国数学家。罗尔在数学上的成就主要是在代数方面，专长于丢番图方程的研究。罗尔于1691年在题为《任意次方程的一个解法的证明》的论文中指出了：在多项式方程的两个相邻的实根之间，方程至少有一个根。

在一百多年后，1846年尤斯托(Giusto Bellavitis)将这一定理推广到可微函数，尤斯托还把此定理命名为罗尔定理。

延申知识：

试讨论下列函数在指定区间内是否存在一个点ξ，使f’(ξ)=0.

(1)f(x)={xsin(1/x), 0

解：(1)f(x)在[0，1/π]上连续，在(0，1/π)上可导， 且有f(0)=f(1/π)=0，由罗尔中值定理知，存在一点ξ∈(0，1/π)，使得f’(ξ)=0。

(2)f(x)在[-1， 1]上连续，但在(-1，1)内x=0上不可导，∴不一定存在一点ξ∈(-1，1)，使f’(ξ)=0。

又 f'(x)={1， x>0; -1， x<0}，∴不存在一点ξ∈(-1，1)，使f’(ξ)=0。