方程组的直接解法和迭代法 python_【国际数学竞赛】函数方程的一般解法(Functional Equations)...

函数方程是含未知函数的方程。初高中我们看到的函数一般都写成

，比如一次函数

、二次函数

等显函数的形式，我们能够非常明显的看到

的关系。但是有些问题并没有直接给我们函数的形式，而是给我们一个关于函数的一个方程，比如给我们一个函数的性质

，我们就要想办法去找到满足方程的函数。

能使函数方程成立的函数叫做函数方程的解，求函数方程的解或证明函数方程无解的过程叫解函数方程。函数方程可以有一个解，可以无解，也可以有多个解，甚至可以有无穷多个解。常见的函数方程的解法有代换法（或换元法）、待定系数法、迭代法、柯西法等。

注：参考百度百科。
Wikipedia上的定义：
In mathematics, a functional equation is any equation in which the unknown represents a function. Often, the equation relates the value of a function (or functions) at some point with its values at other points. For instance, properties of functions can be determined by considering the types of functional equations they satisfy.

比如看到以下的函数关系式，你能想到什么函数呢？

（1）

（2）

（3）

（4）

（5）

(1)幂函数

(2)指数函数

(3)对数函数

(4)正比例函数

(柯西函数方程)

(5)三角函数

那么解函数方程是不是就单凭感觉，要我们自己去凑呢？

不是的，很多时候是要靠我们去分析求解的。因为满足这个函数方程的解有很多种情况，我们的目标是彻底搞清楚，满足条件的函数有哪些，比如前面的例子中我们虽然给出了每个问题的一个解，但是并不清楚这个解是否唯一，还有没有其它的解。

不要觉得函数方程很复杂，有些问题是比较简单的，比如含一个自变量的函数方程：

例1：

If

,then what is

？

【详解】
令

，则

,带入到

可知

因此，

例2：

Find all functions

satisfying

【详解】
把

代换成

可知：

于是得到方程组：

通过加减消元法，得到

其实类似的题目还有很多，这里再给出几个练习题，大家有兴趣可以做一下：

1. Find all funcitons over the real such that
2. Find all fucntions such that
   ,
   .
3. Let
   be any function that has the following property：For all real numbers
   other than 0 and 1,
   . Compute
   .（2007-DMM-Individual Round-Q6）

做法都是一样的，就是通过令

成为不同的值，得到关于

的方程组再进行求解。

---

那么如果在一个函数方程中含有两个变量呢？或者说多个变量，这该怎么办呢？(好像都是

两个变量的)

这是我们还是仿照一个变量的函数方程对其中的

进行赋值，不过这时就没有那么简单了，因为很多情况下我们都不能通过简单的赋值得到方程组然后求解得到，更多的需要靠我们去分析得到函数的性质，然后去推导出满足要求的解。

通常我们可以观察式子的是否具有对称性、可加、线性等，在赋值上常有

,

,

等，而且我们不要忘记说明是满足

或者

要求的。

例3:

Find all functions

such that

.

【详解】
令原式中

可得，

于是，

令

可知，

.

在原式子中令

，

因此，

令

于是，

例4：

Find all functions

such that

,

【详解】
令

，

于是，

,对于所有的实数

都成立.

又因为，

, 因此

.

令

，

对于所有的实数

都成立.

注：这里

对于所有的整数

且

根据前面所得结论可知：

因此，

.

在分析的过程中一定要注意我们的等式是在一定的条件范围内成立的，比如前一题的

是在整数范围内成立，我们不能看到这个就下定论说

,这样做肯定是有问题的，但是这也给了我们方向，至少我们可以往这个结果努力。这里还用到了所有有理数可以由两个整数相除得到。

是不是所有的都是这种题型呢？

并不是的，有的时候给我们一个函数方程可能不是为了找到一个函数满足这个方程，可能会是解一个代数方程：

例5：

The function

satisfies

for every

. Find all solutions of the equation

.

【详解】
先证明

是单射，即如果

那么

.

如果

，所以两边再套一层函数两边相等

于是，

,得证，

确实是单射.

令

，

,

因为

单射，所以

.

下面求解

注：这道题再做的过程中反复用到了

是单射这个性质，还是很有趣的。

其实关于函数方程的题目还有很多，有些题目可能我们花了很多时间也做不出来，但是看了答案就恍然大悟，有可能还觉得挺简单的，发出一声感叹“就这？”，感觉还挺有趣的。当然，能够自己做出来那快乐肯定是不一样的。

下面这个网址中很多函数方程的题目并有详解，大家有兴趣可以看一下，其实不乏IMO的题目

https://www.imomath.com/index.php?options=341&lmm=0​www.imomath.com

比如(随便截几道题看看)

其实我昨天刚分享过一道新西兰国家队选拔第一轮的一道函数方程题：

2020-NZMO1-Q5

详解见专栏内文章《一道函数方程问题-NZMO1》

想了解更多关于国际数学竞赛及课程的知识，可参阅：

https://zhuanlan.zhihu.com/p/62918360​zhuanlan.zhihu.com