函数 满足以下的关系
求函数方程本质上可以归为搜索问题,但是和数的搜索很不相同,目前我也说不出太多本质的问题,这个题目算是很难的问题。
难在哪呢?
- 在最初的几趟赋值法探索之后,会出现很多复杂不常见的符号堆积,杂乱无章
- 很难找准方向——当题目变成求证 之后我们可能会更有方向一点,但是,因为符号和归纳推证还是存在一定的挑战
先试试赋值会得到什么
- 令
这比较显然 - 再令 得到
即
这个式子不知道有什么用,先留着 - 令 , 得到
这个形式具有了一些线性的特征,但还不是特别明确
接下来是很关键的一个替换 取 那么
于是
即
对(3)式子,可以用 替换,得到
改变符号,用 换掉 , 并联合(4) ,就是
到这里得到的一个重要的进展
足以可以引发猜测 对任意自然数可能成立
对自然数的命题,一般尝试归纳
接下我们尝试推导出
到了这里进一步简化是一个难点, 我搞了很久不知道从哪里着手
这里有一条弯路——
因为 (6) 不依赖 的结论,但一般而言,归纳递推肯定是有关联的。我们从 尝试,让 , 那么
即
在(3) 式里,还有 从这里可以得到一个以为是新的东西
用 替换 就有
这和 (4) 没什么两样,仿佛撞了一个死胡同
但是我们注意这个替换 情况就迎来了转机
三次方映射是一个双射,替换等价于 于是
另一方面
联合两式就有
化简
这里如果能够不顾符号开个根号似乎就有
(9) 是很有用的,从这个关系出发可以简化(6)
所以探究一下,从(8) 到(9)的理论依据是必要的
回到 (4)式 的符号和 的符号相同,而 与 符号相同,当 这就是从(8)到(9)的依据
然后从(9)式化简(6) ,有
注意从 (9) 显然有
以上完成了 从 到 的推导
把这个过程一般化就得到了
简而言之就是 假设 成立然后用 n代替上面的 2 得到
然后将 展开
接下来的方向是啥呢
猜测 对任意的 有 然后试图证明
对任意的实数 满足
未完待续