在数学分析、热力学、电磁学等多个领域中，欧拉倒易关系（Euler's Reciprocal Relation）是一个揭示多变量函数内在对称性的重要工具，它由18世纪数学家莱昂哈德·欧拉（Leonhard Euler）提出，主要用于描述齐次函数的偏导数之间的约束关系，理解这一关系，不仅能深入把握多元函数的数学性质，还能在物理、工程等学科中简化复杂问题的求解。
什么是欧拉倒易关系？
欧拉倒易关系的核心是针对齐次函数（Homogeneous Function）的偏导数对称性，具体而言，如果一个函数 ( f(x_1, x_2, \dots, x_n) ) 是k次齐次函数，即满足对任意实数 ( \lambda \neq 0 )，有：
[
f(\lambda x_1, \lambda x_2, \dots, \lambda x_n) = \lambda^k f(x_1, x_2, \dots, x_n),
]
那么它的偏导数之间会满足特定的“倒易”关系。
对于二元齐次函数 ( f(x, y) )，欧拉倒易关系表现为：
[
x \frac{\partial f}{\partial x} + y \frac{\partial f}{\partial y} = k f(x, y).
]
这一式子被称为欧拉齐次函数定理（Euler's Homogeneous Function Theorem），是欧拉倒易关系的基础形式。
对于多元齐次函数 ( f(x_1, x_2, \dots, xn) )，关系可推广为：
[
\sum{i=1}^n x_i \frac{\partial f}{\partial x_i} = k f(x_1, x_2, \dots, x_n).
]
欧拉倒易关系的推导：从齐次性到对称性
欧拉倒易关系的推导依赖于齐次函数的定义和链式法则，以二元函数 ( f(x, y) ) 为例，假设它是k次齐次的，即：
[
f(\lambda x, \lambda y) = \lambda^k f(x, y).
]
对等式两边关于 ( \lambda ) 求导（链式法则），得：
[
x \frac{\partial f}{\partial (\lambda x)} + y \frac{\partial f}{\partial (\lambda y)} = k \lambda^{k-1} f(x, y).
]
令 ( \lambda = 1 )，则 ( \lambda x = x )、( \lambda y = y )，代入后即得欧拉齐次函数定理：
[
x \frac{\partial f}{\partial x} + y \frac{\partial f}{\partial y} = k f(x, y).
]
这一推导表明，齐次函数的偏导数并非独立存在，而是通过“倒易”关系（即变量与其对应偏导数的乘积之和）与函数本身紧密绑定，这种对称性本质上是齐次函数“尺度不变性”的数学体现——当所有变量按相同比例缩放时,函数的变化规律被偏导数的组合完全约束。
