Stirling公式在一个乘积不等式中的应用

定理　令Ｐｎ =1 +11 1 +131 +15 … 1 +12ｎ- 1 ,则πｎ - 16πｎ ≤Ｐｎ≤πｎ +16πｎ为此我们引入Ｓｔｉｒｌｉｎｇ公式 :1 · 2 · 3·… ·ｎ=2πｎｎｎｅ-ｎ+θ1 2ｎ　 (0 <θ <1 )现在我们来给出定理的证明 :因Ｐｎ =1 +11 1 +13 1 +15 … 1 +12ｎ - 1=2· 4· 6 ·… · 2ｎ1 · 3· 5 ·… · (2ｎ- 1 )=(2 ｎ· 1· 2 · 3 ·… ·ｎ) 21 · 2 · 3· 4·… · 2ｎ=2 ｎ· 2πｎｎｎｅ-ｎ+θ1 1 2ｎ 24πｎ(2ｎ) ｎｅ- 2ｎ+θ22 4ｎ(0 <θ1 <1 ,0 <θ2 <1 )=πｎｅ11 2ｎ θ1 -θ22记ｔ=11 2ｎ θ1 - θ22 则 ｜ｔ｜ <1则 :Ｐｎ-…     

规范矩阵乘积迹的一个不等式

本文给出规范矩阵乘积迹的一个新的更强的不等式,推广了陈道琦先生1988年得到的一个著名结果。     

一个平均值不等式

关于ｎ个正数ａ1、ａ2 、…、ａｎ 的调和平均值Ｈ(ｎ)、几何平均值Ｇ(ｎ)、算术平均值Ａ(ｎ)与平方幂平均值Ｓ(ｎ)的不等式链Ｈ(ｎ)≤Ｇ(ｎ) ≤Ａ(ｎ) ≤Ｓ(ｎ)是大家比较熟悉的 .本文介绍笔者近期发现的一个不等式ｎａａ1 1ａａ22 …ａａｎｎ ≥Ｇ(ｎ) Ａ(ｎ) ( )当且仅当ａ1=ａ2 =… =ａｎ 时取等号 .为述说与书写的简便 ,称上式左端为ｎ个正数的自幂几何平均值 ,记为Ｚ(ｎ) .1　发现中学课本中有这样一证明题 :若ａ、ｂ >0 ,则ａａｂｂ ≥ａｂｂａ此不等式易证 ,两端同乘以ａａｂｂ 得(ａａｂｂ) 2 ≥ａａ+ｂ·ｂａ+ｂ =(ａｂ) ａ+ｂ所…     

一个不等式的证明

