【摘 要】
：
<正>1999年8月,在江苏省苏州市召开的首届全国不等式研究学术会议上,中国科学院成都计算机应用研究所杨路教授应用他研发的Bottema软件给出以下不等式的一个“机器证明”.
论文部分内容阅读
<正>1999年8月,在江苏省苏州市召开的首届全国不等式研究学术会议上,中国科学院成都计算机应用研究所杨路教授应用他研发的Bottema软件给出以下不等式的一个“机器证明”. 若x,y,z∈R+,则 文[1]中,宋庆先生运用放缩法证明了不等式(1).本文将(1)式作如下推广. 定理设 ai>0,i=1,2,…,n,n≥2,λ≥0,s=a1+a2+…+an,则
其他文献
含有参数的一次函数的最大、最小值问题，是近年来高考和竞赛的热点和难点，解题时必须把含有参数的二次函数：
卡爾敎授是蘇聯吉爾吉斯加盟共和國富有成就的地震??去年突患偏瘫,經中國山西運城焦順發大夫運用頭針療法治療一個月,即恢復了健康,並能從事正?墓ぷ鳌=衲耆率呷?山西運城
记得一九八八年的夏季,第二届韩美林画展开幕那天,我冒雨赶往展览地点——北京中国美术馆。我太想再看看画家笔下的那些可爱的小动物。十年前,当这位还不太为世人所知的画家
探索性问题是一种开放性题型,在近几年的中考试题中已被广泛地采用,成为中考数学命题的一大热点. 探索性问题或由结论去探索未给予的条件;或由条件去探索不明确的结论;或在
貴州省大方縣,適宜漆樹生長,素來被譽爲“生漆之鄕”,是全國生漆生產基地縣之一。大方漆器始於明洪武年間(一三六八——一三九九年),初期,以生產民間杯、盤、碗、罐、瓶、壺
在今年六月台北戲劇季的一系列演出中,最受歡迎的是大陸旅美聲樂家吳霜女士的演唱會,不論是京劇、評劇的選段,還是外國歌曲或中國民歌,她都以其獨具的藝術魅力征服了觀衆,使
<正>数学题中的隐含条件,是指题目中没有直接给出,但却隐含在题目字里行间的条件.这类条件一般可分析出米,且往往在解题中发挥重要作用.为此,本文从三个方面介绍如何挖掘题日