三角形与三棱锥的一个向量性质的逆定理

文[1]、文[2]、文[3]及文[4]对一个三角形重心向量性质进行拓广，文[5]证明了文[1]的逆定理也成立，文[6]将以上的重心性质进行了再推广得到了两个定理，我们可以将这两个定理加强为以下两个命题，证明类似文[6]在此不再证明．     

三角形与三棱锥的一个向量性质的逆定理

文[1]、文[2]、文[3]及文[4]对一个三角形重心向量性质进行拓广,文[5]证明了文[1]的逆定理也成立,文[6]将以上的重心性质进行了再推广得到了两个定理,我们可以将这两个定理加强为以下两个命题,证明类似文[6]在此不再证明.命题1如图1所示,设P为△ABC所在平面上任意一点,λ1PA λ     

Wilson定理之逆的一个简短证明

Wilson定理是初等数论中的著名定理,文[1]证明了其逆定理也成立,但证明较复杂,本文用反证法给出一个简短的证明.Wilson定理之逆:若(p-1)! 1≡0(mod p),则p是素数.证明假设p不是素数,那么p一定可以分解素因数,令p1是p的一个真素因数,则1相似文献   

再论Cauchy微分中值定理的逆问题

文[1]给出了"Cauchy微分中值定理"中值点唯一的条件,并得到了其逆定理的较弱表述.继续文[1]的工作,利用闭区间上连续函数的性质及函数的单调性,解决了其逆定理中端点的唯一性.     

双参数Morley有限元多重网格法

1、引言 多重网格方法是求解偏微分方程的高效快速算法，在实际中得到广泛应用．[2][6]中考察了Morley元的多重网格方法，并用于双调和方程问题。     

反对称自变量线性各向同性张量函数表示定理

本文给出了反对称自变量线性各向同性张量函数表示定理的两个证明:一个证明是新的;另一个基本上沿用[1]的思路,但较简短,且纠正了[1]的一个错误.     

勾股定理的逆定理的一个简证

<正>"勾股定理"(在直角三角形中,两条直角边的平方和等于斜边的平方)的逆命题(如果在一个三角形中两条边的平方和等于第三边的平方,那么这个三角形为直角三角形,且这个三角形的第三边所对角为直角)则称其为"勾股定理的逆定理"."勾股定理"被誉为"千古第一定理^[(1)]",其证明方法多达三百余种[(1)]",其证明方法多达三百余种^([2]).尽管勾股定理的逆定理的证明方法远不如勾股定理的证明方法那么多,但也依然有好几种具有鲜明特色的漂亮证明([2]).尽管勾股定理的逆定理的证明方法远不如勾股定理的证明方法那么多,但也依然有好几种具有鲜明特色的漂亮证明^{([3][4][5][6][7])}方法.但这些证明所使用的     

“Smale马蹄的一个简单模型”的Ω稳定性

文[1]就微分动力体系研究中的重要的Smale马蹄这个反例给出一个简单的模型后,曾“期望”人们用简洁而直接的方法证明该模型的Ω稳定性。此后文[2]又对一般高维情形构造出马蹄型微分同胚,同时用较简单的方法证明了它的Ω稳定性。本文结合文[1]给出的这个模型的特点对其Ω稳定性另外给出一个直接的证明,显得更为简洁,易懂。本文所用记号,凡未阐明者,其意义同[1]。     

Morley定理的更简证明

近年 ,我们对 Morley定理的研究日深 ,证明日简 ,本文给出一个仅用几行文字的证明 ,供大家赏析 .Morley定理　如图 1,任意△ ABC每两个内角相邻的三等分角线的交点构成正△ DEF.图 1　　　　　　　　　图 2证明　如图 1,设 A =3α,B =3β,C =3γ,如图 2 ,又构造凹六边形A′F′B     

Coven和Hedlund一个定理的较简单的证明

Coven和Hedlund在[1]中证明：若区间映射的周期集为有限集，则它的每一个非游荡点都是周期点。本给出了这一定理的一个较简单的证明。此外，我们还用“同伦”的方法简化了该的一个关键引理的证明。     

