从几何的角度看微分中值定理.pdfVIP

第 3O卷第2期 大 学 数 学 V01．3O，№ ．2 2014年 4月 COLLEGE MATHEM ATICS Apr．2014 从几何的角度看微分中值定理 曾可依 (重庆大学 数学与统计学院，重庆 401331) [摘 要]从平面几何 中曲线之间的相切关系不依赖于坐标轴的选取这一基本事实去看数学分析 中 Rolle中值定理、Lagrange中值定理 以及 Cauchy中值定理． [关键词]中值定理；刚体运动；活动标架；相切 [中圈分类号]0171 [文献标识码]C [文章编号]1672—1454(2014)02—0108—04 1 引 言 数学分析中的微分中值定理是指 Rolle，Lagrange，Cauchy三个微分 中值定理．它们是数学分析中 的基本 内容．不同的教材处理这三个定理的方式也不尽相同．一般有两种方式：一种是按认识事物的过 程来讲解 ，即先介绍Rolle中值定理，再利用它构造辅助函数来证 明Lagrange中值定理，最后推广到 Cauchy中值定理{1]；另一种处理方式是先证明Rolle中值定理，然后统一地处理 Lagrange中值定理和 Cauchy中值定理 ． 关于微分中值定理的研究有很多方面，主要涉及它的证明及其应用Ⅲ．例如，利用微分中值定理去 判断函数的零点、函数的最值点、求函数的极限、证明一些特殊的不等式以及导数的估计等等．在证 明或 应用微分中值定理时，往往会提及中值定理 的几何意义 ，一般不够深刻．本文将系统地 阐述这三个中值 定理背后所隐藏的几何背景，并不强调它们 的证明或应用．几何上 ，我们将指出这三个定理本质上其实 是一回事． 2 合同变换 在二元数组空间 一{(z，．)，)}z，3，∈瓞)上引进 自然 的加法和数乘 ，使它构成一个 2一维的向量空 间．定义鼹。上引进 内积 ( )如下 ： ，砌：一 lj+ 1Y2， 其 中 =：(xl，Y1)，一( ，z)∈ ．于是瓜 连 同内积 ( 构成一个欧氏空间，记为 (骢 ，( )．有了 内积之后 ，在 上可 以定义 向量 的长度 、夹角、正交性 以及两点之间的距离等相关几何概念．例如 ， P一(xl，y-)与Q一 (zz，Y。)之间的距离 d(P，Q)定义为 d(P，Q)：：==~／(1一Iz2)。+(1一Y2)． 在 中取定一点P为原点，并 以 P为起始点，取两个线性无关 的单位正交 向量 {e，e)，则称 {P；e，ez)为 (以P为原点)的一个正交标架．特别地，当原点为O= (0，O)，单位正交向量为f一 (1，O)， _，一(0，1)时，我们称{Od，J)『为 。的标准正交标架．考虑{P ；：，e；)是瓞 的另一个正交标架，它与原标 架 {P；e，e：}之间有如下关系： PP一cel+Ce2， e；：==e1十￡e2， 一1，2． [收稿 日期]2014一O1—26 第 2期 曾可依 ：从几何的角度看微分 中值定理 1O9 记矩阵T：(￡；)≤ ≤．注意到{e，e)与{e：，e；)是单位正交基底，所以T是正交阵，即T属于正交群 O(2)一 {T是 2×2矩阵IT · =I)． 定义 设 ： 一 是一一对应．如果对任意的P，Q∈ 有 d(P，Q)一d((P)，(Q))，则称 为 中的合同变换． 选取 TE0(2)，P。∈ ，容易验证 ： 一碾 ，x XT+Po是 中的合 同变换．反之亦成立 ，即 定理 1[3] 设 是 中的合同变换 ，则存在 T∈O(2)以及P0∈ 使得 ： (X)=XT-+-Po， VX∈ 。． 注意到瓞。的一个正交标架做合同变换 ，就得到了