已知数列 满足
则 的最大值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
相邻差非递减,前四个差的平均不能超过全部四百零二个差的平均。
设 ,题设即 。非递减数列的前缀平均不超过整个平均,因此 。故 。取 ,全部条件成立且 ,所以最大值为 。
平均比较可直接由后面每个差不小于前四差的平均证明,不要求差或原项为正。等差构造同时满足第一个值和第403个值。
离散凸性变成差分单调,再用前缀平均控制靠前的某一项。
离散凸性转成相邻差非递减,用前缀平均比较得到锐上界,并构造全局等差数列取等。
核心工具:用导数或作差看单调性
已记下,谢谢!