17/08/02 22:07:04.56 iuzeTNl6.net
>>361
(1）（a^n)/b^(n-1）は a^(n+1)/(b^n）(n-1)個と a 1個の相乗平均だから明らか。
ついでに、｛a^n，…，a^n，b^n｝で相加-相乗平均すると、
n a^(n+1) + b^(n+1) ≧ (n+1)(a^n)b,
n a^(n+1)/(b^n) ≧（n+1)(a^n)/b^(n-1) - b,
循環的にたすと
n S_(n+1) ≧（n+1)S_n - S_1,
{S_(n+1）- S_1}/(n+1）≧（S_n - S_1)/n,
（S_n - S_1)/n も単調増加。
* (a^n)/b^(n-1）は a^(n+1)/(b^n）(n-1)個と a 1個の相乗平均だが。
(2) a = 1/A、b = 1/B、c = 1/C とおくと…