Question

已知a＞0，b＞0，n＞1，n∈N^*．用數(shù)學(xué)歸納法證明：

an+bn

2

≥(

a+b

2

)n．

Answer 1

分析：用數(shù)學(xué)歸納法證明分為兩個(gè)步驟，第一步，先證明當(dāng)當(dāng)n=2時(shí)，左邊=右邊，第二步，先假設(shè)當(dāng)n=k（k∈N^*，k＞1）時(shí)，不等式成立，利用此假設(shè)證明當(dāng)n=k+1時(shí)，結(jié)論也成立即可．

解答：證明：（1）當(dāng)n=2時(shí)，左邊-右邊=

a2+b2

2

-(

a+b

2

)2=(

a-b

2

)2≥0，不等式成立．（2分）
（2）假設(shè)當(dāng)n=k（k∈N^*，k＞1）時(shí)，不等式成立，即

ak+bk

2

≥(

a+b

2

)k．（4分）
因?yàn)閍＞0，b＞0，k＞1，k∈N^*，
所以（a^k+1+b^k+1）-（a^kb+ab^k）=（a^k-b^k）（a-b）≥0，于是a^k+1+b^k+1≥a^kb+ab^k．（6分）
當(dāng)n=k+1時(shí)，(

a+b

2

)k+1=(

a+b

2

)k•

a+b

2

≤

ak+bk

2

•

a+b

2

=

ak+1+bk+1+akb+abk

4

≤

ak+1+bk+1+ak+1+bk+1

4

=

ak+1+bk+1

2

．
即當(dāng)n=k+1時(shí)，不等式也成立．（9分）
綜合（1），（2）知，對(duì)于a＞0，b＞0，n＞1，n∈N^*，不等式

an+bn

2

≥(

a+b

2

)n總成立．
（11分）

點(diǎn)評(píng)：本題主要考查數(shù)學(xué)歸納法，數(shù)學(xué)歸納法的基本形式
設(shè)P（n）是關(guān)于自然數(shù)n的命題，若1°P（n₀）成立（奠基）
2°假設(shè)P（k）成立（k≥n₀），可以推出P（k+1）成立（歸納），則P（n）對(duì)一切大于等于n₀的自然數(shù)n都成立