共查询到20条相似文献,搜索用时 218 毫秒
1.
四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明. 相似文献
2.
四色定理和Ramsey定理是图论中重要的定理,章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形,并给出了Ramsey定理基于模型论方法的证明。 相似文献
3.
项观捷 《山东教育学院学报》2000,15(6):71-72
本对于集合论中的一个重要定理Cantor-Bernstein定理的图论意义做了探讨,并给出了相应的图论证明,这个证明较之此定理通常的证明直观简明得多。 相似文献
4.
5.
阐述了例证法的理论,分析、论证了例证法应用于定理机器证明的可行性,介绍了几何命题代数化的方法和步骤,并介绍了数值并行例证法和单例实验例证法的应用. 相似文献
6.
詹国梁 《苏州教育学院学报》1994,(1)
对于一个给定的连通图,是否存在哈密尔顿(Hami lton)回路。这是图论中至今尚未解决的一个著名难题。1952年,欧洲数学家狄拉克(Dirac)建立了下面的定理,简单明瞭地给出了哈密顿回路存在的充分条件,这是图论史上的一项重大成果。 定理(Dirac):具有n(n≥3)个顶点的简单图,如果每个顶点V的度d(V)≥n/2,则一定存在一条哈密尔顿回路。 纽曼(Newman)与波塞(Posa)曾分别于1958年与1960年对狄拉克定理作出“光彩夺目”的证明(1)。现在所见的图论著作(2)中又用反证法给予证明。在本文中,笔者分别用逐步调整法与数学归纳法给出两种新证法,以供同行研究参考。 为了避免使用图论术语,我们不妨将狄拉克定理改述为与之等价的命题: 现有n(n≥3)个人,每个人的朋友至少有n/2个,则这n个人可以围坐一圈,相邻 相似文献
7.
8.
9.
10.
11.
王有文 《忻州师范学院学报》2012,28(2):1-2
格朗日中值定理是微分学中的一个重要定理,其证明方法有多种,但主要是通过构造函数进行的。文章提供了一种新的不通过构造函数进行证明的方法:借助于图形直观,构造一系列闭区间,利用区间套定理和文章提出的引理进行证明。 相似文献
12.
本文介绍了柯西中值定理的多种证明方法及其应用.其中证明方法有:利用构造辅助函数,根据罗尔定理证明;利用坐标旋转变换证明;利用达布定理证明;利用复合函数证明;利用同增量性证明.其应用方面为:求极限;证明不等式;证明等式;证明单调性. 相似文献
13.
14.
拉格朗日中值定理是微积分学中一个重要定理,对于拉格朗日中值定理的证明,关键是构造一个辅助函数F(X),使F(X)满足罗尔定理的条件f(a)=f(b),由罗尔定理证得结果。 相似文献
15.
刘烈昌 《赣南师范学院学报》2007,28(3):111-112
结合教学,提出对刚体转动惯量平行轴定理的几点教学讨论,指出不少教材里证明过程中的概念错误,并介绍一种较严谨的证明方法及该定理的一般推广式. 相似文献
16.
17.
18.
19.
20.
给出以Rolle定理为基础,用不同构造辅助函数的方法来证明Lagrange定理,强调了证明Lagrange定理过程中辅助函数构造的思维过程. 相似文献