关于中值定理的推广

我们给出的定理1是对“哥西中值定理的推广”的推广,定理2和定理3是拉格朗日中值定理及哥西中值定理的另一种形式的推广。定理1设(i)n 个函数     

Pappus对偶定理及其证明

给出了Pappus定理的对偶定理并应用射影坐标思想证明了Pappus定理的对偶定理.     

蝴蝶定理及其推广

本文概述蝴蝶定理的简单历史,用不同方法将蝴蝶定理推广到一般二次曲线,得到定理2、3、4、5,证明蝴蝶定理及定理2～5均为二次曲线某一射影性质,即定理6的特例,最后给出定理6的另外几种特例,从一个侧面反映射影几何、仿射几何与初等几何的内在联系。     

微积分中值定理的统一证明及推广形式

Cauchy中值定理统一了微积分中值定理各种形式,从而建立了微分中值定理和积分中值定理之间的内在联系.以Rolle中值定理为基础,借助不同形式辅助函数可对其它几个中值定理作出多种形式的统一证明;利用Taylor公式可以进一步导出微积分中值定理的推广形式.     

关于Vieta定理的推广

本文是在整函数上推广多项式的根与系数的关系。即Vieta定理。关于低阶整函，本文得到了较完美的结果定理1；关于一般有限价的情况，本文通过定理2建立了根与系数的关系，它又是定理1的推广；定理3．4、5则是从讨论定理2所得到的几个积分性质。     

笛沙格定理构形的几何特征

笛沙格定理,是二维影几何中点线结合关系的重要定理。本文根据定理的构形,利用对偶原理,讨论其几何特征,并说明在利用笛沙格定理证明题时的作用。     

平均单叶函数的面积定理及应用

在平均单叶函数族M_s中获得了类似单叶函数面积定理及巴西列维奇定理的定理及由此引出的有关性质定理,从而证实了米林的一个猜想。     

R—循环分块矩阵的若干分解定理

本文首先给出了R—循环分块矩阵的标准形分解定理,并由此获得了块谱分解定理及与循环分块矩阵、反循环分块矩阵相关联的分解定理。最后给出了与对称R~(-1)—循环分块矩阵相关联的分解定理,块正规矩阵分解定理。     

由一题多证看实数基本定理的等价性

从一道例题出发,用实数的基本定理加以证明,同时简单分析运用这些实数基本定理的证明手法,从中说明凡能用其中一个定理解决的问题也必能用其余5个定理来解决。     

Rolle定理的推广及应用

微分中值定理是数学分析中很重要的基本定理,在数学分析中有着广泛的应用。它是沟通函数及其导数之间的桥梁,是应用导数研究函数在某点的局部性质和在某个区间上的整体性质的重要工具。利用微分中值定理可以论证方程的根的存在问题、方程根的个数问题以及根的存在区间问题,也经常用于证明一些含有导数的等式。在形式结构上,Rolle定理是中值定理的基础,一方面它包含在其它中值定理之中,另一方面其它中值定理的证明又往往通过Rolle定理来实现,但该定理要求自变量的范围是闭区间,这就使某些问题的解决受到了限制。主要将Rolle定理推广到有限开区间和无穷区间,用两种方法进行证明,并且举例说明其应用。     

积分不等式的几种证法

本文利用定积分的性质、微分中值定理、施瓦兹不等式、二重积分等内容,研究了积分不等式的四种证法。     

一次同余式组的程序求解

作为程序设计在数论中的应用,本文从孙子定理入手,通过剖析“大衍求一术”方法,给出一次同余式组的计算机求解。     

数学教学应注重培养学生的“数觉”

数学学习中,有学生主动参与的教学才是有效的教学。作为数学教师有必要转变教学观念,将教学重点从数学定理的讲解、证明和如何解题转向对学生“数觉”的培养上。只有培养了学生的数觉,才能使学生在与数学有关的心理机能方面不断得到锻炼,逻辑思维能力和解决数学问题的能力不断得到提升。     

机械臂非线性定位方程计算新方法

针对机械臂定位算法中,数值算法计算量大,仿真过程存在累积误差,几何算法通用性不强等问题,以手术机器 人六自由度机械臂为研究对象,建立了一组多关节机械臂非线性定位方程组,提出了其基于非线性大范围渐近稳定的 求解方法。结果表明该方法既简化运算,又有利于物理实现,为机械臂高速、准确运动提供了基础,实验表明该算法适用 多关节的移动机械臂的非线性定位方程的求解,有较高的求解精度和收敛速度。     

算术基本定理历史探析

算术基本定理是初等数论中一条非常基本和重要的定理,它所体现的唯一因子分解的思想,在现代交换环理论中起着非常重要的作用。本文考察了算术基本定理从起源到成为数论中一条基本定理的历史发展过程,并对各主要阶段其提出者的思想动机进行了分析。     

半B-(E,F)-凸约束多目标规划的对偶性

基于B-凸性和半B-(E,F)-凸性,提出了一类新的广义凸性:半B-(E,F)-凸性,给出了半B-(E,F)-凸函数的概念,研究了它的基本性质,并在半(E,F)-凸函数多目标规划的直接对偶定理和逆对偶定理的基础上讨论了半B-(E,F)-凸函数多目标规的直接对偶定理和逆对偶定理,所得到的结果是半(E,F)-凸函数多目标规的直接对偶定理和逆对偶定理的改进与推广。     

一致有界实值函数集上的最佳同时逼近

给出了最佳同时逼近的特征定理 ,并由此导出了最佳同时逼近的交错定理和强唯一性定理     

吉伯德-萨特思韦特防策略不可能性定理的逻辑初探

自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后，引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而，在国内外文献中，对吉伯德-萨特思韦特防策略不可能性定理的逻辑研究还比较少。基于此，借助公理化的方法探讨吉伯德-萨特思韦特防策略不可能性定理，并形式化地给出定理的内容和证明，力图把精细的逻辑推理应用于复杂的过程分析中，使防策略投票这一过程形式化、清晰化，以期能指导人们进行合理、有效的决策活动。     

积分中值定理中间点的渐近估计式

利用在无穷区间上的比较函数概念,在g( x)可积的较弱条件下,建立了第一、二积分中值定理“中间点”当x→+∞时更广泛的渐近估计式,作为推论得到了Cauchy中值定理和Taylor中值定理的“中间点”当x→+∞时的渐近估计式,从而统一和发展了有关文献的结果。