凝聚映象的不动点及算子方程Ax+Bx+Cx=x的可解性

按文[1]中方法得到几个对凝聚映象的不动点定理,还扩充文[2]中对于算子方程Ax B x=x到Ax B x Cx=x可解性的某些结论.主要结果是定理2、定理3与定理5.     

关于不等式((shxx))a》chx的研究

利用函数y=shx/x的性质,得到3个定理,改进了文[1]、[2]中相应结果。     

零对称BZ-代数的充要条件

重新证明文[10]中几个重要结论并修正文[10]中的定理1(11)和定理2．在此基础上，利用这些重新证明过的结论及修正过的定理可以按照文[10]中引理3，定理4，定理6，定理7，定理10的证明过程原样证明文[10]中的相应结果．因而在文[10]中，除性质11是结合BZ一代数的等价性质(见文[15])，定理1(11)及定理2需要进行修正外，其余结论及证明过程均成立．     

“关于厄米特矩阵的一个不等式”的几点注记

<正> 文[1]提出并证明了下面的定理.设 A_j,B_j,…,C_j(j=1,2,…,k) 都是正定的同阶 (≥2) 厄米特矩阵,α,β,…,γ都是正实数,且 α+β+…+γ=1,则有sum from i=1 to k|A_j|~α|B_j|~β…|C_j|~γ<|sum from i=1 to k A_i|~α·|sum from i=1 to k B_i|~β…|sum from i=1 to k C_i|~γ.以下几点意见,供参考.第一,文[1]中的引理1和引理2是早有的结果.引理1见[2]p.15,[3]p.16及p.13,引理2是 Minkowski 行列式定理的直接推论,见[4].事实上,文[1]的定理是 H(?)lder 不等式和 Minkowski 行列式定理的自然结果.因为     

一个定理的进一步推广

文[1]给出了一个定理：若f（x）是[a，b]上的增函数，x＋f（x）=m，x＋f^-1（x）=m的两根分别为a，b，则口a＋b=m．     

一阶中立型微分差分方程解的振动性质

