中值定理错误使用.docVIP

中值定理使用中的一个典型错误 李家林，王素林 中国地质大学（武汉）数理学院 430074 内容摘要：微分中值定理是《高等数学》中的一个重要定理，恰当地使用它往往可达到事半功倍的效果。本文通过一个实例，直观分析和严格证明了微分中值定理使用中一个易犯的典型错误，旨在加深对中值定理中的中间点（或）动态变化的理解，并使更多同学认识到、并逐渐杜绝这一错误的使用。 关键词：微分中值定理，中间点，错误使用，泰勒公式 正文 在介绍中值定理典型错误使用之前，我们先给出定理的具体内容： 【Lagrange中值定理—形式2】设函数在闭区间上连续，开区间内可导，则存在，使得 【带Lagrange余项的Taylor公式—形式2】 设函数在的某邻域内有阶导数，则对于，均存在，使得 其中 上面的两个定理，证明从略。 【微分中值定理的一个错误使用实例】 例1、设在的某一邻域内有连续三阶导函数，并且满足 ，，满足和，证明： 错证：对等式两端的求导数，得 ， 继续求导数得 注意到，将上式变形得 上式两边令,联系导数的定义得：，因此， 证毕。 错因分析：事实上，在Taylor公式中，如果令，会得到它的另一个简单形式： 在这里，虽然是说着存在一个，但若固定，然后相对于它选取不同的步长，对应的的值往往是不同的（另外还应注意：一个步长可能对应着多个的值，因此不能断然说是的函数）。即说明在过程中，其实是不断变化的。 而上面的错证中出现了对中求导，得到的结果是。这显然是(默认地)把视为一个常数，然后按照复合函数求导法则对进行求导！而根据上面的说明，知这是不正确的！下面给出一个具体的实例，通过这个实例，我们将更加直观地看出：是随着的不同而不断变化的！ 为方便后面的说明，我们先给出如下引理: 【引理1】设在区间上连续且(或者)，则 存在唯一的中间点，使得成立。 证明：由题意知为严格单调增加函数，如右图所示， 定义函数，则在闭区间上连续， 并且，， 由零点存在定理知：至少存在一个，使得， ㈠ 又由于，说明为单调增加函数， ㈡ 综上两个方面，知存在唯一的，使得，即存在唯一的，使得成立。 ■ 【定理1】设在区间上的导函数连续且(或者)，则存在唯一的，使得成立。 证明：由上面的引理1知，存在唯一的中间点，使得 ， 而是1-1对应的，因此存在唯一，使得成立。 ■ 【实例1】 研究函数在(即相当于例1中的)。很容易验证这里的满足例1中对的各条件，而由定理1知，使得成立的关于步长取值惟一，即对于，若使得上面的等式成立，可以确定惟一函数。 令，即，解得， 在用计算机研究随的动态变化时，应该注意如下两个问题： 1、由高等数学知，这表明当我们选取的步长逐渐靠近0时，的值将变成一个近似于“”型数值计算问题。这时在计算机内求的值时，将会出现非常大的系统误差！为尽量避免这种误差，特将的表达式等价变形为： 2、为了更全面地反映的变化，我们研究不等距步长时对应着的的值。进过不断尝试，我们利用非线性变换：（正半轴上）和（负半轴上），并分别以0.0002和-0.0002为初始步长，分别取出50个步长值，这些点在数轴上分布如图： 对步长进行非线性增加的好处在于：得到的数据点之间的距离会向外变得分散，并且大部分又会相对聚集于的附近，这样便能更好、更全面地反映西塔随的变化！ 【软件实现】下面用Matlab软件来计算不同步长下西塔的值。 在Matlab命令窗口中输入： % 生成步长h的数组 h=zeros(50,1); h(1)=0.0002; for i=1:49 h(i+1)=h(i)+0.0005*i^(3/2); % 不均等增量变化(非线性增加) end % 不同步长下，对应的西塔的值 a=zeros(50,1); for i=1:50 t=(log(h(i)-atan(h(i)))-log(atan(h(i))))./2-log(h(i)); a(i)=exp(t); end% 不同步长下，西塔的值与极限值的差异 b=1/sqrt(3)-a;% 西塔关于步长h是个偶函数，作出它的变化图形 subplot(1,2,1),plot(h,a),hold on,plot(-h,a), plot(h,1/sqrt(3),r),plot(-h,1/sqrt(3),r),grid on, subplot(1,2,2),plot(h,b),hold on,plot(-h,b),