数列不等式题.已知a[i]>=i,(i=1,2,...,n),a[i]+a[2]+.+a[n}>=[n(n+1)^2]/2.求证：∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])图片我发到我的百度空间那。http://hi.baidu.com/%CA%FD%D1%A7lover/album/item/6ec8d0126f98738aac6e75ce.html#

数列不等式题.已知a[i]>=i,(i=1,2,...,n),a[i]+a[2]+.+a[n}>=[n(n+1)^2]/2.求证：∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])图片我发到我的百度空间那。http://hi.baidu.com/%CA%FD%D1%A7lover/album/item/6ec8d0126f98738aac6e75ce.html#
数列不等式题.
已知a[i]>=i,(i=1,2,...,n),a[i]+a[2]+.+a[n}>=[n(n+1)^2]/2.求证：∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])
图片我发到我的百度空间那。
http://hi.baidu.com/%CA%FD%D1%A7lover/album/item/6ec8d0126f98738aac6e75ce.html#

数列不等式题.已知a[i]>=i,(i=1,2,...,n),a[i]+a[2]+.+a[n}>=[n(n+1)^2]/2.求证：∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])图片我发到我的百度空间那。http://hi.baidu.com/%CA%FD%D1%A7lover/album/item/6ec8d0126f98738aac6e75ce.html#
确实有简洁解法：
首先为了方便表达,设s = a[1]+a[2]+...+a[n].另设w = n(n+1)/2.
则：
sum[i=1..n] (a[i] - i)/(i+sum[ j ≠ i ] a[j] ]
= sum[i=1..n] (a[i] - i) / ( s - (a[i] - i ) )
每个分式加1：
= (sum[i=1..n] s / (s-(a[i]-i) ) ) - n
用Cauchy不等式的一个形式：
sum(a/b) >= (sum(sqrt(a))^2 / sum(b)
则原式
>= (n*sqrt(s))^2 / (n*s - s + w) - n
= (n^2*s)/(n*s - s + w) - n
= (n*s - n*w) / (n*s - (s - w))
因为s - w >= (n(n+1)^2)/2 - n(n+1)/2 = n^2(n+1)/2 = n*w
所以原式>=1.

这个命题是错误的吧？
∵a[i]>=i
∴∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])≥∑i=1 to n（a[i]-i)/(a[i]+∑j≠i a[j])
　　　　　　　　　　　　　 =∑i=1 to n（a[i]-i)/(∑ a[j])
=(∑a[i]-...

全部展开

这个命题是错误的吧？
∵a[i]>=i
∴∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])≥∑i=1 to n（a[i]-i)/(a[i]+∑j≠i a[j])
　　　　　　　　　　　　　 =∑i=1 to n（a[i]-i)/(∑ a[j])
=(∑a[i]-∑i)/(∑ a[j])
=1-∑i)/(∑ a[j])；≥0
得不出你图片上要的结果，就是≥1

收起

这个命题是错误的吧？
∵a[i]>=i
∴∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])≥∑i=1 to n（a[i]-i)/(a[i]+∑j≠i a[j])
　　　　　　　　　　　　　 =∑i=1 to n（a[i]-i)/(∑ a[j])
=(∑a[i]-...

全部展开

这个命题是错误的吧？
∵a[i]>=i
∴∑i=1 to n（a[i]-i)/(i+∑j≠i a[j])≥∑i=1 to n（a[i]-i)/(a[i]+∑j≠i a[j])
　　　　　　　　　　　　　 =∑i=1 to n（a[i]-i)/(∑ a[j])
=(∑a[i]-∑i)/(∑ a[j])
=1-∑i)/(∑ a[j])；≥0
得不出你图片上要的结果，就是≥1 （（（（（（（ 抄袭档羞射出现

收起

∑_{i=1 to n} 1/(i+∑j≠i a[j]) >= ∑_{i=1 to n} 1/(a[i]+∑j≠i a[j]) = 1/∑_{i=1 to n} a[i]
∑_{i=1 to n} （a[i]-i) = ∑_{i=1 to n} a[i]- ∑_{i=1 to n} i = ∑_{i=1 to n} a[i]- n(n+1)/2
∑_{i=1 to n} （a...

全部展开

∑_{i=1 to n} 1/(i+∑j≠i a[j]) >= ∑_{i=1 to n} 1/(a[i]+∑j≠i a[j]) = 1/∑_{i=1 to n} a[i]
∑_{i=1 to n} （a[i]-i) = ∑_{i=1 to n} a[i]- ∑_{i=1 to n} i = ∑_{i=1 to n} a[i]- n(n+1)/2
∑_{i=1 to n} （a[i]-i) /(i+∑j≠i a[j]) >= {1/∑_{i=1 to n} a[i]}* ∑_{i=1 to n} （a[i]-i)
= 1 - n(n+1)/2 * {1/∑_{i=1 to n} a[i]}
>= 1 - n(n+1)/2 * {2/[n(n+1)^2]}
= 1 - 1/(n+1)

收起

好难

看图 

如果看不清，可以先复制，再粘贴到“画图”里面就可以看清了

收起

OK

命题有问题

我想要分，但是我证不出来

就假设i=1，特殊带入，就可以简单证明了；或者把它看成一个等差数列