巧用三角形证不等式

巧用三角形证不等式熊佩英（湖南益阳财税学校４１３０５４）很多不等式与三角形有着直接或间接的联系，如能想到这一点．往往能收到事半功倍之效．例１正数ａ，ｂ，ｃ，Ａ，Ｂ，Ｃ，满足ａ＋Ａ＝ｂ＋Ｂ＝ｃ＋Ｃ＝ｋ，求证ａＢ＋ｂＣ＋ｃＡ＜ｋ２．（图１）证明构造图形如...     

椭圆一个定理的又一初等证明

定理　椭圆Ｃ：ｘ２ａ２＋ｙ２ｂ２＝１（ａ＞ｂ＞０）有且仅有两条对称轴：直线ｘ＝０和ｙ＝０．文［１］指出,这个定理的证明一般要用到仿射几何知识,同时文［１］给出了一个初等证明．笔者再给出这个定理的又一种初等证明如下．定理的证明　易验证直线ｘ＝０和ｙ＝０均是椭圆Ｃ的对称轴．因点Ｂ（０,ｂ）关于直线ｘ＝ｋ（ｋ≠０）的对称点Ｂ′（２ｋ,ｂ）不在椭圆Ｃ图１上,故直线ｘ＝ｋ（ｋ≠０）不是椭圆Ｃ的对称轴．设Ｆ１,Ｆ２是椭圆Ｃ的两个焦点,椭圆Ｃ的长轴Ａ１Ａ２关于直线ｌ：ｙ＝ｋｘ＋ｎ（ｋ,ｎ至少有一个不等于零）的…     

关于奇异方程解的研究

本用克莱坶法则，给出奇异方程AX=b；[Ind（A)=k，b∈R（A^k）)]的唯一解，且如果A是非奇异，可归纳到通常的克莱姆法则。     

例谈用解析法证明几何问题

上接第２期）∵ｋＡＣ＝ｈｂ－ａ,∴高ＢＥ的方程为ｙ＝ａ－ｂｈ（ｘ＋ａ）,令ｘ＝ｂ得ｙ＝ａ２－ｂ２ｈ,∴Ｈ（ｂ,ａ２－ｂ２ｈ）．又过ＡＣ中点Ｆ（ａ＋ｂ２,ｈ２）作ＡＣ的中垂线与ＢＣ的中垂线ｙ轴相交于Ｔ,则中垂线ＴＦ的方程为：ｙ－ｈ２＝ａ－ｂｈ（ｘ－ａ＋...     

一个应用广泛的不等式

一个应用广泛的不等式湖南沅陵六中周永国定理若ａ、ｂ∈Ｒ＋，ｎ∈Ｎ，则当且仅当ａ＝ｂ时等号成立．证对任意的非负整数ｋ≤ｎ，有（ｋ＝０，１，…，ｎ），上面ｎ＋１式相加，得等号当且仅当ａ＝ｂ时成立．定理有着广泛的应用，下面举例说明．例１设ａ、ｂ、ｃ是△ＡＢ...     

关于虚二次域类数的可除性

设α＞１，ｂ＞１，（α，ｂ）＝１，ｈ（－αｂ）表虚二次域的类数。如果有正整数ｘ，ｙ，ｎ，ｋ满足（１）αｘ￣２＋ｂｙ￣２＝４ｋ￣ｎ，ｂ且；或（２）αｘ￣２＋ｂｙ￣２＝ｋ￣ｎ，ｘ｜α，ｙ｜ｂ且αｂ≡２（ｍｏｄ４），则本文证明了关于ｈ（－αｂ）的可除性的两个定理（见定理１，２），其中符号ｘ｜α表示ｘ的每一个素因子整除α。     

短区间上非同构有限Abel群的个数

用算术函数ａ（ｎ）表示ｎ阶非同构Ａｂｅｌ群的个数，令Ａｋ（ｘ）＝∑／ｎ≤ｘ／ａ（ｎ）＝ｋ １，Ａｋ（ｘ；ｈ）＝Ａｋ（ｘ＋ｊ）－Ａｋ（ｘ）。     

三角形一个重要公式及其应用