广义Taylor公式的几个简单证明方法

<正> 微分中值定理在高等数学中具有重要的理论意义。其中Taylor中值定理更具有一般性。文[1]给出了两个广义Taylor公式,文[2]对其中一个公式给出一个简单证明方法。本文对文[1]的两个公式再给出三个简单的证明方法。     

圆锥曲线简易判别补遗

文[1]提出了一个避开坐标变换的繁琐计算,直接判别二元二次方程所表示的圆锥曲线形状的简易方法.本文拟补充文[1]所给判别法则的理论证明,并补充文[1]遗漏的判别法则及共证明与应用.     

曲率障碍下一个四阶变分不等式的Morley元逼近

§1.引言 对于二阶椭圆变分不等式问题的有限元逼近,已有[3]和[5]等.相对而言,各种障碍下的四阶椭圆变分不等式问题的有限元逼近,研究工作却不多.特别,误差估计方面的工作更少.[6]对固支情形曲率障碍问题,构造了Morley元逼近,并给出了收敛性分析,     

H_q~p(01)空间中的多项式最佳逼近问题

文献[1]给出了H_q~p空间中函数的积分表达式,[2]、[3]、[4]在[1]的基础上研究了当P≥1时H_q~p空间的一些性质,[5]研究了当0相似文献   

分析转化出新知

文 [1 ]中提出了一个有趣的几何问题 :如图 1 ,Rt△ ABC中 ,∠ C =90°,CD⊥AB,O1、O2 分别是△ ACD和△ BCD的内心 ,O1O2 交 CD于 K,证明1AC 1BC=1CK ( 1 )本题的条件和结论相距较远 ,初看起来 ,是一个几何“险题”.所以 ,文 [1 ]用的是解析方法证明的 ;文 [2 ]用的是几何与三角综合证法 .文 [3]虽然说是用“纯几何方法”,但是它用了文 [2 ]的中间结果 ,所以并不能说是“纯几何”的 .图 1　　　　　　　　　图 2有没有更简洁、更漂亮的“纯几何”证明呢 ?我们来作如下分析 ,将它不断转化 ,以求用纯几何的方法证明 .1 .将 ( 1 …     

“模糊横贯拟阵”的反例

文献[1]、文献[2]、文献[3]、文献[4]和文献[5]推广横贯概念定义了模糊横贯,并认为一个模糊集族的全体模糊部分横贯构成一个模糊拟阵[6](称为"模糊横贯拟阵")。本文举出一个反例,说明某些模糊集族的全体模糊部分横贯不能构成模糊拟阵;然后,详细分析了出现这种情况的原因,指出文献[1]、文献[2]、文献[3]、文献[4]和文献[5]得出这个结论的证明方法是错误的。     

曲线拐点充分条件证明中的常见错误

文[1]给出了判别曲线拐点的两个充分条件,文[2]给出了一个充分条件,但三个定理的证明都是错误的.同时,文[1]的两个推论也是错误的.本文通过反例分析了其错因,并给出了文[1]中一个拐点充分条件的正确证明.     

二阶拟线性椭圆型方程一般边值问题解的存在性

在文章[1]与[2]中,曾用了不同的方法证明一个空间变量的拟线性抛物型方程一般边值问题解的存在定理.本文利用与[1]相类似的方法考虑多个自变量椭圆型方程一般边值问题     

在C（S）空间中多元的Bernstein—Kantorovich算子的正逆定理

在C（S）空间中，对定义在单形上的Bernstein－Kantorovich算子Kn（f），给出了一个积分型估计式及一个弱型逆定理，得到了当0＜α＜1时，其中为定义在C（S）空间中的Ditzian－Totick光滑模[1]．     

四边形两个优美性质的深入探究

文[1]、[2]分别给出了圆内接四边形中有关三角形内切圆、旁切圆的两个几何恒等式,并综合运用三角、代数知识给出了证明.这两个恒等式"优美"的几何背景是什么?如何用几何方法给出它们的证明?笔者对此作了进一步探究,得到了圆内接四边形一个非常优美的几何性质,由此很容易证得文[1]与文[2]中的有关性质.