求助一道看起来很简单的证明题

学术版

举个例子:当n=7时,一个取等的构造是A为4,3,5,2,6,1,7。此时相邻两项差的绝对值恰好依次为为1,2,3,4,5,6符合要求。显然对于任意的n这种构造总是成立的。问题是如何证明总和不能更大。
by xxk2006 @ 2024-04-21 22:46:15


对 $n$ 数学归纳: $n=2$ 时显然成立。 设对 $k$ 时成立,则我们试着将 $k+1$ 加到这个排列里,…然后就不会了
by Forgotten_0x1328FB6 @ 2024-04-21 23:15:46


@[xxk2006](/user/341619) 考虑阈值 $x=\dfrac n2$,假设我们的序列要满足所有奇数位置 $\le x$,偶数位置 $>x$。 那么这个时候偶数的位置上的数永远大于奇数的位置,那么绝对值就可以拆开,变为**二倍的**所有大于 $x$ 的数减去所有不超过 $x$ 的数(注意 $n$ 是奇数和偶数的时候分别需要减去一个奇数和一个偶数)。 然后因为我们这个之后到底放奇数还是偶数是可以交换的,所以我们尽量让减去的那个数是 $1$,就完成了证明。
by ACaCaca_ @ 2024-04-22 06:58:01


@[ACaCaca_](/user/320423) 可以更详细一点吗?我数学比较菜。谢谢!
by xxk2006 @ 2024-04-22 19:34:01


捞,有没有大佬能看一看。感觉需要一个tricky的技巧
by xxk2006 @ 2024-04-27 22:43:39


|