构造辅助函数证明微分中值定理及应用
应用微分中值定理构造辅助函数的三种方法
导，以ｏ）：以１）：ｏ，ｌ卸畔：１．求证：（１）存 例６设，（戈）在［０，１］上连续，在（０，１）内可 一（茗一告）２
在叩∈（专，１）使八叩）＝１７；（２）对任意实数Ａ，存
在拿∈（０，叩），使厂（ｅ）一Ａ［八乎）一手］＝１．
３８
成都纺织高等专科学校学报
２００７年４月
分析：（１）ｆＨ连续函数的零点定理，证明起来
比较直观．（２）目的是要证（厂（∈）一拿）７一Ａ（ｆ（车） 一车）＝０．由构造函数的待定因子法，令：
Ｆ（戈）＝Ｐ（石）（．厂（石）一菇），得：
∥（石）＝Ｐ’（ｚ）（厂（戈）一ｚ）＋尸（戈）（厂（戈）一戈）７
＝ｋ（（八戈）一菇）７一Ａ（／．（石）一戈））
分析：将结论中的车换成菇后，可得厂（戈）∥ （石）一ｇ（菇）厂（菇）＝Ｏ，对等式左端求积分可得一 簇函数Ｇ（戈），并令积分常数Ｃ＝０，即Ｇ（戈）＝』
嗽菇）矿（菇）一ｇ（茗）厂（戈）］ｄｘ＝厂（菇）９７（舅）一ｇ
（ｘ）ｆ（名），可得ｒ（ｘ）＝火ｘ）９７（戈）一ｇ（ｘ）厂（菇）． 证明令Ｆ（茹）＝“石）９７（并）一ｇ（茗）／（菇），
（名）戈一赢～＝Ｏ，对等式左端，，求积分可得一簇函 数Ｇ（石），并令积分常数Ｃ＝０，即Ｇ（戈）＝『［厂
（茗）戈一志一嘉彤髫）戈一忐一１］ｄ菇＝厂（茹）戈一去’，可
得Ｆ（石）＝．厂（茹）茹一赢～．
证明令Ｆ（ｘ）＝八ｘ）ｘ一赢～， 则Ｆ（石）在［口，６］上连续，在（口，ｂ）内可导，且：
Ｆ（口）＝Ｆ（ｂ）＝０． 由罗尔定理知，存在ｅ∈（口，ｂ），使得ｒ（拿）＝０， 另一方面：
构造辅助函数Ｆ（戈）：△型来试一试．
证明令Ｆ（茁）：丛型．
微分中值定理的证明及其应用
微分中值定理的证明及其应用[摘要摘要] ] ] 微分中值定理是微分学的基本理论微分中值定理是微分学的基本理论微分中值定理是微分学的基本理论,,也是微分学的理论基础。
数学分析中基础。
数学分析中,,介绍了罗尔定理、拉格朗日定理、柯西定理三个中值定理。
本文主要探讨微分中值定理的几何意义及证明过程中辅助函数的构造辅助函数的构造,,结合教学过程中出现的问题结合教学过程中出现的问题,,通过具体实例探讨微分中值定理在函数性态各方面的应用。
微分中值定理在函数性态各方面的应用。
[关键词关键词] ] ] 中值定理中值定理中值定理 辅助函数辅助函数 根的存在性根的存在性 待定系数法待定系数法 数学分析中数学分析中,,一般在证明罗尔定理的基础上一般在证明罗尔定理的基础上,,通过构造辅助函数通过构造辅助函数,,然后验证辅助函数满足罗尔定理的假设条件然后验证辅助函数满足罗尔定理的假设条件,,最后利用罗尔定理的结论得出拉格朗日定理的证明。
其关键是如何构造辅助函数结论得出拉格朗日定理的证明。
其关键是如何构造辅助函数,,一旦辅助函数构造出来辅助函数构造出来,,余下的问题便容易解决了。
余下的问题便容易解决了。
首先介绍微分中值定理的几何意义和辅助函数的构造及定理的证明。
证明。
一、微分中值定理证明中辅助函数的探讨一、微分中值定理证明中辅助函数的探讨若函数在闭区间上连续若函数在闭区间上连续,,其图形是一段连续的曲线弧。
当在区间两个端点的函数值相等两个端点的函数值相等((即)时,线段ab 平行于轴平行于轴,,其斜率为零。
若函数在内每一点都可导函数在内每一点都可导,,对应曲线弧上每一点都有切线对应曲线弧上每一点都有切线,,此时此时,,从图可以看出可以看出,,在曲线弧上在曲线弧上,,至少可以找到一点m,m,弧在此点的切线与线弧在此点的切线与线段ab 平行平行,,即切线的斜率为零。
若记m,m,则切线则切线mt 的斜率为的斜率为,,且。
且。
上述的几何直观进行归纳上述的几何直观进行归纳,,得到如下定理得到如下定理: :定理1:(1:(罗尔定理罗尔定理罗尔定理) )若函数满足下列三个条件若函数满足下列三个条件: :(1)(1)在闭区间上连续在闭区间上连续在闭区间上连续;(2);(2);(2)在开区间内可导在开区间内可导在开区间内可导;(3);(3);(3)。
构造辅助函数证明微分中值定理及应用
构造辅助函数证明微分中值定理及应用微分中值定理是微积分中的重要定理之一、它指出，如果函数在一些区间内连续，并且在该区间内可导的话，那么在该区间内至少存在一个点，对应的函数的导数等于函数在该区间的两个端点的函数值之差除以它们的自变量的差值。
为了证明微分中值定理，我们需要构造一个辅助函数来分析。
设函数f(x)在区间[a,b]上连续，并且可导。
我们构造一个辅助函数g(x) = f(x) - kx，其中k是待定的常数。
辅助函数g(x)在区间[a,b]上也是连续可导的。
现在我们来分析这个辅助函数g(x)。
首先，考虑端点a和b处的函数值。
根据辅助函数的定义，g(a) = f(a) - ka，g(b) = f(b) - kb。
如果我们选择k = (f(b) - f(a))/(b - a)，那么g(a) = 0，g(b) = 0。
也就是说，我们可以通过选择适当的k，使得辅助函数在区间[a,b]的两个端点处函数值为0。
接下来，我们考虑辅助函数的导数。
根据辅助函数的定义，g'(x)=f'(x)-k。
由于f(x)在区间[a,b]上可导，所以f'(x)也在该区间上连续。
因此，辅助函数g'(x)是一个连续函数。
同时，根据导数的定义，我们有g'(a)=f'(a)-k，g'(b)=f'(b)-k。
根据连续函数的介值性质，如果函数g'(x)在区间[a,b]内取到了正值和负值，那么一定存在一些点c，使得g'(c)=0。
根据导数的定义，这意味着f'(c)-k=0，即f'(c)=k。
现在我们回顾一下辅助函数的定义，g(x) = f(x) - kx。
如果f'(c) = k，那么g(x)在点x = c处的导数为0，也就是说g(x)在点x = c处取到了极值。
由于g(a) = 0，g(b) = 0，根据罗尔定理，我们知道在两个端点处对应的两个函数值相等，因此至少存在一个点d，使得g'(d) = 0。
微分中的中值定理及其应用
微分中的中值定理及其应用微分中的中值定理是微积分中的基本定理之一，它在数学和物理学中具有重要的应用。
本文将介绍微分中的中值定理及其应用，并展示其在实际问题中的解决方法。
一、中值定理的概念与原理中值定理是微分学中的重要理论，它涉及到函数在某个区间上的平均变化率与瞬时变化率之间的联系。
其中最常见的三种形式为：罗尔定理、拉格朗日中值定理和柯西中值定理。
1. 罗尔定理罗尔定理是中值定理的基础，它的表述为：如果函数f(x)在闭区间[a, b]上连续，在开区间(a, b)上可导，并且满足f(a) = f(b)，则在开区间(a, b)上至少存在一点c，使得f'(c) = 0。
罗尔定理可通过对函数在该区间的最大值和最小值进行讨论得出，它主要用于证明函数在某一区间上恒为常数的情况。
2. 拉格朗日中值定理拉格朗日中值定理是中值定理的一种推广，它的表述为：如果函数f(x)在闭区间[a, b]上连续，在开区间(a, b)上可导，则至少存在一点c，使得f'(c) = (f(b) - f(a))/(b - a)。
拉格朗日中值定理的证明可以通过构造辅助函数g(x) = f(x) - [(f(b) - f(a))/(b - a)]x来完成，它可以将任意两点间的斜率与函数在某一点的导数联系起来。
3. 柯西中值定理柯西中值定理是拉格朗日中值定理的进一步推广，它的表述为：如果函数f(x)和g(x)在闭区间[a, b]上连续，在开区间(a, b)上可导，并且g'(x)≠0，则至少存在一点c，使得[f(b) - f(a)]/g(b) - g(a) = f'(c)/g'(c)。
柯西中值定理可以用来研究函数间的关系，它提供了一种描述两个函数在某一区间上的变化率相等的条件。
二、中值定理的应用中值定理不仅仅是一种理论工具，还具有广泛的应用。
下面将介绍中值定理在实际问题中的应用案例。
1. 最速下降线问题最速下降线问题是求解两个给定点之间的最短路径问题。
数学证明中的构造辅助函数方法
数学证明中的构造辅助函数方法摘要数学中运用辅助函数就像是在几何中添加辅助线，其应用是非常广泛的. 构造辅助函数是数学命题推证的有效方法，是转化问题的一种重要手段。
遇到特殊的问题时，用常规方法可能比较复杂.这时就需要构造辅助函数，就如同架起一座桥梁，不需要大量的算法就可以得到结果.如何构造辅助函数是数学分析解题中的难点，看似无章可循，但仔细研究不失基本方法和一般规律。
文章通过对微分中值定理证明中，关于构造辅助函数方法的总结和拓展，给出了多种形式的辅助函数；通过详尽的实例，讲明了辅助函数在不等式、恒等式、函数求极限、讨论方程的根及非齐次线性微分方程求解中的运用，尝试找出如何构造辅助函数的几种方法，并通过这些方法在一些具体实例中的运用归纳出构造函数法的一些思路.关键词辅助函数；中值定理；恒等式与不等式；函数表达式；极值1.引言数学中，不等式与等式的证明、微分中值定理、拉格朗日条件极值、线性微分方程求解公式等，都是通过构造一个辅助函数来完成推证的，有时候构造辅助函数也是求证数学命题的简便而有效的方法之一，掌握构造辅助函数证明数学命题的方法的关键是要对“数学现象”善于观察，联想和发现问题，根据直观的结论倒推构造什么样的辅助函数.基本思路是从一个目标出发，联想起某种曾经遇到过的方法、手段，而后借助于这些方法和手段去接近目标，或者从这些方法和手段出发，去联想别的通向目标的方法和手段，这样继续下去，直到达到把问题归结到一个明显成立的结构上为止.构造辅助函数实质上就是分析法的一种技巧，也是数学中的一个难点，值得重视的是，在证明命题的过程中要不断研究问题的本质，从而寻求构造辅助函数的方法，文章重点分析了微分中值定理的证明中辅助函数的构造方法与技巧，进而应用到其他一般命题的证明中.2.微分中值定理证明中构造辅助函数的方法与技巧2.1 拉格朗日（Lagrange ）中值定理辅助函数的作法定理1（Rolle ）：若函数()f x 满足如下条件：（i ）()f x 在闭区间[,]a b 上连续； （ii ）()f x 在开区间(,)a b 内可导； （iii ）()()f a f b =；则在(,)a b 内至少存在一点ξ，使得()0f ξ'=.定理2（Lagrange ）：若函数()f x 满足如下条件：（i ）()f x 在闭区间[,]a b 上连续；（ii ）()f x 在开区间(,)a b 内可导；则在(,)a b 内至少存在一点ξ，使得 ()()()f b f a f b aξ-'=- 显然，特别当()()f a f b =时，本定理的结论即为Rolle 定理的结论。
微分中值定理和洛必达法则证明及应用浅析
微分中值定理和洛必达法则证明及应用浅析一、微分中值定理的证明和应用1.拉格朗日中值定理的证明：拉格朗日中值定理表述如下：如果函数f(x)在闭区间[a,b]上连续，在开区间(a,b)内可导，则在(a,b)内至少存在一点c，使得f'(c)=(f(b)-f(a))/(b-a)。
拉格朗日中值定理是根据泰勒展开式推导而来。
设函数f(x)在区间[a,b]上满足条件，则对于任意的x∈(a,b)，都可以将f(x)展开成泰勒级数，即：f(x)=f(a)+f'(c)(x-a)其中c∈(a,b)。
因此，当x在(a,b)范围内变化时，根据泰勒展开式可知，存在至少一个c使得f'(c)=(f(b)-f(a))/(b-a)。
2.拉格朗日中值定理的应用：拉格朗日中值定理常用于证明函数的性质以及求解函数的近似值，如用于证明介值定理、判定函数单调性、证明零点存在等。
它也可以用于求解极值问题，通过求解函数的导数等于零的方程，找到函数的极值点。
此外，拉格朗日中值定理还可以用于证明柯西中值定理。
3.柯西中值定理的证明：柯西中值定理是微分中值定理的推广，它表述如下：设函数f(x)和g(x)在闭区间[a,b]上连续，在开区间(a,b)内可导，并且g'(x)≠0，则存在至少一点c∈(a,b)使得[f(b)-f(a)]/[g(b)-g(a)]=f'(c)/g'(c)。
柯西中值定理的证明可以通过构造辅助函数来实现。
设辅助函数h(x)=[f(b)-f(a)][g(x)-g(a)]-[g(b)-g(a)][f(x)-f(a)]，然后根据辅助函数的性质，利用拉格朗日中值定理证明存在一些c，使得h'(c)=0。
进而，可以得到[f(b)-f(a)]/[g(b)-g(a)]=f'(c)/g'(c)。
4.柯西中值定理的应用：柯西中值定理常用于证明函数之间的关系以及求解函数的极值问题。
例如，可以用柯西中值定理来证明洛必达法则，即如果两个函数f(x)和g(x)在x->a时都趋于零，且g'(x)≠0，则f'(x)/g'(x)在x->a时也趋于零。
运用中值定理证题时构造辅助函数的三种方法
运用中值定理证题时构造辅助函数的三种方法微分中值定理应用中，怎么寻找辅助函数，是比较头疼的一件事。
今天笔者就介绍下三种方式帮忙寻找到这个函数。
首先声明：这三种方式也不是万能的，但对常见题目还是挺有帮助的，而且学霸们应该都知道这些方法，故慎入。
因此本文目的是向还没留意过这些方法的同学做普及，尤其是线下笔者所带的那些可爱的学生们。
至于还有些仗着自己有点学识就恨不得鄙视这个、鄙视那个，恨不得日天日地日地球的所谓学霸请自行绕道。
一、积分原函数法具体方法简述：将要证明的式子整理为φ(ξ)=0 （一般不包含分式），然后令 F′(ξ)=φ(ξ) ，对两边式子分别积分，则有 F(ξ)=∫φ(ξ)dξ，那么F(x)就是我们所求的辅助函数。
说白了，就是将所证明的表达式进行积分还原，如果能够还原成功，那么成功找到的这个F(x)就是我们苦苦寻找的辅助函数。
还不懂？没事，举两个例子。
例1：设f(x)、g(x)在[a,b]上连续，(a,b)内可导，且 g′(x)≠0 ，证明：在（a,b）存在ξ，使得 f(ξ)−f(a)g(b)−g(ξ)=f′(ξ)g′(ξ) 。
解析：这是非常常见的一道题。
估计即使做过了这道题，还有很多同学很迷惑，解答中的辅助函数到底是咋构建出来的。
其实利用原函数法，很容易就找到这个辅助函数了。
首先先所证明的分式整理成易观的式子，如下：F′(ξ)=g′(ξ)f(ξ)+f′(ξ)g(ξ)−f(a)g′(ξ)−g(b)f′(ξ)然后我们令：F′(ξ)=g′(ξ)f(ξ)+f′(ξ)g(ξ)−f(a)g′(ξ)−g(b)f′(ξ)好，对上式两边进行积分，如下：F(ξ)=∫g′(ξ)f(ξ)+f′(ξ)g(ξ)−f(a)g′(ξ)−g(b)f′(ξ)dξ=∫f(ξ)dg(ξ)+∫g(ξ)df(ξ)−f(a)g(ξ)−g(b)f(ξ)=f(ξ)g(ξ)−∫g(ξ)df(ξ)+∫g(ξ)df(ξ)−f(a)g(ξ)−g(b)f(ξ)=f(ξ)g(ξ)−f(a)g(ξ)−g(b)f(ξ)所以我们要寻找的辅助函数就为：F(x)=f(x)g(x)−f(a)g(x)−g(b)f(x)很容易验证：F(a)=F(b)=−f(a)g(b)于是根据罗尔定理，在(a,b)上存在一点ξ，使得 F′(ξ)=0 ，也就是：g′(ξ)f(ξ)+f′(ξ)g′(ξ)−f(a)g′(ξ)−g(b)f′(ξ)=0整理便可得题目中的式子，因此原题得证。
辅助函数构造法证明微分中值定理及其应用
辅助函数构造法证明微分中值定理及其应用以辅助函数构造法证明微分中值定理及其应用微分中值定理是微积分中的重要定理之一，它建立了函数在某个区间内的导数与函数在该区间内的平均变化率之间的关系。
本文将介绍微分中值定理的证明方法以及其应用。
我们将利用辅助函数构造法来证明微分中值定理。
假设函数f(x)在区间[a,b]上连续且可导，并且f(a)≠f(b)，我们定义辅助函数g(x) = f(x) - [f(b) - f(a)]/(b-a)*(x-a)，其中[f(b) - f(a)]/(b-a)表示函数f(x)在区间[a,b]上的平均变化率。
辅助函数g(x)满足以下条件：1. g(x)在区间[a,b]上连续；2. g(a) = f(a) - [f(b) - f(a)] = f(b)；3. g(b) = f(b) - [f(b) - f(a)] = f(a)；根据介值定理，对于任意的y∈[f(a), f(b)]，存在c∈[a,b]，使得g(c) = y。
由于g(a) = f(b) > y，g(b) = f(a) < y，所以根据连续函数的介值定理，必然存在c∈(a,b)，使得g(c) = y。
由于g(x)是连续函数且可导，根据罗尔定理，存在ξ∈(a,b)，使得g'(ξ) = 0。
由于g'(x) = f'(x) - [f(b) - f(a)]/(b-a)，所以f'(ξ) = [f(b) - f(a)]/(b-a)。
这样，我们就证明了微分中值定理：对于函数f(x)在区间[a,b]上连续且可导，存在ξ∈(a,b)，使得f'(ξ) = [f(b) - f(a)]/(b-a)。
微分中值定理的证明通过构造辅助函数g(x)并利用介值定理和罗尔定理，建立了函数的导数与平均变化率之间的关系。
接下来，我们将介绍微分中值定理的应用。
微分中值定理在实际问题中有着广泛的应用，下面我们将介绍其中的两个应用场景。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
构造辅助函数证明微分中值定理及应用摘要：构造辅助函数是证明中值命题的一种重要途径。
本文给出了几种辅助函数的构造方法：微分方程法，常数K值法，几何直观法，原函数法，行列式法；并且举出具体例子加以说明。
关键字：辅助函数，微分方程，微分中值定理Constructing auxiliary function to prove differential median theorem and its copplicationsAbstract: Constructing auxiliary function is the important method to prove median theorem. This paper gives several ways of constructing auxiliary function:Differential equation, Constant K, Geometry law, Primary function law, Determinant law;and Gives some specific examples to illustrate how to constructing.Key words: Auxiliary function; Differential equation; Differential median theorem目录一：引言 (4)二：数学分析中三个中值定理 (4)三：五种方法构造辅助函数 (6)1：几何直观法 (6)2：行列式法…………………………………………………………………… .第7页3：原函数法 (8)4：微分方程法 (10)5：常数k值法 (13)四：结论 (15)参考文献 (15)致谢 (16)一:引言微分中值定理是应用导数的局部性质研究函数在区间上的整体性质的基本工具，在高等数学课程中占有十分重要的地位，是微分学的理论基础，这部分内容理论性强，抽象程度高，所谓中值命题是指涉及函数（包括函数的一阶导数，二阶导数等）定义区间中值一些命题，实际上，高等数学中的一些定理，如：罗尔定理，拉格朗日定理，柯西定理均可看做是中值命题。
我们可以利用这些定理来证明其他的中值命题。
在证明中值命题时，首先要构造辅助函数，尤其是证明诸如：“至少存在一点，使得其代数式成立”这样结论的题目，证明中，如果辅助函数构造得当，题目很容易证明，反之题目将很难解决。
所以构造恰当的辅助函数是证明中值命题的关键，人们在探究辅助函数构造规律的教学实践中，总结出了很多有益的方法，比如常数k 值法，原函数法，行列式法，微分方程法等。
根据命题形式的变化选择合适的方法并加以解决.下面我们以不同的方法通过分析解决问题的途径。
二:数学分析中三个中值定理定理1[13]-（Rolle 中值定理） 设函数)(x f 满足条件⑴ 在闭区间 [b a ,] 上连续，⑵ 在开区间（b a ,）内可微，⑶ )()(b f a f =，则至少存在一点ξ ∈ (b a ,)，使得 .0)(='ξf我们先从几何角度分析定理的含意：条件(3)说明弦AB 平行于x 轴；条件⑴、⑶表明曲线)(x f y =是平面上一条以两个同高度的点))(,(a f a A 、))(,(b f b B 为端点的连续曲线，⑵是说曲线在),(b a 内处处有不平行于y 轴的切线；结论是说在开区间),(b a 内部必至少有一点，使得曲线)(x f y =在该点的切线平行于x 轴，从而平行于弦AB . 一句话，平面上一条以两个同高度的点为端点的连续曲线处处有不平行于y 轴的切线时，其线内至少有一点，其切线平行于x 轴。
定理2（Lagrange 中值定理） 设函数)(x f 满足条件⑴ 在闭区间 [b a ,] 上连续；⑵ 在开区间（b a ,）内可微，则至少存在一点∈ξ(b a ,），使得. ①我们也先从几何上看Lagrange 定理的意义： ①式右端是弦AB 的斜率。
定理是说，若平面上一条以))(,(a f a A 、))(,(b f b B 为端点的连续曲线)(x f y =在),(b a 内处处有不平行于y 轴的切线，则在开区间),(b a 内部必至少有一点，使得曲线)(x f y =在该点的切线平a b a f b f f --=')()()(ξ行于弦AB ，即平行于两个端点))(,(a f a 与))(,(b f b 的连线 （图3-2）)()()()(b f a x ab a f b f y +---=. 一句话，平面上以A 、B 为端点的连续曲线弧处处有不平行于y 轴的切线时，其线内至少有 一点,其切线平行于弦AB 。
如果在Lagrange 中值定理中增加函数在两端点值相等的条件则结论正是Rolle 中值定理的结论。
可见，Rolle 中值定理是Lagrange 中值定理的特例，这又是一个先处理特殊后处理一般情形的例子。
因而定理2证明的思路就是将Lagrange 中值定理转化到Rolle 中值定理上去以获得证明，定理3（Cauchy 中值定理）设函数)(x f 、)(x g 满足条件⑴ 在闭区间 [b a ,] 上连续，⑵ 在开区间（b a ,）内可微，⑶ 0)(≠'x g ，),(b a x ∈∀，则至少存在一点∈ξ(b a ,)，使得='')()(ξf )()(a f b f -. Cauchy 中值定理的几何意义在理解为参数方程是与Lagrange 中值定理相同。
如果取函数)(x g =x ，Cauchy 中值定理就变成Lagrange 中值定理了，所以Cauchy 中值定理是Lagrange 中值定理的推广，Rolle 中值定理是Lagrange 中值定理的特殊情况（要求)()(b f a f =）；Lagrange 中值定理是中值定理的核心定理，故称之为微分学中值定理。
三：五种方法构造辅助函数1：几何直观法[56]-此法是通过几何图形考察两函数在区间端点处函数值的关系，从而建立恰当的辅助函数 拉格朗日定理：设函数()f x 在[,]a b 上连续，在(,)a b 内可导，则存在(,)a b ξ∈，使等式()()()()f b f a f b a ξ'-=-成立。
分析：该命题条件不满足罗尔定理条件中的()()f a f b =.但从左图可见11()()(),x f x y x ϕ=-满足罗尔定理条件。
其中1()y x 为直线AB 的方程且1()()()()(),f a f b y x f a x a b a-=+-- 从而可作辅助函数11()()()x f x y x ϕ=-证明本题.证明：如图直线AB 方程为1()()()()()f b f a y x f a x a b a-=+-- , 作辅助函数1()()()()[()()],f b f a x f x f a x a b aϕ-=-+-- 容易验证1()x ϕ适合罗尔定理条件，111()(),()b a x ϕϕϕ=在[,]a b 连续，在(,)a b 可导，且1()()()().f b f a x f x b aϕ-''=-- 由罗尔定理知至少存在一点(,)a b ξ∈使()0,ϕξ'=即()()()f b f a f b aξ-'=- ， 亦即 ()()()()f b f a f b a ξ'-=- .一般来说，凡)(x f 与x 的线性式，只要在端点处取值相同，都可取作辅助函数. 如下列函数： )()()()()(3a x ab a f b f x f x ----=φ, )]()()[())](()([)(4a f b f a x a b a f x f x -----=φ,)]()([))(()(5a f b f x a b x f x ---=φ,都可取作辅助函数。
这些函数在],[b a 上都满足罗尔定理的条件，从而可证明拉格朗日定理。
2：行列式法：经分析认识到罗尔定理是中值定理的特殊情况（区间端点处的函数值相等）。
而拉格朗日中值定理又是柯西中值定理当函数()g x x =时的特殊情况。
在进一步引导下，会想到三个定理间既然有着内在的联系能否用一个统一的形式加以刻画，从而引出下面的行列式定理。
定理：设函数(),(),()f x h x g x 在[,]a b 上连续，在(,)a b 内可导则至少存在一点(,)a b ξ∈使得()()()()()()0()()()f ag ah a f b g b h b f g h ξξξ='''成立。
在上述定理中，当()1h x =时，便是柯西中值定理。
当()1h x =,且()g x x =时，便是拉格朗日中值定理，当()()1h x g x ==时，便是罗尔定理。
例一：设()f x 在[,]a b 上连续，在(,)a b 内可导，试证存在,a b ξ∈（）使222[()()]()()f b f a b a f ξξ'-=-.分析：结论移项为 222[()()]()()0f b f a b a f ξξ'--+-=,即222202()()1()1()()11()f f a a f a f a f b b b f b ξξξξ''+=1 0-21, 将上述行列式中ξ换为x ，并求出原函数()F x2221()()1()1()x f x F x a f a b f b =, 即为要找的辅助函数。
证明：作辅助函数2221()()1()1()x f x F x a f a b f b =,易验证()()0,F a F b ==又()F x 在[,]a b 上连续，在(,)a b 内可导且()22()2()()()()F x x f b f a f x b a ''=-+- ，由罗尔定理知，至少存在ξ∈（a,b ）使()0F ξ'=，即222[()()]()()0,f b f a f b a ξξ'--+-=亦即222[()()]()()f b f a f b a ξξ'-=-.3：原函数法（１） 原函数法的思想:①将要证的结论中的ξ换为.x② 通过恒等变形将结论化为易消除导数符号的形式,③ 用观察法或积分法求出原函数（等式中不含导数符号），并取积分常数为0, ④ 移项使等式一边为0，另一边即为所求辅助函数()F x .（2）拉氏中值定理证明中辅助函数的构造：在拉氏中值定理的结论()()()f b f a f b aξ-'=-， 中令：x ξ=，则有()()().f b f a f x b a-'=- 两边积分得()()()f b f a x f x c b a-=+-， 取0,c =,得()()()f b f a x f x b a-=-， 移项得()()()0f b f a f x x b a--=-， 故 ()()()()f b f a F x f x x b a -=--， 为所求辅助函数.(3) 柯西中值定理证明中辅助函数的构造.在柯西中值定理的结论中令x ξ=,得()()()()()()f b f a f xg b g a g x '-='-． 若两边同时积分，右端去不含导数符号，为此将上式变形为()()()()()()f b f ag x f x g b g a -''=-， 积分得()()()()()()f b f ag x f x c g b g a -=+-， 取0,c =并移项得()()()()0,()()f b f a f xg x g b g a --=- 故 ()()()()()()()f b f a F x f xg x g b g a -=--． 为所求辅助函数.在利用中值定理证明相关命题时，我们也可根据上面的思路来构造辅助函数，既先把命题结论转化为[]0,x ξ='=的形式，据此构造出适当的辅助函数().F x 使其符合罗尔定理条件，然后利用罗尔定理给出 证明，这就是原函数法，但构造()F x 有时尚需一定的技巧.例一：设()f x 在闭区间[0,1]上连续，在开区间(0,1)内可导，且(0)(1)0f f ==试证：在开区间(0,1)内至少存在一点ξ使()()0.f f ξξξ'+=分析：原结论即[()]0x xf x ξ='=,因此可直接设()().F x xf x =显然()F x 在［0,1］上满足罗尔定理，由罗尔定理，在(0,1)内至少存在一点ξ，使()()()0.F f f ξξξξ''=+=例二：设()f x 在闭区间[0,1]上连续，在开区间(0,1)内可导，且(1)0,f = 试证：在开区间(0,1)内至少存在一点ξ使()()(0).kf f k ξξξ'=->分析：原结论变形为 ()()0,f kf ξξξ'+=若设()()().F x xf x kf x ''=+难以构造()F x ，考虑乘法求导法则()uv u v uv '''=+,及导数公式1(),k k x kx -'=将原结论两端同乘以ξk。