(1/2)^k+(1-1/k)^k不等式证明,^是指数阿是对任意的k证明这个不等式成立
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/02 02:05:50
![(1/2)^k+(1-1/k)^k不等式证明,^是指数阿是对任意的k证明这个不等式成立](/uploads/image/z/2618268-60-8.jpg?t=%281%2F2%29%5Ek%2B%281-1%2Fk%29%5Ek%E4%B8%8D%E7%AD%89%E5%BC%8F%E8%AF%81%E6%98%8E%EF%BC%8C%5E%E6%98%AF%E6%8C%87%E6%95%B0%E9%98%BF%E6%98%AF%E5%AF%B9%E4%BB%BB%E6%84%8F%E7%9A%84k%E8%AF%81%E6%98%8E%E8%BF%99%E4%B8%AA%E4%B8%8D%E7%AD%89%E5%BC%8F%E6%88%90%E7%AB%8B)
(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
证毕。
收起