应用优超理论推广单形Finsler-hadwiger型不等式

应用优超理论,在Ｅｎ 中ｎ 维单形及其ｋ（１ ≤ｋ≤ｎ － １）维子单形体积、内径、外径、旁切超球半径之间给出Ｆｉｎｓｌｅｒ－ ｈａｄｗｉｇｅｒ 型不等式的几种推广形式．     

初等对称函数差的Schur凸性

讨论了初等对称函数差Ｅｋ（ｘ）－ Ｅｋ－ １（ｘ）在ｎ 维单形Ωｎ＝ ｛ｘ＝ （ｘ１,…,ｘｎ）∈Ｒｎ＋ ：Ｅ１（ｘ）≤１｝和ｎ 维立方体Ω′＝ ｛ｘ＝ （ｘ１,…,ｘｎ）∈Ｒｎ＋ ：０≤ｘｉ≤１,ｉ＝ １,…,ｎ｝上的Ｓｃｈｕｒ凸性．     

关于单形的k—超切球的一些结果

首先给出了ｎ维单形的ｋ－超切球的概念,它统一定义了ｎ维单形的外接超球、棱切超球、…、内切超球。获得了ｎ维单形存在ｋ－超切球的充分必要条件。应用著名的度量方程,给出了ｋ－超切球半径的计算公式。将“弱度量加”运算用于存在ｋ－超切球的单形中,获得了一类涉及ｎ维单形体积和ｋ－超切球半径的几何不等式,这些结果蕴含了文「５,１４,１５,１９」等的主要结果。     

高维Pedoe不等式的加强推广

本文对欧氏空间Ｅ＾ｎ中的两个ｎ维单形，给出了著名的Ｐｅｄｏｅ不等式的一个加强推广。     

对一个不等式的探究

文 [1]将不等式 :设ａ1,ａ2 ,ａ3,ａ4 ∈Ｒ ,求证 :ａ31ａ2 ａ3 ａ4 ａ32ａ3 ａ4 ａ1 ａ33ａ4 ａ1 ａ2 ａ34ａ1 ａ2 ａ3≥ (ａ1 ａ2 ａ3 ａ4 ) 212 ,推广为　　设ａ1,ａ2 ,ａ3,… ,ａｎ ∈Ｒ ,且ａ1 ａ2 ａ3 … ａｎ =ｓ.则有ａ31ｓ -ａ1 ａ32ｓ -ａ2 … ａ3ｎｓ -ａｎ ≥ ｓ2ｎ(ｎ - 1) (ｎ ≥ 3)(1)　　笔者通过对不等式 (1)的探究 ,得到以下命题　设ａｉ ∈Ｒ (ｉ =1,2 ,… ,ｎ ,ｎ≥ 3) ,且∑ｎｉ=1ａｉ =ｓ.如果ｍ ,ｋ满足下列条件之一 :(1)ｋ=0 ,ｍ≥ 1;(2 )ｋ=ｍ≥ 1或ｋ=ｍ ≤ 0 ;(3)ｋ>0 ,ｍ ≤ 0 ;(4 ) 0 <ｋ≤ 1,ｍ…     

用构造法证明数列型恒等式和不等式

对于数列型恒等式和不等式的证明 ,通常都采用数学归纳法 ,但如果用构造数列的方法来证明 ,往往更简洁 ,并且也容易被学生所接受 .1　“ａ1 ａ2 ａ3 … ａｎ ≤Ｓｎ(或≥Ｓｎ)”型对这种类型的恒等式和不等式 ,可以构造数列{ｂｋ} ,使得ｂｋ =Ｓｋ-Ｓｋ- 1(规定Ｓ0 =0 ) ,这样 ,ｂ1 ｂ2 ｂ3 … ｂｎ =(Ｓ1-Ｓ0 ) (Ｓ2 -Ｓ1) (Ｓ3-Ｓ2 ) … (Ｓｎ-Ｓｎ- 1) =Ｓｎ.对ｋ∈Ｎ ,如果有ａｋ ≤ｂｋ(或ａｋ ≥ｂｋ) ,那么ａ1 ａ2 ａ3 … ａｎ ≤Ｓｎ(或≥Ｓｎ)成立 .例 1　 (1993年全国高考题改编 )证明 8· 112 · 32 8· 232 · 52 …     

关于线性非齐次差分方程的一个解法

关于线性非齐次差分方程的一个解法陈秋莲（江苏省镇江师范专科学校，江苏镇江，２１２００３）０引言考虑常系数线性非齐次差分方程ｙ（ｎ＋ｋ）＋ａ１ｙ（ｎ＋ｋ－１）＋…＋ａｋ－１ｙ（ｎ＋１）＋ａｋｙ（ｎ）＝ｆ（ｎ），ｎ＝０，１（１）其中ａｊ（１≤ａｊ≤ｎ）...     

证明不等式的又一方法—排序法

排序原理设有两组有序实数：ａ１≤ａ２≤…≤ａｎ,ｂ１≤ｂ２≤…≤ｂｎ（ｎ≥２）,若Ｍ＝ａ１ｂ１＋ａ２ｂ２＋…＋ａｎｂｎ,Ｎ＝ａ１ｂｎ＋ａ２ｂｎ－１＋…＋ａｎｂ１,Ｑ＝ａ１ｂｉ１＋ａ２ｂｉ２＋…＋ａｎｂｉｎ,式中ｂｉ１,ｂｉ２,…,ｂｉｎ是ｂ１,ｂ２,...     

关于布尔矩阵行空间基数的连续分布状况

设Ｂｎ表示所有的ｎ阶布尔矩阵的集合,Ｒ（Ａ）表示Ａ∈Ｂｎ的行空间,｜Ｒ（Ａ）｜表示Ｒ（Ａ）的基数,设ｍ,ｎ,ｋ,ｒ为正整数,本文证明了（１）当ｎ≥１３为奇数且ｎ＋５２≤ｋ≤ｎ－３时,对于任意ｍ∈［２ｋ,２ｋ＋２ｎ－ｋ＋１＋２ｎ－ｋ＋…＋２１＋２０］,存在Ａ∈Ｂｎ,使得｜Ｒ（Ａ）｜＝ｍ;（２）当ｎ≥１４为偶数时,对于任意ｍ∈［２ｎ２＋２＋２ｎ２＋１,２ｎ２＋２＋２ｎ２＋１＋２ｎ２－２＋２ｎ２－３＋…＋２１＋２０］或［２ｎ２＋２＋２ｎ２＋１＋２ｎ２－１＋２ｎ２－２＋…＋２ｎ２－ｒ,２ｎ２＋２＋２ｎ２＋１＋２ｎ２－１＋２ｎ２－２＋…＋２ｎ２－ｒ＋２ｎ２－ｒ－２＋２ｎ２－ｒ－３＋…＋２１＋２０］（其中１≤ｒ≤ｎ２－４）,都存在Ａ∈Ｂｎ,使得｜Ｒ（Ａ）｜＝ｍ     

涉及单形内点到侧面的距离的两个不等式

作者在本文中给出了涉及单形内点到各侧面的距离ｄｉ（ｎ＝１，２，…，ｎ＋１），内切球半径ｒ以及外接球半径Ｒ的两个几何不等式，此外，作者还提出了一个猜想。     

“消元——配方法”巧证一类非齐次不等式

对于在条件ｘ＋ｙ＋ｚ＝ｋ下的一类三元非齐次条件不等式,其证明方法甚多,但都颇具难度,不易掌握．本文提出“消元—配方法”,即通过消元：ｘ＋ｙ＝ｋ－ｚ;ｘｙ≤１４（ｘ＋ｙ）２＝１４（ｋ－ｚ）２,将原不等式化归为只含一个元素ｚ的一元三次不等式,然后利用配方法、比较法统一地予以巧证．该方法规律性强,便于掌握,对证明这类非齐次条件不等式十分有效．现举例说明．１　证仅含ｘｙ＋ｙｚ＋ｚｘ,ｘｙｚ及常数项的不等式例１　已知ａ,ｂ,ｃ皆非负实数,且ａ＋ｂ＋ｃ＝１,试证：ａｂ＋ｂｃ＋ｃａ－９４ａｂｃ≤１４．（《数学…     

也谈Finsler-Hadwiger和Neuberg-Pedoe不等式的高维推广和加强

本文对欧氏空间En中的n维单形和它的k（l≤k≤n-1）维子单形,给出了著名的Finsler－Hadwiger不等式、Neuberg－Pedoe不等式、彭家贵不等式以及Euler不等式的高维推广和加强．     

一个推广不等式的两种证法

文 [1]作者用均值换元法证明了两个简单的条件不等式问题 ,并给出了四个推广 .其实 ,我们可以给出它的一个统一推广 ,并用中学生熟悉的柯西不等式 (∑ｎｉ=1ａｉｂｉ) 2 ≤ ∑ｎｉ=1ａ2 ｉ·∑ｎｉ=1ｂ2 ｉ、向量的数性积不等式 ａ· ｂ≤｜ ａ｜｜ ｂ｜及函数的单调性等知识就可简洁证明 .推广　已知 ∑ｎｉ=1ａｉ =ｋ ,且ａｉ ≥ 0 (ｉ=1,2 ,… ,ｎ) ,ｋ >0 ,ｌ>0 ,ｍ >0 ,则ｌｋ ｍ (ｎ- 1) ｍ ≤ ∑ｎｉ =1ｌａｉ ｍ≤ ｎ(ｌｋ ｎｍ) .证法 1　先证右边不等式 ,用柯西不等式 ,∵ ∑ｎｉ=1ｌａｉ ｍ =∑ｎｉ=1ｌａｉ ｍ· 1≤ ∑ｎｉ=…     

高维单形的一类几何不等式

本文利用Ｌａｇｒａｎｇｅ乘数法,证明关于ｎ维单形的一类几何不等式,作为应用, 给出欧氏平面上关于三角形的Ｒ．Ｒ．Ｊａｎｉｃ不等式的高维推广．     

杨图的分割与对称群S_n表示的约化

对称群Ｓｎ的不可约表示Г（ｆ１，ｆ２，．．．，ｆｎ）与杨图Ｔ（ｆ１．ｆ２，．．．，ｆｎ）之间存在着１－１对应．由对称群的分支规则给出杨图的分割线段，从而用分割杨图的几何方法确定Ｓｎ的任意一个不可约表示在Ｓｎ－ｋ（１≤ｋ＜ｎ）中的约化结果．     

一类不等式的特殊解法

“不等式”是客观事物中“不等”现象的抽象和解析表达,是中学教学中难度较大的内容之一,也是饶有趣味和掌握后会大有收获的重要知识．本文探索一类不等式的一些特殊解法．例１ 若θ∈〔０ ,π２〕 ,不等式ｓｉｎ２θ +ｋｓｉｎθ -２ｋ＞０恒成立,求实数ｋ的取值范围．解法１ （常规解法）设ｔ＝ｓｉｎθ ,ｔ∈〔０ ,１〕 ,则ｆ（ｔ）＝ｔ２ +ｋｔ -２ｋ＝（ｔ + ｋ２）２ - ｋ２４ -２ｋ,ｔ∈〔０ ,１〕 .（Ⅰ）当 - ｋ２ ≤０,即ｋ≥０时,ｆ（０）＞０,即-２ｋ＞０ ,∴ｋ＜０,与ｋ≥０比较,此时无解 （Ⅱ）当０＜ - ｋ２ ≤１…     

不等式２（√ｎ＋１—√ｎ）〈１／√ｎ〈２（√ｎ—√ｎ—１）的推广

设ｎ∈Ｎ，则有２（√ｎ＋１－√ｎ）＜１／√ｎ＜２（√ｎ－√ｎ－１）的推广。这是中学数学中一个熟知的不等式，它的一个熟知的用法是推出２（√ｎ＋１－１）＜∑ｉ＝１＾ｎ　１√ｉ＜２√ｎ－１（ｎ≥２时），进而可用于判断∑ｉ＝１＾ｎ　１／√ｉ的整数部分等，本文将给出（１）的一种推广。     

两个有趣的不等式

阅读文［１］例５－２７时,产生两个联想．命题１　π２６－１ｎ＜∑ｎｋ＝１１ｋ２＜π２６－１ｎ＋１（ｎ∈Ｎ）．证明：由∑∞ｋ＝１１ｋ２＝π２６,有π２６＝∑ｎｋ＝１１ｋ２＋∑∞ｋ＝ｎ＋１１ｋ２＜∑ｎｋ＝１１ｋ２＋∑∞ｋ＝ｎ＋１１（ｋ－１）ｋ＝∑ｎｋ＝１１ｋ２＋１ｎ,得　　π２６－１ｎ＜∑ｎｋ＝１１ｋ２．又　　π２６＝∑ｎｋ＝１１ｋ２＋∑∞ｋ＝ｎ＋１１ｋ２＞∑ｎｋ＝１１ｋ２＋∑∞ｋ＝ｎ＋１１ｋ（ｋ＋１）＝∑ｎｋ＝１１ｋ２＋１ｎ＋１,得　　∑ｎｋ＝１１ｋ２＜π２６－１ｎ＋１．综上得命题１成立．命题２　…     

一个不等式的应用

定理　设ａｉ,ｂｉ 为正数 (ｉ=1,2 ,… ,ｎ) ,则ｎ ∏ｎｉ =1(ａｉ ｂｉ) ≥ｎ ∏ｎｉ=1ａｉ ｎ ∏ｎｉ=1ｂｉ,( )等号当且仅当ａｉ=λｂｉ (λ为常数 ,ｉ =1,2 ,… ,ｎ)时成立 .证　由算术———几何平均不等式 ,有ｎ ∏ｎｉ =1ａｉａｉ ｂｉ ｎ ∏ｎｉ =1ｂｉａｉ ｂｉ≤ 1ｎ ∑ｎｉ =1ａｉａｉ ｂｉ 1ｎ ∑ｎｉ=1ｂｉａｉ ｂｉ=1ｎ ∑ｎｉ =1ａｉａｉ ｂｉ ｂｉａｉ ｂｉ=1ｎ ·ｎ =1,　　∴　ｎ ∏ｎｉ =1(ａｉ ｂｉ)≥ｎ ∏ｎｉ=1ａｉ ｎ ∏ｎｉ=1ｂｉ,等号当且仅当ａ1 ａ1 ｂ1=ａ2ａ2 ｂ2=… =ａｎａｎ ｂｎ,ｂ1 ａ1 ｂ1=ｂ2…     

单位根在计算三角函数连乘积中的应用

首先给出单位根的一个重要性质：性质１设ｎ∈Ｎ且ｎ＞１,εｋ＝ｃｏｓ２ｋπｎ＋ｉｓｉｎ２ｋπｎ（ｋ＝,０,１,２…,ｎ－１）是ｎ次单位根,则有εｋ＝εｎ－ｋ．（１）证事实上,有εｋ＝ｃｏｓ２ｋπｎ－ｉｓｉｎ２ｋπｎ＝ｃｏｓ２（ｎ－ｋ）πｎ＋ｉｓｉｎ２（...