不等式证明中的构造性方法

本文提出在不等式证明中常用的五种构造性方法. 方法一构造函数由于函数的单调性、有界性和凹凸性等和不等式有着天然的联系,这就使我们有可能根据题设条件及要求证的不等式的构成特点,构     

锐角原理的构造性证明

本文用单纯同伦向量标号算法给出了上半连续集值映射的锐角原理的构造性证明,从而给出了几个不动点定理的构造性证明还给出了一个保证计算收敛的条件。     

线性代数中构造性证明简析

<正> 在微积分中,微分中值定理,绝对收敛的级数必是收敛的,线性微分方程的求解公式的证明等,都是通过构造一个辅助函数来完成,这是熟知的事实.在线性代数中许多命题的证明,也是通过构造辅助矩阵的方法来完成.然而,一个m×n 阶矩阵共有mn 个元素,构造一个m×n 阶矩阵就要考虑mn 个数(或mn 个函数),在这个意义上说,构造一个辅助矩阵要比构造一个辅助函数复杂些.本文就线性代数对构造性证明进行分析和归纳,进而说明在命题证明中辅助矩阵是如何构造的.2 线性代数中构造性证明简析线性代数中从构造性证明的叙述方式来看,它是属于演绎法,但就其构造过程的思考方法即构造性证明是怎样想出来的,就应属于倒推法.要充分利用命题提供的信息(或条件)由命题的结论开始进行一步一步的     

锐角原理的构造性证明

本文用单纯同伦向量标号算法给出了上半连续集值映射的锐角原理的构造性证明,从而给出了几个不动点定理的构造性证明.还给出了一个保证计算收敛的条件.     

論构造性数学

1.近年来,数学中的构造方向获得了重大的进展,它的实貭是局限于不引起实无穷性抽象的潛在能行性的抽象的范围內,而仅仅限于研究构造性对象。同时,由于对具有給定性貭的对象的存在,只是在指出了构造这种对象的潛在能行性的方法之后才被认可,因此,否弃了所謂純粹存在性的定理。我們不去給构造性对象的概念下定义,而只給予解释,构造性对象是指某些图形,它是由另一些基本的图形——基本的构造性对象——按一定方式来組成的。用儿童积木“建筑师”构筑起来的建筑物,以及由继电器所組成的继电器接触线路,就是这种例子。在构造性数学理論中,为了避免作出构造性对象的一般定义,我們局限于研究某些标准型式的构造性对象,无論是构成我們結构的零件——基本的构造性对象,还是基本的构造性对象的結合方法,都应当标准化。最簡单的一种构造性对象,就是在一个确定的字母表中,由它的字母所构成的字。在給定字母表中的字,就是其中字母的一个序列。例如,     

复兴构造性的数学

非构造性观点在现代数学研究中普遍流行.这种观点往往主要考虑对象的一些性质,如存在性、可能性等问题,不大关心如何求出解答、或将能行的方法予以有效的实现.应用上对构造性数学要求更为迫切.一个工程师对于方程解的存在唯一性不会有太多的注意,而更关心一些典型的特解,或利用微扰方法找出近似解.机器定理证明向数学提出许多构造性的问题,例如将代数簇如何分成不可约分支,把一正定多元多项式如何表示成为有理函数的平方和等.这些问题在非构造性观点下被搁置多年,目前尚无有效的处理方法.历史上,中国古代数学基本上是构造性的.在西方,非构造性观点从上世纪末才逐渐盛行.实际研究中有许多问题,一时难以给出构造性的处理,因而首先研究存在性、可能性等有关问题,但最终应是构造性的.值得注意的是,近来由于各种原因的促进,构造性观点的抬头有了一些明显趋势。     

代数基本定理的一个构造性证明

<正> 在不动点算法(Fixed-Point Algorithms)的文献中,H.W.Kuhn 关于代数基本定理的构造性证明引人注目.Kuhn 方法的数学形象极好,并已实际用于复系数代数方程求根,堪称不动点算法的范例.本文对 Kuhn 的方法作一介绍.     

Lagrange插值公式的几种构造性证明

利用中国剩余定理、行列式以及线性方程组理论给出了Lagrange插值公式的几种构造性证明,得到了Vandermonde矩阵的逆矩阵的一种算法.     

Newton方程周期解存在性的构造性证明

本文在条件n2≤α（t）≤gx（t，x）≤b（t）≤（n＋1）2下，构造性地证明了Newton方程x″（t）十g（t，x（t））＝0的2π－周期解的存在唯一性，证明过程同时提供了一种数值计算周期解的方法．     

临界Galton-Watson过程条件极限定理的构造性证明

