欧拉倒易的诞生，源于18世纪数学大师莱昂哈德·欧拉对“幂和”问题的深度探索，所谓幂和，即计算前( n )个自然数的( k )次方之和，记作( S_k(n) = 1^k + 2^k + \cdots + n^k )，早在古希腊时期，阿基米德就给出了( S_1(n) )和( S_2(n) )的公式，而欧拉则系统性地研究了更高次幂和的表达式，他发现，( S_k(n) )总是一个关于( n )的( k+1 )次多项式，且其系数与伯努利数（Bernoulli numbers）紧密相关——这一成果后来被总结为著名的“幂和公式”。
但欧拉的思考不止于此，当他将目光从“固定( k )、变化( n )”转向“固定( n )、变化( k )”时，一个更深刻的问题浮现：对于给定的( n )，幂和( S_k(n) )在( k )变化时是否有某种对称性？正是这一追问，催生了欧拉倒易定理。
欧拉倒易描述的是两组幂和之间的“倒易关系”：对于正整数( m )和( n )，有 [
\sum_{k=1}^{m} (-1)^{k+1} \binom{m}{k} \frac{Sk(n)}{k+1} = \sum{k=1}^{n} (-1)^{k+1} \binom{n}{k} \frac{S_k(m)}{k+1}.
] 乍看之下，这个公式略显复杂，但其核心是“对称”：左边的求和变量是( m )的组合数与( n )的幂和，右边的求和变量则是( n )的组合数与( m )的幂和——( m )与( n )的位置“倒易”后，等式依然成立，这种对称性并非巧合,而是数学内在秩序的体现。
拆解“倒易”：公式的密码与直观理解
为了更直观地理解欧拉倒易，我们可以将其拆解为两个关键部分：
ng>组合结构与幂和对称。
首先看左边的求和式( \sum_{k=1}^{m} (-1)^{k+1} \binom{m}{k} \frac{S_k(n)}{k+1} )。( \binom{m}{k} )是组合数，表示从( m )个元素中取( k )个的方式数；( (-1)^{k+1} )则引入了交错符号，这种“正负抵消”的组合结构在组合数学中极为常见（如容斥原理）；而( \frac{S_k(n)}{k+1} )可以看作是对幂和( S_k(n) )的一种“加权平均”。
同理，右边的求和式( \sum_{k=1}^{n} (-1)^{k+1} \binom{n}{k} \frac{S_k(m)}{k+1} )与左边完全对称，只是将( m )与( n )互换，欧拉倒易的深刻之处在于，它告诉我们：这种“组合+幂和”的结构，在( m )和( n )互换时保持不变。
