求解满足特定平均变化率与导数等式的实函数

嘿，我完全懂你卡在这儿的感觉——Putnam题本身就够烧脑的，这个变体还额外添了点棘手的地方。让我一步步帮你拆解这个问题：

首先，你精准地注意到这个等式对应函数在区间[x-n, x+n]上的平均变化率，这个切入点特别关键！先把问题里的等式明确写出来，方便我们后续讨论：

对所有实数x和n，满足 (f(x+n) - f(x-n))/(2n) = f'(x)

先验证你提到的线性、二次函数 #

你观察到线性和二次函数符合条件，这点完全正确：

• 线性函数：假设f(x) = ax + b，求导得f'(x)=a。计算左边的平均变化率：(a(x+n)+b - (a(x-n)+b))/(2n) = (2an)/(2n) = a，和导数完全相等，满足等式。
• 二次函数：比如f(x)=ax²+bx+c，导数是f'(x)=2ax+b。展开计算左边：

  [a(x+n)²+b(x+n)+c - a(x-n)² -b(x-n)-c]/(2n)
  = [a(x²+2xn+n²) - a(x²-2xn+n²) + b(x+n) - b(x-n)]/(2n)
  = [4axn + 2bn]/(2n) = 2ax + b
  

  结果刚好等于导数，完美符合条件。

突破点：转化为更简单的函数方程 #

你说用常规消去任意函数的方法没奏效，其实可以通过对原等式求导来转化问题：

1. 先把原等式变形为：f(x+n) - f(x-n) = 2n f'(x)。
2. 两边对n求导（这里默认f是光滑的，不过后续可以证明解必然是光滑的），得到：f'(x+n) + f'(x-n) = 2f'(x)。
3. 令g(x) = f'(x)，那么上面的式子就变成了一个经典的函数方程：g(x+n) + g(x-n) = 2g(x)，对所有实数x、n都成立。

这个方程的含义是什么呢？它说明g是既凸又凹的函数，而这类函数的连续解（甚至在更弱的条件下）只能是线性函数：g(x) = mx + k（m、k为常数）。

推导所有解 #

既然g(x)=f'(x)=mx +k，我们对其积分就能得到原函数：
f(x) = (1/2)mx² + kx + c，其中c是积分常数。

这就是所有的解：当m=0时，就是你提到的线性函数；当m≠0时，就是二次函数——没有其他类型的函数能满足原等式了。

和2010 Putnam A2的联系 #

你提到的2010 Putnam A2确实是类似的函数方程问题，但它的条件可能有细微差别（比如定义域限制或者附加约束），不过核心思路都是把复杂的等式转化为更易求解的基础函数方程。你之前的方向是对的，只是差了把原等式转化为导数函数方程的那一步。

如果想要更严谨地证明没有其他解，还可以尝试用差分法或者对原等式多次求导，但上面的方法已经能覆盖我们通常讨论的连续/可导实函数的情况了。

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