共查询到20条相似文献，搜索用时 31 毫秒
1.
利用函数的凹凸性证明一类三角不等式 总被引：1，自引：0，他引：1
王新奇 《西安文理学院学报》2005,8(3):37-40
通过给出关于凹凸函数的一个性质定理及其推论，对一些特定类型的三角不等式通过构造辅助函数，求出函数的二阶导数；再结合其凹凸性利用定理的推论给予简捷的证明，通过实例的证明可看出这种方法是非常简捷有效的。 相似文献
2.
Gregory H. Moore 《Interchange》1990,21(2):46-60
Conclusion When modern infinitary logic arose in the mid 1950s, it was motivated primarily by the desire to extend first-order logic to a stronger logic that would retain certain desirable properties of first-order logic. Those who invented this infinitary logic showed little awareness of their predecessors' work using infinitely long formulas, such as that of Löwenheim and Carnap. But, thanks to this modern infinitary logic, the notion of formal proof was enlarged in a fundamental way.During the 20th century the notion of formal proof has been one of the most fertile and important notions in mathematical logic. The distinction between syntactic and semantic notions (for example, proof vs. truth, consistency vs. satisfiability, theorem vs. logical consequence) is something that everyone well educated in mathematics should be aware of. While educators can reasonably differ as to when students should learn these notions, they can hardly deny the fact that students of mathematics should understand formal proof — its uses and its limitations. Infinitary logic is important in overcoming certain of these limitations, and so has a significant place in the education of all those who wish to understand mathematics in depth. 相似文献
3.
杜珊 《华中科技大学学报(社会科学版)》2005,19(3):21-25
麦金森定理在模态逻辑中扮演了举足轻重的作用。利用把Abs和Triv中的模态公式变为无模态公式的语法运算a与t我们可以给出麦金森定理的一个很简单的语法证明。一方面,通过这个语法证明所建立的加强的麦金森定理与波斯特完全性研究以及模态逻辑语义学中的几条基本原理等价。另一方面,麦金森定理本身清晰地提示了分裂对的两个最典型的实例,这在不完全性度的研究中是不可忽视的。 相似文献
4.
AbstractRouché’s Theorem is a standard topic in undergraduate complex analysis. It is usually covered near the end of the course with applications relating to pure mathematics only (e.g., using it to produce an alternate proof of the Fundamental Theorem of Algebra). The winding number provides a geometric interpretation relating to the conclusion of Rouché’s Theorem, but most undergraduate texts give no geometric insights that lead to an understanding of why Rouché’s Theorem holds. In addition, most texts do not inform students that a stronger version of the theorem exists. In this paper we present a simplified proof of the stronger version, which is a suitable topic for students to pursue as a short project, and provide a geometric argument for the weaker version. Finally, as a project for advanced students, we unpack a standard application of this theorem as used in control systems: the Nyquist stability criterion. 相似文献
5.
6.
关于平面多边形有向面积的一些定理 总被引：15，自引：1，他引：14
喻德生 《赣南师范学院学报》1999,(3):11-14
本文给出多边形有向面积的一个定值定理和多边形中线三角形的一些性质,把文［２］定理４和三角形中线定理等结论推广到更一般的情形。同时还给出了多边形有向面积公式的初等证明。我们约定,本文所指的多边形是指边不自交的平面多边形 相似文献
7.
8.
用分析法找到一个较简洁的辅助函数证明柯西中值定理;利用一个新的命题证明柯西中值定理;构造一行列式函数将柯西中值定理推广. 相似文献
9.
Shivam Kumar 《Resonance》2007,12(9):25-39
Are there perfect squares which on division by 7 leave remainder 3? Are there perfect squares which on division by 3 leave
remainder 7? (A “remainder of 7” on division by 3 is the same as a remainder of 1.) The answers: ‘NO’ and ‘YES’, respectively.
These facts are stated by number theorists as follows: 3 is a quadratic non-residue modulo 7; 7 is a quadratic residue modulo 3. The notion of quadratic residue is far reaching, and the key theorem here is the Law of Quadratic Reciprocity, first stated
by Euler in 1783, but without proof, and first proved by Gauss, in 1796. The theorem is easy to state but is mysterious, as
it reveals a connection between two questions that appear unconnected. Let p, q be distinct odd primes; then the questions are: “Is p a quadratic residue modulo q?” and “Is q a quadratic residue modulo p?” Gauss had a high regard for this result and called it Theorema Aureum, the Golden Theorem. Though it has been proved in many different ways, it retains its mystery. In this two part article we
give three proofs of the theorem. The first one, described in this part, is based on group theory. 相似文献
10.
积分第一中值定理中间点的渐近性 总被引：2，自引：0，他引：2
利用泰勒公式,对Jacobson B,李文荣,吴亭的渐近定理、渐近速度定理的证明方法进行了改进,并对其相应结果进行了推广,研究了当区间的两个端点都趋于其内一定点时,积分第一中值定理中间点的渐近性及其收敛速度. 相似文献
11.
讨论黎曼-斯蒂尔切斯(R-S)积分的存在性问题,在文[1]基础上给出了R-S积分存在性的一个等价命题及其证明。在大学数学专业课程设置中,由于受到课时的限制,R-S积分内容讲授往往较难把握,不利于这部分内容的教与学。该研究结果不管是对于正确理解和应用R-S积分,还是对进一步学习数学其他专门化课程都有重要意义。 相似文献
12.
胡承钧 《南通职业大学学报》2009,23(3):65-66
代数学基本定理的经典证明用到较多的代数知识,且难以理解,文章探讨用数学分析的方法予以证明。该证明从复变多项式无非零最小模引入,并在此基础上简单证明了代数学的基本定理。 相似文献
13.
Michael Bolt 《PRIMUS》2017,27(8-9):792-800
AbstractThe sheet resistance of a conducting material of uniform thickness is analogous to the resistivity of a solid material and provides a measure of electrical resistance. In 1958, L. J. van der Pauw found an effective method for computing sheet resistance that requires taking two electrical measurements from four points on the edge of a simply connected sample of material. In this article we give a statement and proof of the van der Pauw theorem using ideas from complex variables. We also include details of a demonstration of the method for finding the sheet resistance of a stainless steel shim using typical equipment in a physics laboratory. 相似文献
14.
C. A. BEAM 《Teaching Statistics》1982,4(3):85-87
An example of the use of an induction proof in elementary probability theory and its application in proving a theorem in number theory. 相似文献
15.
俸卫 《四川教育学院学报》2013,29(7):112-114
从多角度对Cauchy中值定理的证明方法作了进一步探讨,归纳出了多种证明方法,其中包括利用Rolle定理证明,利用达布定理证明,利用同增量性定理证明,利用积分中值定理证明等七条路径.并利用反向分析法分析了如何构造出适当的辅助函数进行有效证明,有利于培养学生的数学思维,提高学生的创新能力。 相似文献
16.
17.
18.
19.
Dorel Mihet 《Resonance》2010,15(8):737-739
In the paper ‘On GCD and LCM in Domains — A Conjecture of Gauss’ in Resonance [1], some elegant proofs for the fact that ℤ[$
\sqrt { - d}
$
\sqrt { - d}
] (d ≥ 3, quare-free) is not a UFD are given. The aim of this note is to provide an alternative proof for this theorem. 相似文献
20.
利用上同调元素的若干乘法性质获得了Gallagher经典特征标扩张定理的一个简化证明,从而避免了该定理对Brauer广义特征标刻划定理的依赖,另外,还得到了Gallagher经典特征标扩张定理的一个推广形式。 相似文献