浅析微分中值定理.docVIP

【标题】浅析微分中值定理 【作者】刘 双 【关键词】微分中值定理??几何数形??辅助函数??统一 【指导老师】陈 波 涛 【专业】数学与应用数学 【正文】1．引言洛尔(Rolle)定理、拉格朗日(Lagrange)定理、柯西(Cauchy)定理都具有“中值”性,?它们统称为中值定理或更确切地称为微分中值定理。它们是微分学的基本定理,?这三个定理不是相互独立,?而是有着非常密切的联系,?具有高度的统一。Rolle?定理、Lagrange?定理、Cauchy?定理的关系是后者包含前者,?即Cauchy?定理的特殊情况就是Lagrange?定理,?而Lagrange?定理的特殊情况就是Rolle?定理。2、微分中值定理2.1微分中值定理形式上的统一若函数?与?在[a,b]上连续,在(a,b)内可导,?与?在(a,b)内不同时为零,?且?,?则在(a,b)内至少存在一点?,?使得?????????????????????????（1）这就是著名的Cauchy?中值定理,?它给出了其它几个微分中值定理的统一形式1)?令?,?由(1)式得Lagrange?中值定理?2)?令?,?且?,?由(1)式得Rolle?中值定理:?2.2.微分中值定理的证明在目前的数学分析教科书中?,利用 Rolle?定理来证明Lagrange定理时?,引入的辅助函数?,有下列 3?种形式。形式1?　构造辅助函数?对?不作任何说明.形式2?　构造辅助函数??或?其中参数λ为待定常数,使 F(x)?在[a,b]上满足 Rolle定理的条件而得到(1)型的辅助函数?或?????????????????????????????????????????????????????????????????????（2）?形式3?　提出定理后,在进行证明之前,给出定理的几何解释,从几何直观上指出辅助函数(1)?与(2)?的合理性,再利用(1)?或(2)?给出定理的证明.以上3种形式,其核心是引入辅助函数,由此,产生下列不能回避的问题:1.辅助函数 F( x)?是怎么想出来的???有规律性吗??2.为什么要构造这种形式的辅助函数???构造别的辅助函数行吗???3.若不构造辅助函数?,能证明这个定理吗??我们发现?,对这些问题?,几乎所有的教材都解决得不够彻底?,甚至避而不答?,以作为习惯或自然而得到?,这种证明过程的“习惯”认为不成为问题。在这里我们不讨论上述 3?个问题的解决方式、方法?,而是从几何角度分析构造辅助函数(1)或(2)的合理性、必要性.从数与形相结合的思想阐述辅助函数的来龙去脉.首先?,用简单曲线表述中值定理明显的直观的几何事实?———“以数辅形”.1)Rolle?中值定理.?如图 1?,取直角坐标系oxy?,使 ox轴平行于线段AB?,设?曲线AB?的方程为　　?????????????, x∈[a,b]?????????????????????????则至少存在一点的坐标为(c,?)?,?使?.?(aCB)Rolle定理说明在点?(c,?)?的切线是水平的。?2)Lagrange中值定理.?如图2?,取坐标系同上?,使ox轴不平行于AB?,?且曲线AB用方程(2)表示?,?则至少存在一点的坐标为?(c,?)?,使??(aCB)Lagrange定理说明在点(c,?)的切线与线段(弦)AB平行。?3)Cauchy中值定理.。如图 3?,取坐标系如上?,但?曲线AB?不能用方程(2)?表示,设其参数方程为????????????(3)则至少存在一点的坐标为(c,f?(c))?,使?即?注:1.中值定理的结论属于存在性范畴,本身并未说明点(c,?)?在何处,也未指出如何去寻找。2. Rolle定理指出:?连结曲线??上两点(a,f(a))与( b,f( b))的直线(弦)时,若该弦是水平的,则在内部有一点(c,f(c)),过此点的切线也是水平的.因此,它是曲线“弦切”关系的一种表现.?但是曲线“弦切”关系都是水平线并非本质所在,因为这与坐标轴的设置有关系.实际上,更为本质的内涵是弦与切线的平行关系,于是,得到更广泛的结论Lagrange定理。其次,?由图形的启发找出辅助函数?———“以形助数”。1)如图4,讨论线段 CD,当 x?= a及x?= b时,D与A或 B?重合, CD?= 0.?易知, CD?在曲线的某个点(如点 P)上,达到极大值.此时?且(i)?，(ii)F(x)在[a,b]上连续，(iii)F(x)在(a,b)内可导。即F(x)满足Rolle定理的条件，而?因此可取为辅助函数(1)?2)?如图5,讨论由曲线AB?：?上的