在三角形中，我们把角的顶点与其对边上一点的连线称作这个角的分角线．下面给出分角线长的一种公式．定理　如图１，Ｄ是△ＡＢＣ的边ＢＣ上一点，设ＡＢ、ＡＣ分别为ｃ、ｂ，∠ＢＡＤ＝α，∠ＣＡＤ＝β，图１则　　　　ＡＤ＝ｂｃｓｉｎ（α＋β）ｃｓｉｎα＋ｂｓｉｎβ．（１）当ＡＤ是∠Ａ的平分线时，　　　ＡＤ＝２ｂｃｃｏｓＡ２ｂ＋ｃ；（２）当ＡＤ是中线时，　　ＡＤ＝ｂｓｉｎ（α＋β）２ｓｉｎα＝ｃｓｉｎ（α＋β）２ｓｉｎβ；（３）当ＡＤ是高线时，　　　ＡＤ＝ｃｃｏｓα＝ｂｃｏｓβ＝ｂｃｓｉｎＡａ．（４）证明　在…     

子集的交叉t－相交定理

设Ｘ为一个ｎ元集合，Ｃｎｋ为Ｘ的所有ｋ元子集全体，若Ａ∈Ａ，Ｂ∈Ｂ有｜Ａ∩Ｂ｜≥ｔ，则称（Ａ，Ｂ）为一个交叉ｔ－相交子集族．本文得到最大交叉ｔ－相交子集族和最大非空交叉２－相交子集族．证明如下两个结论．（１）若（Ａ，Ｂ）为一个交叉ｔ－相交子集族，且ａ≤ｂ及ａ＋ｂ≤ｎ＋ｔ－１，则｜Ａ＋Ｂ｜≤ｍａｘ｛（ｂｎ），（ａｎ）｝，且当（Ａ；Ｂ）＝（φ，Ｃｎｂ）或（Ｃｎａ，φ）时达到上界．（２）若（Ａ，Ｂ）为一个交叉２－相交子集族，且ａ＜ｂ，ａ＋ｂ≤ｎ－１及（ｎ，ａ，ｂ）≠（２ｉ，ｉ－１，ｉ）（ｉ为任意正整数），又Ａ，Ｂ均非空，则｜Ａ＋Ｂ｜≤１＋（ｂｎ）－（ｂ（ｎ－ａ））－ａ（（ｂ－１）（ｎ－ａ））且当（Ａ，Ｂ）＝（｛Ａ｝，Ｃｎｂ－｛Ｂ｜｜Ｂ｜＝ｂ，｜Ａ∩Ｂ｜≤１｝）时达到上界．     

方程f~（n）（x）＝Af~（n－k）（（ax＋b）／（cx－a））

本文提出方程ｆ~（ｎ）（ｘ）＝Ａｆ（ｎ－ｋ）（（ａｘ＋ｂ）／（ｃｘ－ａ）），证明它是可积的．所得结论是文献［１］中结论的推广．     

一类矩阵的Drazin逆

本文得到了一类环上矩阵Ｄｒａｚｉｎ逆的一个定理：设Ｎ表有单位元环Ｒ中零元、可逆元集合与Ｒ的中心Ｚ（Ｒ）的交集，Ｍ表Ｒ的子域与Ｚ（Ｒ）的交集，Ａ∈Ｒｎ×ｎ．若ｆ（λ）＝ｃλｋ（１－λｑ（λ））是Ａ的化零多项式，其中ｑ（λ）的系数属于Ｎ，且ｃ∈Ｎ，则Ａ的Ｄｒａｚｉｎ逆存在，且Ｘ＝Ａｋ［ｑ（Ａ）］ｋ＋１是Ａ的唯一的一个Ｄｒａｚｉｎ逆．     

Banach空间上有界可逆线性变换逆变换的结构

Fillmore在[1]中得到一个定理:设A,T是Banach空间X上的线性变换,A有界,若Lat(A) Lat(T)且AT=TA,则T是A的多项式.在本文里,以此作为引理,讨论了Banach空间上可逆线性变换A在什么情况下,A-1可表示为A的多项式.本文最主要的结论是定理3.4:设X是Banach空间,A是X上的有界线性变换,且可逆,则A-1是A的多项式当且仅当A-1是A的局部多项式.     

