近日，一道来自数学爱好者的函数方程题目在社交平台引发热议。标题即为：“已知f(x+y)=f(x)g(y)+g(x)f(y)……能推出f(x),g(x)是三角函数吗？”乍看之下，这似乎是一个纯粹的数学技术问题，但背后却牵涉到函数方程理论、群表示论乃至物理学中的对称性原理。为此，本报记者采访了多位数学研究者，试图揭开这一方程的神秘面纱。
方程的本质：加法公式的“基因”
这个函数方程最引人注目的地方在于，它看起来与三角函数的加法公式高度相似。我们知道，对于任意实数x、y，正弦和余弦满足： - sin(x+y) = sin x cos y + cos x sin y - cos(x+y) = cos x cos y - sin x sin y
第一个方程正是题目中给出的形式，而第二个方程通常也被视为系统的另一半。也就是说，如果我们将f(x)视为正弦，g(x)视为余弦，那么第一个方程正好对应正弦加法公式，第二个方程对应余弦加法公式。因此，许多人的第一反应是：f和g很可能就是正弦和余弦函数。
但问题在于：仅凭第一个方程，能推出结论吗？答案是否定的。
条件不足，结论并非唯一
“仅仅给出一个方程，解的空间非常大。”北京大学数学科学学院的李教授解释，“比如，我们可以取f(x)=0，g(x)=任意满足g(x+y)=g(x)g(y)的函数（如指数函数），那么第一个方程自动成立。但这样的解显然不是三角函数。”
事实上，要迫使f和g成为三角函数，通常还需要补充若干条件。最常见的完整系统包括： 1. 两个函数方程（正弦和余弦的加法公式）； 2. 初值条件：f(0)=0，g(0)=1； 3. 正则性条件：如连续、可微，或至少在某个区间内可导。
在上述条件下，解的唯一形式就是f(x)=sin(ax)，g(x)=cos(ax)，其中a为常数。如果去掉可微性，只要求连续，那么解还可以是双曲正弦与双曲余弦：f(x)=sinh(ax)，g(x)=cosh(ax)。实际上，只要将第二个方程中的减号改为加号，就得到双曲函数的情形。
南大学数学系的张老师补充道：“更一般的解还可以是某些旋转矩阵的矩阵元，涉及李群李代数的表示。在数学物理中，这类方程被称为‘函数方程的加法定理’，它的解可以刻画所有满足特定对称性的线性算子。”
从趣味问题到深刻理论
这个看似简单的问题，实际上连接着数学中几个重要分支。在代数学中，函数方程刻画了群的表示；在分析学中，它涉及柯西型方程的求解；在几何学中，它可以用于推导复指数与三角函数的欧拉公式。
事实上，如果引入复变量，令h(x)=f(x)+i g(x)，那么这两个方程可以合并为：h(x+y)=h(x) h(y)。这正是指数函数的加法定理！于是，由指数函数得到三角函数也就顺理成章了。
结论：需要“合适”的条件
回到标题的问题：已知f(x+y)=f(x)g(y)+g(x)f(y)……能推出f(x),g(x)是三角函数吗？答案是：在充分的附加条件下，可以；但仅凭这一个方程，绝不能。
这恰好体现了数学的严谨之美：一个漂亮的结论背后，往往需要精确的前提条件。对于初学者，这是个极好的思维训练；对于研究者，它则指向更广阔的数学疆域。
本报将继续关注这一话题，并邀请更多数学爱好者分享自己的见解与推导。