拉格朗日中值定理的证明

微分中值定理是微分学的基本定理,它的证明一直是大家关注的研究对象。通过三个不同的角度给出了中值定理三种不同的证明方法,拓宽了中值定理证明的思路。     

微积分教学中的积分问题

<正>微积分教材中,大都把积分分为定积分;重积分(二重积分、三重积分);曲线积分(第一型曲线积分、第二型曲线积分);曲面积分(第一型曲面积分、第二型曲面积分)四大类共七种.这种讲述方法,对于积分计算方法的讲述,有一定的好处.定积分的计算,是其余三类积分计算的基础,牛顿——莱布尼兹公式是定积分计算的关键定理.重积分的计算,是根据积分区域把重     

具有变号非线性项的三点边值问题的正解

首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。     

《微分中值定理》教学设计

微分学中值定理包括费马定理、罗尔中值定理、拉格朗日中值定理和柯西中值定理。用发现法讲授这组定理,可以使学生体验发现真理的乐趣,学习解决问题的策略。提高发现问题、分析问题、解决问题的能力。文给出了用发现法讲授微分中值定理的一种教学设计．本文给出用发现法讲授微分中值定理的另一种教学设计。     

微分中值定理的n阶导数形式及其应用

本文阐述行列式函数及其求导法则,并借此给出拉格朗口是定理的一种证明方法,进而指出并推导了微分中值定理的ｎ阶导数形式。     

中值定理证明不等式的函数构造及等式中的一题多证

利用拉格朗日中值定理证明不等式是一种常用的方法,而此法的关键和难点在于构造一个函数及区间.本文给出利用中值定理证明不等式时函数构造的思路和方法,即一个普遍的结论.同时又给出用中值定理证明等式的一题多证一例.     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

一个平凡解的稳定性定理的改进

利用K类函数改进了马尔金定理的一个结论（即在非注定系统中，若相关的定正函数V和定负函数V1满足limt→∞(dV/dT-V1)=0，则系统有稳定的平凡解），得到一个非驻定系统平凡解的稳定性定理，并通过实例说明本文给出的定理可以判别其平凡解的稳定性，而用马尔金定理的结论失效。     

稳定正规环分解定理

提出了稳定正规环的概念；推广了正规环的分解定理；给出了正则局部环整性的一个简单证明；指出了研究正则环的一条新途径。     

非线性积分方程的周期解

以（Cg,｜.｜g）为相空间,研究具有无限时滞非线性积分方程周期解的存在性,利用Schauder-Tychonov不动点定理证明方程解的g一致有界性和g一致最终有界性蕴含周期解的存在性。     

积分展开定理及其应用

本文推证了一个积分展开定理。根据这个定理,一个闭区间上定义的具有展成泰勒级数条件的函数,可以在一个特定的基函数上展开,而其展式的系数总含有这个函数在该区间上的多重积分。然后给出一个将该定理应用于制导的例子。     

微分中值定理的几何直观表现

学过高等数学的人都能说出罗尔定理、拉格朗日定理、柯西定理的条件和结论,但对于这些定理证明过理中所引进的辅助函数是如何构造出来的?如何将中值定理推广到更一般的形式等问题?都不一定清楚.本文就从几何的角度讨论这两个问题.     

关于半鞅向量随机积分的一个注

建立了半鞅向量随机积分的一个结果,能方便处理可料过程在向量随机积分意义下对半鞅的分解随可料过程不同而不同的问题.作为其应用,给出了有关文献中定理的简洁证明.并利用其思想,得到了半鞅向量随机积分的一个重要性质.     

利用积分证明不等式

本文主要利用定积分定义、几何意义、性质和微积分学基本定理证明了几个重要的不等式。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

具有时滞的二阶多点边值问题3个正解的存在性

研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。     

磁场高斯定理和安培环路定理的一个证明

本文应用物理专业学生应该掌握的数学知识,对稳恒磁场中高斯定理和安培环路定理的积分形式给定一种证明方法.     

二阶非线性常微分方程组边值问题的正解

研究一类二阶常微分方程组两点边值问题,利用Krasnoselskii’s不动点定理,得到当f和g满足超线性或次线性时边值问题一个正解存在的充分条件.     

一类非线性二阶多点边值问题多个正解的存在性研究

通过定义适当的锥,运用锥映射的不动点定理,结合上下解方法,给出了二阶多点边值问题多个正解存在性的判定方法.作为特例,获得了三点边值问题多个正解存在性的判定依据,从而推广了相关文献中关于二阶三点边值问题正解存在性的结果.     

Tychonoff定理的又一个证法

本文给出了Tychoncff 定理的又一个证法。在证明中,我们基于Zorn 引理,利用紧空间的等价命题之一——任一网都有丛点——来证明的。首先,我们引进了万有同的概念,并给出了一个例子。其次,我们证明了万有网的几个性质(即引理1,2,3,4)。最后,我们证明了一般拓扑学中著名的定理——Tychonoff 定理。