高校数学
0<a<1のとき, 負でない実数x(1), x(2), x(3), …, x(n)に対して
{x(1)+x(2)+…+x(n)}^a≦x(1)^a+x(2)^a+…x(n)^a
であることを証明せよ .
{x(1)+x(2)+…+x(n)}^a≦x(1)^a+x(2)^a+…x(n)^aー(※)
これを数学的帰納法により示す.
(i)n=1のとき(※)は明らかに成り立つ.
(ii)n=2,3,…kのとき(※)が成り立つと仮定する.
n=k+1のとき,
x(1)^a+x(2)^a+…x(k)^a+x(k+1)^a-{x(1)+x(2)+…+x(k)+x(k+1)}^a≧{x(1)+x(2)+…+x(k)}^a+x(k+1)^a-{x(1)+x(2)+…+x(k)+x(k+1)}^a=X^a+x(k+1)^a-{X+x(k+1)}^a
(x(1)+x(2)+…+x(k)=Xとした)
x(k+1)を固定して,これをf(X)とおくと,
f'(X)=aX^(a-1)-a{X+x(k+1)}^(a-1)
x(k+1)≧0より,
X≦X+x(k+1)
⇔ X^(a-1)≧{X+x(k+1)}^(a-1) (∵a-1<0)
⇔aX^(a-1)≧a{X+x(k+1)}^(a-1) (∵0<a<1)
∴ f'(X)≧0
f(0)=0より, f(X)≧0
∴ x(1)^a+x(2)^a+…x(k)^a+x(k+1)^a≧{x(1)+x(2)+…+x(k)+x(k+1)}^a
∴n×k+1のとき(※)は成立.
∴全ての自然数nについて(※)は成立.
添削お願いします.
お礼
ご回答ありがとうございました。 そうですね。Σ〔ｋ＝１～ｎ〕２＾（ｋ－１）＝Σ〔ｋ＝０～ｎ－１〕２＾（ｋ）でした。