文[1]给出了问题：设a0,a1,a2,…满足a0=1/2,ak+1=ak+1/nak^2(k=0,1,2,……）,其中n是某个固定的正整数，求证：1-1/n&;lt;an&;lt;1。     

关于Hermite矩阵乘积的迹的一个不等式

关于Ｈｅｒｍｉｔｅ矩阵乘积的迹的一个不等式陶跃钢（湖北教育学院４３００６０）定理设Ａ，Ｂ均为ｎ阶Ｈｅｒｍｉｔｅ矩阵，其特征值分别为则。ｒ（Ａ）三Ｚ。ｌ。。·ｌ＝１文山在Ａ正定的条件下证得上述定理，并由此给出了Ｈｏｆｆｍａｎ——Ｗｉｅｌａｎｄｔ定理的一...     

一类乘积形式的离散不等式及其应用

该文在文献[2]的基础上,研究了一类新的乘积形式的离散不等式.把参考文献中不等式右端第一个因子中包含的未知函数u推广成未知函数的幂函数u~2,运用变量替换技巧、放大技巧、微分中值定理、反函数技巧、常量与变量的辩证关系,给出了不等式中未知函数的估计.最后,阐述了所得的结果可以用来给出乘积形式差分方程解的绝对值的上界估计.     

等差数列的一个不等式

本文给出最近发现的一个关于正项等差数列的一个不等式 ,并举列说明它在解决一些用数学归纳法证明异常困难的一类问题上的有效性 .定理　设数列 {ａｎ}是等差数列 ,ａｉ>0(ｉ=1 ,2 ,…,ｎ) ,公差为ｄ ,且 0≤ｄ≤ 1 ,则对任意的正整数ｋ ,有 ｎｉ=1ａ1ｋｉ ≥ ｋｋｄ 1 [ａｎａ1ｋｎ -1- (ａ1-ｄ)ａ1ｋ1](1 )成立 ,当且仅当ｋ =ｄ =1时等号成立 .为方便定理证明 ,先证如下两个引理 :引理 1　设 0≤ｄ≤ 1 ,ａ >0 ,则对任意的正整数ｋ ,有(1 1ｋａ) ｋ≥ 1 ｄａ (2 )成立 ,当且仅当ｋ =ｄ =1时等号成立 .证　根据二项式定理 ,有(1 1ｋａ)…     

一个三角不等式的推广

文 [1]证明了“若α ,β ,γ为正锐角 ,且ｓｉｎ2 α ｓｉｎ2 β ｓｉｎ2 γ =1,求证 :α β γ <π2 ”后 ,作了本题的上界估计 .若α ,β ,γ为正锐角 ,且ｓｉｎ2 α ｓｉｎ2 β ｓｉｎ2 γ =1,求证α β γ≤ 3ａｒｃｓｉｎ 13.文 [1]未对其进行证明 ,现将该不等式作如下推广 .定理　若α1,α2 ,… ,αｎ(ｎ≥ 3)为正锐角 ,且 ｎｉ=1ｓｉｎ2 αｉ=1,则 ｎｉ=1αｉ≤ｎａｒｃｓｉｎ 1ｎ.引理　若α1,α2 ,… ,αｎ(ｎ≥ 2 )均为正锐角 ,并且它们的两两之和也为正锐角 ,则ｓｉｎ2 1ｎ ｎｉ=1αｎ≤ 1ｎ ｎｉ=1ｓｉｎ2 αｉ.证　 …     

平均值不等式的证明及其应用

n n n设 a1,a2,…,an为正数,若∏i＝1 ai ＝1或∑i＝1 ai ＝1,借助数学归纳法可相应地证明∑ai ≥ n或i＝1 n nn∏ai ≤1．这两个不等式可用于证明平均值不等式,并由此得出三者相互等价．实例说明平均值不等式在求数列极限方面的应用． i＝1     

一个特殊乘积的逆的矩阵不等式的加强

将两个正定矩阵的Khatri-Rao乘积的矩阵不等式(A*B)^-1≤A^-1*B^-1推广为(A*B)^-1≤（A^-1(α）^-1*B(α））^-1 (A(α′）*B^-1(α′）^-1)^-1≤（A^-1（α）*B（α）^-1) (A(α′）^-1*B^-1(α′））≤A^-1*B^-1,其中A(α）是A的顺序主子矩阵，而A（α′）是A（α）的余子矩阵，同时还给出了其等式成立的充分必要条件。     

正定矩阵的Hadamard乘积的一个矩阵不等式的精细

周知的正定矩阵A和B的Hadamard乘积矩阵不等式 :(A B) -1 ≤A-1 B-1 被精细为(A B) -1 ≤diag((A-1 (α) -1 B(α) ) -1 ,(A(α′) B-1 (α′) -1 ) -1 ) ,≤diag(A-1 (α) B(α) -1 ,A(α′) -1 B-1 (α′) )≤A-1 B-1 ,这里A(α)是A的主子矩阵且α′是α的补序列 ;同时给出了这些不等式的等式成立的充分必要条件     

一个不等式的几种新证

2006年高考江西卷(理)压轴题为: 已知数列{an}满足;a1=3/2,且an=3nan-1/2ab-1+n-1(n≥2,n∈N*). (Ⅰ)求数列{an)的通项公式; (Ⅱ)证明:对一切正整数n,不等式a1a2…an＜2·n!恒成立.     

矩阵Hadamard乘积的不等式

本文运用矩阵 Hadamard乘积及控制不等式的性质 ,获得了若干 Hermite及斜 Hermite矩阵特征值的不等式     

关于一个半正定矩阵的Khatri-Rao乘积的不等式的讨论

得到的一个矩阵乘积不等式及其逆向不等式．应用这些结果，把一个半正定矩阵Khatri-Rao乘积的不等式推广到实对称矩阵．并给出了它的逆向不等式及其等式条件．     

指数和的不等式

指数和的不等式是指形如∑ｎｉ＝１ａｉｂｒｉ≤∑ｎｉ＝１ａｉｂｉ（１）的不等式，其中０＜ａ１＜…＜ａｎ＜∞，０＜ｂ１＜…＜ｂｎ＜∞，（ｒ１，ｒ２，…，ｒｎ）是（１，２，…，ｎ）的任何置换．今年春节过后不久，陈希孺院士向他的学生们指出一个挑战性的问题：对...     

用数学归纳法证明一类不等式的技巧

对于一边是常数的数列不等式，在用数学归纳法直接证明时，归纳过渡往往有一定的困难，若利用不等式的传递性、可加性等性质，通过强化命题，放缩常数等技巧，就可顺利完成归纳过渡，下面举例说明．     

一个代数不等式及其应用

本文拟给出一个代数不等式,并探讨它的一些应用． 命题设n≥b,x≥y,     

四元数自共轭矩阵乘积的特征值不等式

由于四元数对乘法无交换律,因而对四元数自共轭矩阵的特征值问题的讨论比复数矩阵的相应问题要困难得多,文[1]、[2]分别对四元数自共轭矩阵的特征值和两个四元数自共轭矩阵乘积的特征进行了估计,做了一定的工作,但与复数域上的有关结果相比较,还有较大差距.本文对四元数自共轭矩阵乘积的特征值进行了探讨.得到了较好的结论,推广了[1]、[2]中的结果。     

浅谈柯西不等式的证明及应用

柯西(Cauchy)不等式(a1b1 a2b2 … anbn)2≤(a12 a22 … an2)(b12 b22 … bn2)(ai,bi∈R,i=1,2…,n),当且仅当a1b1=a2b2=…=anbn时等号成立.现将它的证明介绍如下:证明1(构造法):构设二次函数f(x)=(a1x b1)2 (a2x b2)2 … (anx bn)2=(a12 a22 … an2)x2 2(a1b1 a2b2 …anbn)x (b12 b22 … bn2),∵a12 a22 … an2>0,f(x)≥0恒成立,∴△=4(a1b1 a2b2 … anbn)2-4(a12 a22 … an2).(b12 b22 … bn2)≤0,即(a1b1 a2b2 … anbn)2≤(a12 a22 … an2)(b12 b22 … bn2),当且仅当aix bi=0(i=1,2,…,n),即a1b1=a2b2=…=anbn时等号成立.证明2(数学归纳…