Frobenius定理的等价命题

利用外微分的性质．证明了Ｆｒｏｂｉｕｅｓ定理的等价命题．     

一类三角命题的等价性

一、引盲 文〔1〕中给出了如下一些三角恒等式sin,十:in。十sinC一4。05李08夸·05普。。s,+co、。+cosc=l+4·、渗in冬in誉中x’“去(a+1)M一ax,犷一去(a十l)M一y,z’=去(a+l)M一az,a〔R. 该原理由x’+犷+z’二(a+1)M一a(x斗,+z)=M显然可得.若令a二2和a二去,在定理的条件下,我们有如下两个常用结论: 推论1结论A(M一Zx,M一Zy,M一22)成立.sinZA十sinZB+sinZC=4sinAsin浅inC推论2结论,(携三户誓支户宁.)成立.eosZA+eosZB+eosZC=一l一4eosAeos及osC(4)_J__;T一ZA兀一ZB万一ZC一qC05一几犷一c05 2 CU52- 化简即为(3). 同样,在(3…     

数学分析中的四个等价命题

围绕数学分析的极限理论,给出四个等价命题,包括海涅定理的推广、介值性的刻划、一致连续性的刻划和级数收敛的刻划,相应指出它们在理论上的应用.     

Hadwiger猜想的一个等价命题

Hadwiger 猜想说:如果简单图 G 的色数为 k,那么它就含有能收缩到 k 点完全图 S_k 的子图.当 k=5时,这个猜想等价于平面地图四色定理.本文用满色集概念来给出Hadwiger 猜想的一个等价命题。当 k=5时,它也是平面地图四色定理的一个新的等价命题.     

威尔逊定理的一个等价命题

素数的研究一直是初等数论的一个重要内容，而素数的判定又是其中一个较困难而又具有价值的问题．１７７１年数学家拉格朗日证明了著名的威尔逊定理：“ｐ为素数的充要条件是ｐ能整除（ｐ－１）！＋１．”根据威尔逊定理，可以构造出一个人们梦寐以求的只产生素数且能够产...     

一个实数连续性的等价命题

从一般数学分析教材中,描述实数连续性的命题有确界定理、单调有界定理、区间套定理、稠密性定理、柯西收敛原理和有限覆盖定理。而且它们之间是彼此等价的。本文拟介绍     

无穷自动机的几个等价命题

本文证明了具有无穷栈符合的实时确定下推自动机与无穷自动机的等价性，并且将有限状态自动机的Ｍｙｈｉｌｌ－Ｎｅｒｏｄｅ定理推广到了无穷自动机和具有无穷栈符号的实时确定下推自动机。     

Heine定理的等价命题及其应用

一、引言在国内流行的《数学分析》教材中 ( [1 ]～ [3 ]) ,均给出了描述函数极限与数列极限之间关系Heine定理或称归纳原则 :定理 1 ( Heine定理 )　设函数 f ( x)在 u。( a)有定义 ,则 limx→ af ( x) =b 对任意收敛于 a的数列{ an} u。( a)有 limn→∞ f ( an) =b。众所周知 ,Heine定理是沟通函数极限与数列极限之间的桥梁 ,在极限理论和应用中 ,占有非常重要的地位。但是 ,该定理的充分性较强 ,运用中有一定的局限性。1 985年 ,文献 [4 ]减弱了 Heine定理的充分性条件 ,给出了与 Heine定理等价的如下命题 :定理 2 [4 ]　设函数 f ( x…     

关于切锥与切导数的等价命题

给出集值映射导数的若干等价命题,这有助于加深对集值映射的导数概念的理解,并给使用带来方便.     

费一哈不等式的一组等价命题及应用

设△ABC的三边为a、b、c,面积为S,则a~2+b~2+c~2≥4(3～(2/1))(当且仅当a=b=c时取等号) 这一不等式称为费恩斯列尔——哈德维格尔不等式。笔者发现它有一组等价命题和有很多重要应用。     

原命题与逆否命题"不"一定等价

原命题:若a>6,则 (?)a >(?)b . 显然原命题为假. 逆否命题:若(?)a≯(?)b,则a≯b. 因为:“不大于”就是“小于等于”,所以这个逆否命题可变形为:若(?)a≤(?)b,则a≤b,内容正确,即逆否命题为真.     

与四色定理等价的几个命题

本文论述了与四色宣等价的几个新命题,从而给出了平面三角剖分及圈上的４染色集的一些新性质,钭平面图的４可染色问题转化为圈上的４染色来研究,这将更便于用计算机来寻找关于四色定理的更简单的证明方法,也为探索四色定理的理论证明提供了新的途径和方法。     

以概率收敛的一个等价命题及其应用

给出了以概率收敛的一个等价命题及其应用.     

关于矩阵的秩与多项式的根的等价命题

在矩阵的秩与多项式的根之间可建立某种联系,给出五个相互等价的命题.     

邻接树图是哈密尔顿图猜想的一个等价命题

本文给出了简单图的邻接树图是哈密尔顿图”猜想的等价命题,阐明只需证明该猜想对2－连通图成立即可,另外,我们给出了该猜想一种特殊情形的构造性证明。     

关联三边成等差数列的三角形的一个等价命题链

在△月邵中,a油,e分别为角月、刀,c所对边,设 (l)a,乙,e成等差数列则2b=。十。,应用正弦定理即知(l)等价于 (2)ssn月,sin厅,sine成等差数列对式Zsin刀=sin月 sinC进行和差化积,约去t2sin等判,就有(3)eos月一C 2=ZCos月 C 2展开移项整理,两边除以sin河.万钟号,”,得l一3ACtg万tg百= BZctg;犷 ‘ C .A~ctg二干十ctg下‘ “‘、户、.了J,尸O了‘气护‘、 由结论(3)出发,还可导出:卜(6)。S,一普一, 。OSe由于;·*一普一2(l一,B),于是有cosA ZcosB十cosC二2·、一’普 S、一 ·,CSln一~二犷 Z _,B二二二二COS~气丁 Z 十刀一2、.产、…     

灵活运用 迎刃而解

在几何学习中,那些在题目中运用较多 的性质、公理常被背得滚瓜烂熟;而一些并不 常用的性质、公理,却很少能被牢固掌握、熟 练运用．其实,那些被忽略的性质、公理在某 些题目中有时却是很重要的解题依据．     

与某种拓广的Borsuk—UIam定理等价的几个命题

In this paper, we prove a generalized form of Borsuk-Ulam theorem: Generalized Borsuk-Ulam Theorem Let (X, T) be T-space, where X is a n-dimensional homology sphere over the group T₂ of integers mod 2, T is a topological transformation on X weth period 2 and hasn't any fixed points; f: X (?) Rⁿ is any con-tinuous map from X into n-euclidean space Rn then, there existe at least a pair (X, T(X)) of involution points of some x ∈ X mapping into one point, i.e. f(X) = f(T(X)). In addition, we show that it is equivalent to some propositions too.