关于区间上特定余弦和式非恒常性的一般情形证明问询

嗨，这个问题确实很有挑战性，n=2的时候一眼就能看出来，但n更大时要排除那些“完美抵消”的可能性，得从解析函数的性质或者导数的渐近行为入手，我来分享几个可行的思路：

首先，先明确我们的目标：要证明 ( S(x) = \sum_{1\le i < j \le n} \cos\left(c(x^i - x^j)\right) ) 在区间 ([a,b])（(a>1, c\neq0)）上不可能恒为常数。

思路一：利用解析函数的唯一性定理 #

首先，( S(x) ) 是解析函数——因为余弦函数是指数函数的线性组合，而 ( x^i ) 在 ( x>0 ) 区域内解析，两者复合后依然保持解析性。根据解析函数的唯一性：如果一个解析函数在某个开区间上恒为常数，那么它在整个定义域（这里是 ( x>0 )）上都必须是常数。

那我们只需要证明 ( S(x) ) 在 ( x>0 ) 上不可能是常数就行：
当 ( x \to +\infty ) 时，对于任意 ( i>j )，( x^i - x^j = x^j(x{i-j} - 1) ) 会趋向正无穷，因此 ( c(x^i - x^j) ) 会趋向正无穷或负无穷（取决于 ( c ) 的符号），对应的 ( \cos\left(c(x^i - x^j)\right) ) 会在 ([-1,1]) 上持续振荡。
关键是这些振荡项的频率差异极大：对于不同的 ((i,j)) 对，相位 ( c(x^i - x^j) ) 的变化率（导数）是 ( c(i x^{i-1} - j x^{j-1}) )，当 ( x ) 足够大时，这个变化率的主导项是 ( c i x^{i-1} )（( i>j )），不同 ( i ) 对应的主导项增长速度完全不同——比如 ( i=n ) 的项，变化率是 ( O(x^{n-1}) )，远快于 ( i=n-1 ) 对应的 ( O(x^{n-2}) )。这种“渐近非 commensurate”的振荡项之和，不可能在整个 ( x>0 ) 上保持恒定，这就和解析函数唯一性导出的“全定义域为常数”矛盾，因此 ( S(x) ) 不可能在 ([a,b]) 上恒为常数。

思路二：通过导数非恒零导出矛盾 #

如果 ( S(x) ) 在 ([a,b]) 上恒为常数，那么它的一阶导数在区间上必须恒为0。我们先计算导数：
[
S'(x) = -c \sum_{1\le i<j\le n} \left(i x^{i-1} - j x^{j-1}\right) \sin\left(c(x^i - x^j)\right)
]
现在看这个导数的最高阶主导项：当 ( x ) 足够大时，( i=n, j=n-1 ) 对应的项是最“突出”的——它的系数是 ( n x^{n-1} - (n-1)x^{n-2} = x^{n-2}(n x - (n-1)) )，当 ( x \to +\infty ) 时这个系数会趋向正无穷；而对应的 ( \sin\left(c(x^n - x^{n-1})\right) ) 呢？因为 ( x^n - x^{n-1} ) 在 ( x>1 ) 时是严格递增函数（导数为正），( c\neq0 ) 所以 ( c(x^n - x^{n-1}) ) 严格单调，因此这个正弦项不可能恒为0，它会在 ([-1,1]) 上持续振荡。

这就意味着，当 ( x ) 足够大时，( S'(x) ) 中这一项的绝对值会趋向无穷大，完全不可能被其他增长更慢的项抵消为0。这就和“导数恒为0”的假设矛盾，因此 ( S(x) ) 不可能是常数。

补充：用复数形式改写和式辅助分析 #

我们也可以用余弦的复数展开式改写 ( S(x) )：
[
\cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2}
]
代入后 ( S(x) ) 可以写成：
[
S(x) = \frac{1}{2} \sum_{i<j} \left( e^{i c(x^i - x^j)} + e^{-i c(x^i - x^j)} \right)
]
进一步整理能得到：
[
S(x) = \frac{1}{4} \left[ \left( \sum_{k=1}^n e^{i c x^k} \right)^2 + \left( \sum_{k=1}^n e^{-i c x^k} \right)^2 - 2n \right]
]
如果 ( S(x) ) 是常数，那么 ( \left( \sum_{k=1}^n e^{i c x^k} \right)^2 + \left( \sum_{k=1}^n e^{-i c x^k} \right)^2 ) 必须是常数。但右边的两个求和式都是多个指数函数的和，这些指数函数的相位 ( c x^k ) 增长速度差异极大，它们的平方和不可能保持恒定——本质上和思路一的振荡频率分析是一致的。

备注：内容来源于stack exchange，提问作者Manlio