对临界Galton-Watson 过程,本文通过精细地构造条件Galton-Watson 树的方法, 在第n代不灭绝的条件下研究第nt代粒子数Z_nt的构造性性质(0nt^l和Z_nt^r.本文分别给出了{Z_nt^l/n│Z_n>0 }和{Z_nt^r/n│Z_n>0} 的条件极限性质,用概率的方法部分地解释了Spitzer, Lamperti和Ney的经典条件极限的结果. 最后还给出了最近共同祖先的条件分布.     

有理标准形存在性定理的构造性证明

对抽象代数中的一个基本定理有理标准形存在性定理给出了一个构造性证明,用直观的向量形式解释了Frobenius基的结构和生成Frobenius基的向量所需的条件.     

Newton方程组周期解存在性的构造性证明

1 引言 考虑下列Newton方程组的周期边值问题 (1) (2) 其中C:R×R~n→R是关于x二阶连续可微,关于t以2π为周期的连续函数,e:R→R~n是以2π为周期的连续函数.这里不妨设G(t,0)=0(若不然,令G_1(t,x)=G(t,x)-G(t,0),e_1(t)=e(e)-G(t,0),即满足上述要求). 早在1969年,Lazer和Schliez利用Brouwer不动点定理证明了在条件下方程组(1)的特殊形式 (3)2π-周期解的存在性.后来Kannan,Chow,Hale & Mallet-paret,Mawhin,Kannan & Locker又分别重新证明了解的存在唯一性.Lozer,Ahmad,Brown & Lin利用Poincare’定理或全局逆函数定理在条件     

高等数学中的构造性方法

高等数学中的构造性方法石心坦，苏化明（合肥工业大学）数学证明中的构造性方法一般可分为两类，一类为直接性构造法，一类为间接性构造法对于命题中要求证明“存在什么”、“不存在什么”、“有什么”、“没有什么”等这一类存在性命题，可通过构造出满足题设条件的实例...     

数学归纳法证明中的项数问题

数学归纳法证明中的项数问题５５０００４贵阳市第六中学邢益民在中学数学中，用数学归纳法证明一类恒等式时，如下两个问题常常使学生的解题思路受阻．１当ｎ＝１时的项数例１　　用教学归纳法证明（ｎ＋１）十（ｎ＋２）＋（ｎ十３）＋…＋３ｎ＝ｎ（４ｎ＋１）（ｎ∈Ｎ...     

数论中三个著名级数定理的构造性证明及其推论

运用构造性方法,构建了一个确当的Gauss取整函数,使数论中的三个著名的级数公式,即Leibniz公式、Newton级数公式和Euler级数公式一举获证.并且还给出了四个漂亮的推论.     

关于2012年高考北京卷压轴题构造性证明的思考

试题再现:设A是由m×n个实数组成的m行n列的数表,满足:每个数的绝对值不大于1,且所有数的和为零.记S(m,n)为所有这样的数表构成的集合.对于A∈S(m,n),记ri(A)为A的第i行各数之和(1≤i≤m),cj(A)为A的第j列各数之和(1≤j≤n),记k(A)为|r1(A)|,|r2(A)|,…,|rm(A)|,|c1(A)|,|c2(A)|,…,|cn(A)|中的最小值.(3)给定正整数t,对于所有的A∈S(2,2t+1),求k(A)的最大值.((1),(2)略).本题对学生的思维要求较高,求解的难点在于如何得到k(A)的上界,并通过构造实例说明该上界可以取到.另外,"A∈S(2,2t+1)"的特殊形式     

一类二阶线性周期边值问题解的存在唯一性的构造性证明

本文利用初值问题方法给出了一类二阶线性周期边值问题解的存在唯一性的构造性证明,并利用数值延拓方法,给出了计算实例。因此提供了一种大范围求解这类方程周期解的方法。     

数学证明与数学发现

近些年来 ,人们谈论比较多的是 ,通过观察、实验、归纳、类比等方法获得新的数学命题 .正如波利亚评论数学的二重性时所阐述的那样 :“在创造过程中的数学看来却像一门实验性的归纳科学”[1 ] .国内在中学数学教学中也开始研究“如何教猜想” ,提倡“发现式”教学 ,许多中学数学教学杂志刊登了大量这方面的文章 ,不容置疑 ,这是对传统教学思想的冲击 ,对于提高学生的数学素质 ,培养学生具有一定的创造能力是十分必要的 .但是人们在如何获得数学发现的认识上还存在片面性 ,例如文 [2 ]中说到 :“在即将进入 2 1世纪的今天 ,人们进行研究创造 …