一个三角不等式的推广

文 [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 αｉ.证　 …