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

证明：(一)证当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
证毕。

用数学归纳法

1