微积分中存在性问题的证明方法.docVIP

微积分中存在性问题的证明方法 1．基本结论 (1)有界性：若。 (2)最值性：若，则在能取到最大值和最小值。 (3)零点定理：若，且，则在内至少存在一点，使。 (4)介值性：若，分别是在上的最大值和最小值，则，在至少存在一点，使。 (5)罗尔定理 如果函数满足：（1）在闭区间上连续( （2）在开区间内可导( （3）在区间端点处的函数值相等，即( 那么在内至少在一点 ( 使得函数在该点的导数等于零，即( (6)拉格朗日中值定理 如果函数满足（1）在闭区间上连续( （2）在开区间内可导( 那么在内至少有一点( 使得等式 (7)柯西中值定理 如果函数及在闭区间上连续,在开区间内可导,且在内每一点处均不为零，那末在内至少有一点,使等式成立 2．证明思路 (1)设在[a,b]上连续，条件中不涉及到导数或可微，证明存在，使得，一般用介值定理或根的存在性定理。 (2) 设在[a,b]上连续，在(a,b)上可导，证明存在，使得结论中包含和一阶导数的等式成立，一般用中值定理。 (3) 设在[a,b]上连续，在(a,b)上二阶可微，证明存在，使得结论中包含和二阶导数的等式成立，一般三次使用中值定理或用泰勒公式。 (4)设在[a,b]上连续，在(a,b)上三次（或以上）可导，证明存在，使得结论中包含和三阶导数的等式成立，一般用泰勒公式。 (5)条件中包含时，要首先使用积分中值定理处理，得到，作为其他证明的条件。 3.存在性证明中辅助函数的构造方法 存在性证明中成功构造辅助函数是解题的关键。辅助函数大多来源于结论，从对结论的分析中得出辅助函数。 例1、设在[0，2a]上连续，，证明在[0,a]上存在使得 . 【分析】在[0,2a]上连续，条件中没有涉及导数或微分，用介值定理或根的存在性定理证明。辅助函数可入下得到 【证明】令，．在[0,a]上连续，且 　　　　 当时，取，即有； 当时，，由根的存在性定理知存在使得，，即． 例2、设函数在[0,1]上连续，在(0,1)上可导，，证明：在(0,1)内存在，使得． 【分析】本题的难点是构造辅助函数，可如下分析： 【证明】令，则在[0,1]上连续，在(0,1)上可导，且 　　　　, 由罗尔中值定理知，存在，使得．即 例3、设函数在［0，1］上连续，（0，1）内可导，且 　　证明：（为自然数）． 【分析】本题构造辅助函数的难度大于上一题，需要积分（即解微分方程）方可得到： 【证明】令，则在[0,1]上连续，在(0,1)上可导，且，，即 ， 又，约去，整理得证． 例4、设函数在[0,1]上连续，在(0,1)上可导，，.证明： (1)在(0,1)内存在，使得． (2) 在(0,1)内存在两个不同的点， 【分析】 第一部分显然用闭区间上连续函数的介值定理；第二部分为双介值问题，可考虑用拉格朗日中值定理，但应注意利用第一部分已得结论. 【证明】 （I） 令，则F(x)在[0，1]上连续，且F(0)=-10, F(1)=10,于是由介值定理知，存在存在 使得，即. （II） 在和上对f(x)分别应用拉格朗日中值定理，知存在两个不同的点，使得， 于是 类似地还有 (1)设函数在[a,b]上连续，在(a,b)上可导，证明：在(a,b)内存在,使得． (2)设函数在[a,b]上连续，在(a,b)上可导，证明：在(a,b)内存在,使得 ． 例5、设函数f(x), g(x)在[a, b]上连续，在(a, b)内具有二阶导数且存在相等的最大值，f(a)=g(a), f(b)=g(b), 证明：存在，使得 【分析】需要证明的结论与导数有关，自然联想到用微分中值定理，事实上，若令，则问题转化为证明, 只需对用罗尔定理，关键是找到的端点函数值相等的区间(特别是两个一阶导数同时为零的点)，而利用F(a)=F(b)=0, 若能再找一点，使得，则在区间上两次利用罗尔定理有一阶导函数相等的两点，再对用罗尔定理即可。 【证明】构造辅助函数，由题设有F(a)=F(b)=0. 又f(x), g(x)在(a, b)内具有相等的最大值, 不妨设存在, 使得 ， 若，令, 则 若，因，从而存在 ，使 在区间上分别利用罗尔定理知，存在，使得 . 再对在区间上应用罗尔定理，知存在，有 ， 即 例6 设函数在［0，1］上有三阶连续的导数，且 　　证明：。 【证明】 　　， 　　 　　　　 在上连续，设在上的最大值和最小值分别为 则．所以使 　 评论：(1)本题把泰勒公式与介值定理结合使用，有一定难度。 (2) 泰勒公式的展开点一般选在特别的中间点或端点。 5