一个根式不等式的推广

1999年8月,在江苏省苏州市召开的首届全国不等式研究学术会议上,中国科学院成都计算机应用研究所杨路教授应用他研发的Bottema软件给出以下不等式的一个“机器证明”. 若x,y,z∈R+,则 文[1]中,宋庆先生运用放缩法证明了不等式(1).本文将(1)式作如下推广. 定理设 ai>0,i=1,2,…,n,n≥2,λ≥0,s=a1+a2+…+an。