在本文中我们研究中立型微分差分方程d/dt[x(t)+sum from i=1 to m(p_ix(t-τ_i))]+sum from i=1 to n(Q_i(t)x(t-σ_i)=0,t≥t_0的解的振动性态。本文推广[1]的诸结果,同时改进[1]的定理3和定理4。     

一个定理的另证与推广

文[1]给出了如下定理： 定理△ABC的内切圆与BC,CA,AB依次相切于点D，E，F，圆心为I，BC=a，CA=b。AB=c。     

“容球旋转体的共性”再探

文[1]、文[2]、文[3]分别给出以下3个定理： 定理1 在存在内切球的前提下，多面体的体积均等于其表面积与相应内切球半径乘积的三分之一．     

一个定理的再推广

文[1]对文[2]中的定理推广为：若方程x＋f（x）=m和x＋f^-1（x）=m的根分别为a，b．则a＋b=m．     

正则带的半格结构

Petrich解决了一般带的构造定理（见[1]或[2]），在此基础上，我们将证明正则带（满足等式axya=axaya的带）的一些特征，并给出一个带为正则带或右似正规带（满足等式xya=xaya的带）的充分必要条件，这些结果是Yamada和Kimura的关于正规带（满足等式axya=ayxa的带）的结果的推广，正规带被他们描述为矩形带的强半格（见[1]或[3]）。     

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

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

三角形广义正弦定理的统一形式

文 [1 ]、[2 ]分别类似于三角形的正弦定理 ,给出了一系列等式 ,并分别称之为“类正弦定理”和“广义正弦定理” .本文试就一般情形 ,利用正弦定理给出了三角形广义正弦定理 (或类正弦定理 )的统一形式 ,作为其特殊情况 ,我们得到了文 [1 ]、[2 ]中的主要结果 .定理　在△ＡＢＣ中 ,设Ａ′、Ｂ′、Ｃ′分别为边ＢＣ、ＣＡ、ＡＢ上的点 ,△ＡＢＣ的外接圆半径为Ｒ ,λ1、λ2 、λ3∈ [0 ,1 ],则有ＡＡ′ｓｉｎＢｓｉｎＣｃｓｃ(λ1Ａ +Ｂ) =ＢＢ′ｓｉｎＣｓｉｎＡｃｓｃ(λ2 Ｂ +Ｃ)= ＣＣ′ｓｉｎＡｓｉｎＢｃｓｃ(λ3Ｃ +Ａ) =2Ｒ (1 )或…     

圆锥曲线上四点共圆的充要条件的行列式证明

本文是[1]的继续.在[1]中,我们利用四阶行列式的特征证明了下面的定理. 定理 设Ai(acosθi,bsinθi)(i=1,2,3,4;0≤θi<2π)是椭圆x2/a2+y2/b2=1(其中a≠b)上互异四点,则四点共圆的充要条件是θ1+θ2+θ3+θ4=2π,4π,6π.     

涉及齐次微分多项式的亚纯函数的唯一性

本文证明了下述定理：设f是复平面内一个非常数的亚纯函数，H(f,f′,…，f^m)表示关于f的次数m≥2，的齐次微分多项式，再设a和b是f的两个判别的有穷小函数，如果f^m=a=(f,f′，…f^m)=a并且f^m=b=H(f,f′，…f^m)=b,那么f^m=H(f,f′,…f^m)，上述定理改进了L.A.Rubel and C.C.Yang[1],顾永兴[2]和方明亮[3]中的有关结果。     

一个换算关系的完善

本刊文 [1 ]给出了如下一个不完善的“定理” :设ＡＢ是圆锥曲线过焦点Ｆ的弦 ,其长度记作ｄ ,ＡＢ相对于焦点所在对称轴的倾角为θ(θ≠90°) ,ｔａｎθ =ｋ,ｅ为离心率 ,ｐ为焦点到相应准线的距离 ,则有ｄ与ｋ的关系式 :ｄ=2ｅｐ(1 +ｋ2 )(1 +ｋ2 ) -ｅ2 或ｋ2 =ｅ2 ｄｄ-2ｅｐ-1 .现用此“定理”解下面一例 .求过双曲线ｘ2 -ｙ23 =1的焦点且斜率为 35的直线被此双曲线截得的长度 (文 [1 ]例 3改编 ) .解　因为ａ=1 ,ｂ =3 ,ｃ=2 ,故ｅ =2 ,ｅｐ=ｂ2ａ =3 ,ｋ =35 .由文 [1 ]“定理”得ｄ=2 ·3 (1 +35 )(1 +35 ) -2 2 =-4.线段ＡＢ的长度…     

非线性抛物型方程组的非局部初边值问题

本文,我们研究下列非线性抛物型方程组的非局部初边值问题k=1,2,…,m.u_k=u_k(x,t),x=(x_1,x_2,…,x_n) 利用Leray-Schauder不动点定理和能量积分,给出了问题(Ⅰ)解的存在唯一性的证明,这些定理和推论,改进了以前的某些结果[1]、[3]。     

关于积分中值定理的中间值

我们知道有下面的 Riemann积分中值定理(见 [1 ,P.1 0 6]) :如 f(x)在 [a,b]上连续 ,那么存在ξ∈ [a,b],使∫baf (x) dx =f(ξ) (b - a) (1 )1 982年 ,Jacobson[2 ]研究了中间点ξ的渐近性质 .他证明了定理 A　如 f(t)在 [a,x]上连续 ,在 a点可微且 f′(a)≠ 0 ,ξx 由 (1 )式所确定 ,那么limx→ aξx - ax - a=12 .1 997年 ,Zhang[3]推广了定理 A,他得到定理 B　设 f (t)在 [a,x]上连续 ,且在 a点 k次可微 ,满足 f( i) (a) =0 ,(i =1 ,2 ,...,k - 1 ) ,f( k) (a)≠ 0 .如ξx由 (1 )式所确定 ,那么 limx→ aξx - ax - a= 1k k 1 .本文…     

一般Hirsch问题

Hirsch问题设UR3,VR2为开集,如果fU→V是C1满映射,则f必须有正则点吗?更一般地,张敦穆[8]提出了一般的Hirsch问题设N,P为cm流形,dimN=n,dimp=P,n＞p,fN→P是C映射(1≤r≤n).当1≤r≤n-P时f必须有正则点吗?本文讨论了这个问题,应用[8]中方法和Norton[5]和Bates[1]的估计,我们得到了定理1和定理2.它们部分地推广了[8]中主要定理.     

一类高阶微分方程第二特征值的上界

本考虑形如（-1）^tD^t(p(x)D^ty)=λ(-D^2)^ry，x∈（a,b），D^ky（a）=D^ky(b)=0,k=0,1,2,…，t-1的第二特征值入λ2的上界问题，得到了定理1和定理2，其中定理1的估计系数与[a,b]无关，定理2的结果在一定条件下比定理1的好。     

关于序数方程(Ⅱ)

§ 1 利用序数正常表示的唯一性,M.Sierp(?)bski証明了方程ξ~2=η~3 1沒有超限的序数解,而方程ξ~2=η~3則有超限序数解。王戍堂与作者曾对前一方程进行了拓广,并对更广的一类序数方程的求解作了研究。本文的目的在于对[3]中的前两个定理与[2]中的方程ξ~2=η~3进行拓广研究。为讀者便利起見,把[3]中的前两个定理写在下面: