某些分析不等式的矩阵类似

对同阶实对称方阵Ａ，Ｂ，若Ａ－Ｂ为半正定，则记为Ａ≥Ｂ．本文对两两可交换的半正定方阵Ａ１，…，Ａｍ，建立了对同阶正定方阵Ａ１，…，Ａｍ（不一定可交换），猜测并对ｋ＝２ｔ（ｔ∈Ｎ）的情形证明了这一猜想．     

Kummer判别法的增补(大学生习作)

<正> Kummer判别法是一个关于正项级数的非常普遍的判别法。本文对此作些补充,使之能用于判别交错级数的敛散性。定理1 设c_1,c_2,…,c_n,…是使级数     

数学奥林匹克问题选登

1.92年8月号问颐解答 (娜答由问厄提供人给出) ”.解今假定欲求数组已找出,a,b,c即是满足除了。相似文献   

专著《几何不等式新进展》的补遗(Ⅰ)(英文)

本文综述了专著 AGI 出版后几何不等式的最新进展,尽可能全面地收集了1987—1990年间的有关文献,更多地反映了中国数学家的工作成果。     

问题征解

问题征解本栏特邀主持人陈计，葛军有关不等式与组合几何的稿件邮送陈计老师（３１５２１，宁波大学应用数学系）．其它稿件邮送葛军老师（２１００２４．南京师范大学数学系）．问题１６３．湖北王振提供设△ＡＢＣ的面积是否．中线是ｍａ，ｍｂ，ｍｃ，角平分线是ｗａ，...     

一个分析不等式的证明

本文证明了陈计提出的一个分析不等式。     

一个新的三角形不等式链

1971年,丹麦数学家A.Base砂’l建立了一个三角形不等式:在△乃劣中,有 600,月匕份及翻C (助厌伪心+伪‘Ccos月+馏南osB(l)1973年洒呜价tzl又将其拓展成: 8C06洲陌留J沁嘴C 、普(。~十cosccOS,十COS、os。)‘李l一cos(。一e)+姗(e一,)+。。(,一。)〕 一乙~、誓(。,晋3‘·号+·‘·号·‘·普+S‘·普S‘·、晋(S;·、;·e+S、·。;·,+S、。,S;·。)卫、:2 (2) 本文中,我们来建立一个与此有关的新的不等式链: 定理在△月淤中.有 27(。。,欣osC十e伪心eosA+cos月c。‘刀)(4(sin伪inC+幻nCsinA十sinAsinl了)2 q曰召一2‘36‘·‘·…     

量词对7种联结词的分配律——计算机自动推理的1个实例

基于MapleVRelease5.1平台,编制了一个通用程序LogicBager.选取30个一元谓词公式,利用这个程序在计算机上自动产生了它们之间所有的等值关系与蕴含关系,从而得到了全称量词与存在量词对合取∧、析取V、等值、蕴含→、析舍↑、合舍↓及排斥或的所有分配律.     

问题征解

有关不等式与组合几何的稿件邮送陈计（３１５２１１，宁波大学数学系；或ｃｈｅｎｄｉ＠ｎｂｕ．ｅｄｕ．ｃｎ），平面几何与数学游戏的稿件邮送叶中豪（２０００３１，上海教育出版社数学编辑室），其它稿件邮送葛军（２１００９７，南京师范大学数学系）．问　题２００．上海田廷彦提供有ｎ（≥４）个人，每个人有一条消息．为让每人均知道所有消息，他们开始互通电话．每次打电话时，双方都把自己知道的所有消息告诉对方．这样，他们至少打２ｎ－４次电话．（责任编辑　叶中豪）解　答１７９．［１９９８，１］天津郭军伟与上海田廷彦…     

一个三角不等式的简证及应用

本文给出锐角△ＡＢＣ中一个不等式：Π（ｓｅｃｋＡ－１）≥（２ｋ－１）３，（ｋ≥１）的简单证明，并说明它的一个应用。