复变函数对中学数学教学的指导作用

本文阐述了复变函数对中学教学的指导作用,并给出了代数基本定理的一个新证明。     

二元函数极值定理的一种新证法

本文给出了二元函数极值定理的一种新证法,运用代数工具,应用二元函数连续性予以证明,方法更具一般性。     

一个代数定理及在组合数学中的应用

本文考察复变函数f(ζ)=1≤j≤n ζ/π(ζ-xj)ι(r∈z,ι=2,xj∈C)的罗朗(Laurent)展式,应用留数定理给出一个代数恒等式,由此再给出一类关于组合数的恒等式.本文的方法为研究组合数学提供又一途径.     

米哈伊诺夫判据的一个简单证明

本文利用复变函数方法对米哈伊诺夫判据给以简单证明。     

代数基本定理的分析证明

通过《数学分析》中近似计算的方法 ,利用P(z)与zn 之间的幅角关系 ,讨论了P(z)与△qargP(z)在零点的对应关系 ,在此基础上证明了代数基本定理 ,并扩大了该定理的证明范围 .     

代数基本定理的初等证明

本文给出了代数基本定理的初等证明     

从拉格朗曰定理证明方法谈引入辅助函数

拉格朗曰定理属于微分学基本定理 ,在微分学中占有重要地位。它架起用导数来研究函数性态的桥梁 ,成为函数研究形成转变的杠杆。本文就其证明方法为解决数学问题所提供的一种新的途径即引入辅助函数的问题给予了探讨     

柯西中值定理的证法探究

在证明柯西中值定理时,不易找到证明的思路,尤其是不易找到合适的辅助函数.而从柯西中值定理证明的基本思想出发,当经过细致的思考后,可发现引入辅助函数的六种思考方法.     

Rolle定理的推广及应用

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

共轭解析函数为常数的条件

首先给出了共轭解析函数的概念，叙述了复变函数在区域内共轭解析的充要条件和唯一性定理，然后，利用共轭解析函数的这些特殊性质，从几个不同方面详细地讨论了共轭解析函数恒为常数的条件。一方面，从共轭导数的定义入手，可以得到当复变函数在区域内的共轭导数恒为零时，复变函数在该区域内恒为常数；另一方面，利用共轭解析函数的共轭幂级数展式，分析了当共轭解析函数恒为常数时。它的模所要满足的条件。另外，证明了共轭解析函数的实部和虚部满足一定关系时，该函数在区域内也可以恒为常数。     

多元广义解析函数(三)

由于多复变函数的理论在诸多方面与单复变函数的理论有着本质的区别,因而单复变函数的许多性质在多复变函数中已不再成立。本文在引进两个Banach空间的基础上,讨论了一类积分算子的性质,从而将单复变的广义解析函数理论推广到了多个复变量的情形,给出了多复变广义解析函数的表示式及其性质,如广义Liouville定理、唯一性定理、广义最大模原理、凝聚原理和广义多重幂级数,并进一步给出了较一般的复方程组正则解的两类表示式。     

多项式零点的分布及其应用

文章主要研究一般复系数多项式零点的分布性质,讨论实系数多项式零点分布的某些性质.首先利用复变函数理论证明多项式零点存在定理;然后利用矩阵特征多项式、特征值的估计理论系统地讨论一般多项式零点的分布情况,并给出一些结果;最后给出多项式零点分布在线性控制系统中的应用,具体展示它的实用价值.     

用同态基本定理证明矩阵秩的一些性质

在高等代数中,许多关于矩阵的秩的性质的证明是比较复杂的.因此提出用近世代数中的同态基本定理来证明这些性质,这种方法简洁明了,便于接受.     

微分方程在构造微分中值命题的辅助函数中的应用

众所周知,Lagrange定理、Cauchy定理[1]及其它许许多多微分中值命题的证明均借助于构造一个适当的辅助函数。然而,如何作辅助函数,如同作几何证明中的辅助线,需要较高的技巧,无一定法则可循,这给教学带来了难处。文[2]给出了一种辅助函数的“统一”构造法,只需按照一套固定的程序即可。本文利用简单微分方程的解构造出中值问题的辅助函数,从而得到寻求辅助函数的一种新方法。     

整代数体函数的亏量

研究了一类具有v＋1个亏值的v-值整代数体函数，利用整代数体函数的级与特征函数及其亏值亏量的定义和性质，借助线性无关性、克兰姆法则、Jensen公式及对数导数定理进行分析推理，得出这类整代数体函数的所有亏量之和不超过v．     

多元广义解析函数(二)

由于多复变函数的理论在诸多方面与单复变函数的理论有着本质的区别,因而单复变函数的许多性质在多复变函数中已不再成立。本文在引进两个Banac空间的基础上,讨论了一类积分算子的性质,从而将单复变的广义解析函数理论推广到了多个复变量的情形,给出了多复变广义解析函数的表示式及其性质,如广义Liouuville定理、唯一性定理、广义最大模原理、凝聚原理和广义多重幂级数,并进一步给出了较一般的复方程组正则解的两类表示式。 由于多元的情形与二元的情形无本质差异,为方便计,本文仅就二元的情形进行讨论。 在《多元广义解析函数(一)》(重庆师专学报理科版,1993年第2期)中,给出了本文的前半部分,现接着讨论。     

李代数上的微分代数

通过在李代数的普遍包络代数上定义微分算子,讨论了一些性质;根据微分代数的定义和普遍包络代数的结构,给出了李代数上微分代数的结构,且利用基本的代数知识得到了2个定理,3个命题.     

复变函数在二次曲线正交条件中的应用

本文利用复变函数中的保形映射知识，分别讨论了两个圆系、两抛物线系以及椭圆与双曲线正交的条件，从而得到了讨论二次曲线系族正交的条件的又一方法．     

粗糙群及粗糙商群的部分性质探讨

本文主要讨论了粗糙集理论在代数系统——群上的应用,基于代数系统中的同余关系,提出了粗糙商群的另一定义,进而讨论了粗糙商群的一些性质定理及其证明,同时本文对某些错误定理做了修改并给了证明,而对某些定理的繁琐证明进行了简化。     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。