09/07/29 22:15:26
>>303
a[1],a[2],…,a[n]を、-1以上の数で、かつ、a[k]≧0かa[k]≦0のいずれかが成り立つとする。
このときΠ[k=1,n](1+a[k])≧1+Σ[k=1,n]a[k]
等号成立は、a[k]≠0なるkが高々1個のとき
n=1は自明
(1+a[k])≧0から、Σ[k=1,n]a[k]<-1であれば明らか
以下、Σ[k=1,n]a[k]≧-1とする。
n=2のとき
(1+a[1])(1+a[2])=1+a[1]+a[2]+a[1]a[2]≧1+a[1]+a[2]
等号成立はa[1]=0またはa[2]=0
n=iの場合の成立を仮定して、n=i+1の場合を示す。
Π(k=1,i+1)(1+a[k])≧(1+Σ[k=1,i]a[k])(1+a[i+1])≧(1+Σ[k=1,i+1]a[k])
(∵a[k]≧0のときΣ[k=1,i]a[k]≧0
a[k]≦0のとき0≧Σ[k=1,i]a[k]≧Σ[k=1,i+1]a[k]≧-1)
左の等号成立条件はk=1,2,…,iでa[k]≠0なるkが高々1個であり、
右側の等号成立条件はΣ[k=1,i]a[k]=0またはa[i+1]=0であるから、
(最左辺)=(最右辺)となるのはa[k]≠0なるkが高々1個
(1+x)^n≧1+nxはa[k]=xの特別な場合