突破少数民族预科数学归纳法教学难点的探讨

数学归纳法是证明与正整数有关的等式、整除、不等式、二项式定理、数列等命题的一种重要方法．结合少数民族预科数学教学实践,针对学生学习数学归纳法的难点,分析其突破方法,导出用数学归纳法证明命题缺一不可的两个步骤．进而深化了对数学归纳法的认识,突破了数学归纳法的教学难点．     

有关迭代函数系统遍历性质的推广

研究无穷迭代函数系统的遍历性质.利用Banach极限原理、Riesz表现定理及数学归纳法,对紧度量空间上无穷迭代函数系统的遍历定理进行推广,得到了无穷迭代函数系统推广的遍历定理.     

有序集的一般归纳原理和连续归纳法

证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。文中的例子显示出连续归纳法可用统一模式简单明了地给出数学分析中若干定理的证明,如果在数学专业的分析教学中应用连续归纳法,将有助于克服长期存在的教学难点,提高教学的质量和效率。同时也为分析推理的机械化进行了必要的准备。     

欧氏环中唯一分解定理的直接证明

本文在三种不同定义的欧氏环中,用数学归纳法和最小数原理直接证明了唯一分解定理,以使近世代数教学中因子分解问题的处理有利于使学生加深对初等数学中有关问题的理解.这里所用的方法是Zermelo在整数环情形下著名证法的引申和变通. 一、问题的提出数论中证明有理整数的唯一分解定理(即所谓算术的基本定理),通常是先证明     

Cayley-Hamilton定理的一个新证明

用数学归纳法给出了Cayley-Hamilton定理的一个新证明.     

对能量法及其计算杆系结构位移的探讨

用数学归纳法证明了克拉贝依隆原理.将弹性体的应变能表达为荷载的二次齐次函数的一般形式,并用克拉贝依隆原理直接得到了卡氏第二定理.指出了卡氏第二定理与单位荷载法计算线弹性杆系结构位移的方法其本质是相同的,而基于虚功原理的单位荷载法则具有广泛的适应性,方法更简单,物理意义更明确.     

“det(AB)=detAdetB”的数学归纳法证明

给出了线性代数中“det(AB)=detAdetB”的一个数学归纳法证明。其中只用到了行列式的三个基本性质与行列式依行展开定理以及矩阵乘积的定义,避免了初等矩阵、矩阵的初等变换、矩阵的分块以及行列式理论中的Laplace定理等过多的理论知识和过高的技巧。     

“det（AB）=detAdetB”的数学归纳法证明

给出了线性代数中“det(AB)=detAdetB”的一个数学归纳法证明。其中只用到了行列式三个基本性质与行列式依行展开定理以及矩阵乘积的定义,避免了初等矩阵、矩阵的初等变换、矩阵的分块以及行列式理论中的Laplace定理等过多的理论知识和过高的技巧。     

关于第二连续归纳法原理

我国著名的数学家、数学教育家张景中院士,在1986年提出了关于实数理论的“连续归纳法原理”[1].这是一个相当简单、便于应用和掌握的定理。这个定理,可以作为刻画实数的连续性的公理,以代替实数理论中的其它公理;从它出发,可以用统一模式推出已知的一系列关于实数的定理;从它出发,可以用统一模式证明微积分中涉及连续性的各个命题[2].这是张景中院士关于教育数学的一项重要成果.但是,对于一些仅仅局限于一个区间的有关性质,常常需要将所须证明的命题Px由区间[a,b]拓广到整个数轴,成为一个新命题Px,再利用连续归纳法加以证明.例如,在运用连续     

三元轮换对称多项式的基本定理及其应用

对三元轮换对称多项式的基本定理进行严谨的数学证明,采取了数学归纳法和构造法,得出的主要结果及结论:1、突破了三元轮换对称多项式的基本定理的计算机算法的证明,通过数学归纳法和构造法给出了严谨的数学证明;2、初步给出了三元轮换对称多项式的基本定理在一类计算三元轮换对称多项式值的应用.     

定理机器证明思想的产生与发展

 一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。     

隐函数存在定理证明方法探讨

隐函数存在定理是数学分析和高等代数中的一个重要定理,但是隐函数存在定理的证明是一个较为复杂,不易被学生理解和掌握的定理。本文给出了三种证明方法,并对其证明方法进行了比较,文章分别利用零点定理、压缩映射原理、多元微分中值定理证明了隐函数存在定理,并对其证明方法进行了比较。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

线性空间直和分解定理的两个证明

线性空间直和分解定理是高等代数中关于线性变换的一个经典结果,分别利用数学归纳法和一个习题的推广形式给出了直和分解定理的两个新证明.     

有限可加集函数连续性定理的一个注记

众所周知,测度论是近代数学的一个基础理论。由于测度是非负σ—可加集函数,所以判断一个集函数是不是测度关键是要判断集函数是不是有σ—可加性。一般地直接验证一个集函数是否具有σ—可加性是比较困难的,但验证集函数有限可加及连续往往比较容易(定义见),它们之间的关系有以下两个重要定理:(证明见) 定理1:设ψ是集代数T上的σ—可加集函数,则ψ有限可加且连续。     

几个跳阶乘不等式的加强

利用积分中值定理得到涉及单调函数的一个有限和不等式,利用该不等式并结合数学归纳法,加强了几个跳阶乘不等式.     

数学归纳法的两个变种

对数学归纳法给出两个变种,即本文的定理1与定理2,它们用于某些有关自然数命题的证明很能够显出其威力.     

与正算子有关的几个问题

主要研究正算子的关于范数的问题,我们运用数学归纳法来给出证明,并将此性质推广到任意的有界线性算子.另外,我们给出一个定理的一种不同的证明.     

正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化

针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它们之间的相互转换函数并证明了这些函数的正确性,从而验证了正则表达式和有穷自动机在描述能力上的等价性,即:在同一有限字母表下,对任意正则表达式,都存在一个有穷自动机,使得二者描述的语言相同;反之亦然。通过分析与证明,表明采用机器辅助定理证明系统,对计算理论传统核心领域之一的自动机理论进行分析和证明是可行的。     

广义数学归纳法

数学归纳法的原理和使用方法是众所周知的。它在证明与自然数有关的命题时是一个强有力的工具。它的理论主要依赖于自然数的有序性,且此顺序满足最小数原理:每个非空自然数集中有一个最小者。然而,正是这种对自然数的依赖关系限制了它的使用范围。本文的主要目的是介绍数学归纳法的推广形式。我们将把它称为广义数学归纳法。其适用的范围将不仅仅是自然数集合,还可以是其他类型的集合。这种推广具体来讲,一是顺序概念的推