关于算术平均和几何平均的加权算术平均和加权几何平均

设Ｇ（ａ，ｂ），Ａ（ａ，ｂ）和Ｌ（ａ，ｂ）分别是两不相等正数ａ和ｂ的几何平均、算术平均和对数平均．本文得以下两重要结论①Ｌ＜ｐＧ＋（１－ｐ）Ａ成立的充要条件为－∞＜ｐ≤２３；②ＧｐＡ１－ｐ＜Ｌ成立的充要条件为２３≤ｐ＜＋∞．     

Banach空间的弱*序列紧性

本文研究了Ｂａｎａｃｈ空间的弱序列紧性．Ｂａｎａｃｈ空间Ｘ称为有（ｗ）性质，如果Ｘ（Ｘ的共轭空间）的每个有界序列有弱收敛子列．我们证明了，如果Ｂａｎａｃｈ空间Ｘ有（ｗ）性质，那么ｌｐ（Ｘ）（１≤ｐ＜＋∞）与ｃ０（Ｘ）也有（ｗ）性质．     

具有多项式增长的退缩拟线性抛物变分不等式

考虑拟线性抛物型变分不等式：ｕ∈Ｋａ．ｅ．，〈Ａｕ′，ｖ－ｕ〉∫Ωａｉ（ｘ，ｕ，ｕ）（ｖ－ｕ）ｘｉｄｘ＋∫Ωａ（ｘ，ｕ，ｕ）（ｖ－ｕ）ｄｘ≥０ａ．ｅ．ｔ，ｖ∈Ｋ，这里Ｋ为闭凸集，Ａ为非１—１，可能退缩的线性算子．在ａｉ（ｘ，ｕ，ｐ），ａ（ｘ，ｕ，ｐ）关于ｐ，ｕ具有多项式增长的假设下，得到了正则解的存在性和唯一性．特别是，当Ａ＝Ｉ时，我们便得到文［１０］的结果．     

四元数矩阵方程AX=B的实部半正定解(英文)

一个ｎ×ｎ实四元数矩阵称为实部半正定（或正定）矩阵，如果对于任意的非零ｎ维四元数列向量ｘ，有Ｒｅ［ｘＡｘ］≥０（或＞０）．本文给出了四元数矩阵方程ＡＸ＝Ｂ有实部半正定（或正定）矩阵解的充要条件及其通解的表达式，并给出了四元数分块阵为实部半正定（或正定）矩阵的一个判别法则     

一类密度估计的收敛速度

ＰｒａｋａｓａＲａｏ在文献［１］中提出一类密度估计ｆｎ（ｘ），我们得到当ｘ固定时ｆｎ（ｘ）－ｆ（ｘ）的ａ．ｓ．收敛速度及ｆｎ（ｘ）正态逼近的Ｂｅｒｒｙ－Ｅｓｓｅｅｎ界，同时，给出ｓｕｐｘ｜ｆｎ（ｘ）－ｆ（ｘ）｜的一致收敛速度     

中立型单种群模型周期正解存在性问题

利用抽象连续的k 集压缩原理研究一类中立型单种群模型[SX(]dN[]dt[SX)]=N(t)［a(t)-β(t)N(t)-b(t)N(t-σ(t))-c(t)N′(t-τ(t))］ 周期正解的存在性问题,得到了周期正解存在性的若干结论,改进和推广了已有的工作     

核为调和方程基本解的积分算子在L2上的紧性

本文给出了以调和方程基本解１ｒ和ｌｎ１ｒ为核的积分算子在Ｌ２（Ω）上的紧性证明     

奇异(n-1,1)共轭边值问题的多重正解

利用锥映射不动点指数定理证明了非线性(n-1,1)共轭边值问题u(n)+a(t)[f(u)+m2u]=0,u(j)(0)=u(1)=0,0≤j≤n-2至少存在两个正解.本文允许a(t)在[0,1]两端点处具有奇性,并允许a(t)在[0,1]某些子区间上恒为零.