(1/2)^k+(1-1/k)^k不等式证明,^是指数阿是对任意的k证明这个不等式成立

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/05 20:46:45

(1/2)^k+(1-1/k)^k不等式证明,^是指数阿是对任意的k证明这个不等式成立
(1/2)^k+(1-1/k)^k
不等式证明,^是指数阿
是对任意的k证明这个不等式成立

(1/2)^k+(1-1/k)^k不等式证明,^是指数阿是对任意的k证明这个不等式成立
1

用数学归纳法

证明:(一)证当k为≥1的正整数时,(k-1)^k≤1/2[k^k-k^(k-1)]
把(k-1)^k按二项式定理展开,有
(k-1)^k=k^k-C(k,1)*k^(k-1)+C(k,2)*k^(k-2)-C(k,3)*k^(k-3)+...+C(k,i)*(-1)^i*k^(k-i)+...+(-1)^k
=C(k,2)*k^(k-2)-C(k,3)*k^(k-3)+....

全部展开

证明:(一)证当k为≥1的正整数时,(k-1)^k≤1/2[k^k-k^(k-1)]
把(k-1)^k按二项式定理展开,有
(k-1)^k=k^k-C(k,1)*k^(k-1)+C(k,2)*k^(k-2)-C(k,3)*k^(k-3)+...+C(k,i)*(-1)^i*k^(k-i)+...+(-1)^k
=C(k,2)*k^(k-2)-C(k,3)*k^(k-3)+...+C(k,i)*(-1)^i*k^(k-i)+...+(-1)^k
=C(k,2)*k^(k-2)-[C(k,3)*k^(k-3)-C(k,4)*k^(k-4)]-...-[C(k,i)*k^(k-i)-C(k,i+1)*k^(k-i-1)]-...
注意展开式的各项是正负交替的,如果k为偶数,则最后一项为-[C(k,k-1)*k-1],如果k为奇数,则最后一项单独是-1。
当k≥1,0≤i≤k-1时
因为[C(k,i)*k^(k-i)]/[C(k,i+1)*k^(k- i -1)]=k*(i+1)/(k-i)≥1
所以C(k,i)*k^(k-i)-C(k,i+1)*k^(k- i -1)≥0
于是(k-1)^k≤C(k,2)*k^(k-2)=1/2[k^k-k^(k-1)]
(二)、当k为≥1的正整数时,显然有2^k≥2*k,于是1/2^k≤1/(2*k)
(三)、(1/2)^k+(1-1/k)^k=1/2^k+(k-1)^k/(k^k)
≤1/(2*k)+{1/2[k^k-k^(k-1)]}/(k^k)=1/(2*k)+1/2-1/(2*k)=1/2
证毕。

收起