找回密码
 快速注册
搜索
查看: 4053|回复: 15

[函数] 将四年前的某道函数方程题解完

[复制链接]

730

主题

1万

回帖

9万

积分

积分
93623
QQ

显示全部楼层

kuing 发表于 2014-5-30 20:32 |阅读模式
话说在2010年2月8日,我在352在群里看到这样一道题
2507*****(2507*****) 18:02:03
QQ图片20140530202135.jpg
我们学校的竞赛考试中上面这题有什么简单方法吗?

当时我发现 $a$ 只能等于 $1/2$,然后给出如下过程
249533164<kuingggg@qq.com> 19:10:10
QQ图片20140530202223.jpg

然而却没解下去了,不知为什么。

今晚人教群里网友 爱好-1bk3(2047******) 发了一道题
爱好-1bk3(2047******)  19:22:27
QQ图片20140530202400.jpg
求教第二问

我就找到了上面的聊天记录,之后 爱好-1bk3 认为必定 $f(x)=x$,但我觉得未必,柯西方程之类的东西接触多了,像这种函数方程如无意外都无法确定解析式,不过我又暂时写不出来,因为那种变态函数我还未曾弄懂过。

那么,最上面那道题最后应该怎么求 $f(1/7)$ 呢?下面来把它解完。

下面所设的变量默认在 $[0,1]$ 内。

我们已经知道 $a=1/2$,即
\[f\left( \frac{x+y}2 \right)=\frac12f(x)+\frac12f(y),\]
于是
\begin{align*}
f\left( \frac{x_1+x_2+x_3+x_4}4 \right)&=f\left( \frac{\frac{x_1+x_2}2+\frac{x_3+x_4}2}2 \right) \\
& =\frac12f\left( \frac{x_1+x_2}2 \right)+\frac12f\left( \frac{x_3+x_4}2 \right) \\
& =\frac14f(x_1)+\frac14f(x_2)+\frac14f(x_3)+\frac14f(x_4),
\end{align*}
于是
\begin{align*}
f\left( \frac{x_1+x_2+\cdots +x_8}8 \right)&=f\left( \frac{\frac{x_1+x_2}2+\cdots +\frac{x_7+x_8}2}4 \right) \\
& =\frac14f\left( \frac{x_1+x_2}2 \right)+\cdots +\frac14f\left( \frac{x_7+x_8}2 \right) \\
& =\frac18f(x_1)+\frac18f(x_2)+\cdots +\frac18f(x_8),
\end{align*}

\[x_8=\frac{x_1+x_2+\cdots +x_7}7,\]
此时有
\[\frac{x_1+x_2+\cdots +x_8}8=\frac{x_1+x_2+\cdots +x_7+\frac{x_1+x_2+\cdots +x_7}7}8=\frac{x_1+x_2+\cdots +x_7}7,\]
于是
\[f\left( \frac{x_1+x_2+\cdots +x_7}7 \right)=\frac18f(x_1)+\frac18f(x_2)+\cdots +\frac18f(x_7)+\frac18f\left( \frac{x_1+x_2+\cdots +x_7}7 \right),\]
整理即得
\[f\left( \frac{x_1+x_2+\cdots +x_7}7 \right)=\frac17f(x_1)+\frac17f(x_2)+\cdots +\frac17f(x_7),\]
现在,令$x_1=x_2=\cdots =x_6=0$, $x_7=1$,代入即得
\[f\left( \frac17 \right)=\frac17f(1)=\frac17.\]

730

主题

1万

回帖

9万

积分

积分
93623
QQ

显示全部楼层

 楼主| kuing 发表于 2014-5-30 20:40
上述方法其实还是反向归纳的思路了,先推 $2^n$,再由 $n$ 推 $n-1$,总之,我们可以得到,对于任意正整数 $n$,都有
\[f\left(\frac{x_1+x_2+\cdots+x_n}n\right)=\frac1nf(x_1)+\frac1nf(x_2)+\cdots+\frac1nf(x_n),\]
于是对于 $(0,1)$ 内的任意有理数 $p/q$,令 $n=q$, $x_1=x_2=\cdots=x_p=1$,则
\[f\left(\frac pq\right)=\frac pqf(1)=\frac pq,\]
尽管如此,我还是觉得无理数方面未必有 $f(x)=x$,这个问题仍然有待研究。

108

主题

2372

回帖

1万

积分

积分
13374

显示全部楼层

其妙 发表于 2014-5-30 21:34
回复 2# kuing
牛笔!

31

主题

73

回帖

672

积分

积分
672

显示全部楼层

转化与化归 发表于 2014-5-30 22:25
回复 2# kuing
构造的妙!

108

主题

2372

回帖

1万

积分

积分
13374

显示全部楼层

其妙 发表于 2014-5-30 22:44
回复 2# kuing
果然是留空回填法的思路!几乎都忘了,现在又学习了!
7个数的平均的做法可由8个数的平均来得到,而8个数的平均可由迭代(或者类似于细胞分裂)轻易得到!

1

主题

23

回帖

127

积分

积分
127

显示全部楼层

chen、bin 发表于 2014-5-31 00:11
学习

1

主题

23

回帖

127

积分

积分
127

显示全部楼层

chen、bin 发表于 2014-6-7 10:12

1

主题

23

回帖

127

积分

积分
127

显示全部楼层

chen、bin 发表于 2014-6-7 10:12
让所有人都能学到

66

主题

416

回帖

3566

积分

积分
3566

显示全部楼层

Tesla35 发表于 2014-10-9 22:54
来自单墫算两次:
f1.jpg

272

主题

683

回帖

6049

积分

积分
6049

显示全部楼层

力工 发表于 2014-10-11 13:38
回复 1# kuing


    牛淫啊,拜服kuing神人

108

主题

2372

回帖

1万

积分

积分
13374

显示全部楼层

其妙 发表于 2014-10-19 13:50
回复  kuing


    牛淫啊,拜服kuing神人
力工 发表于 2014-10-11 13:38

+1

830

主题

4865

回帖

3万

积分

积分
36175

显示全部楼层

isee 发表于 2015-10-11 12:23
来自单墫算两次:
Tesla35 发表于 2014-10-9 22:54



    跟学生说了这种反复利用已经的推,反复构造尝试,学生是可以整出来的,很多时候。。。

0

主题

7

回帖

40

积分

积分
40

显示全部楼层

存★在!! 发表于 2015-10-12 13:41
未命名.JPG

830

主题

4865

回帖

3万

积分

积分
36175

显示全部楼层

isee 发表于 2015-11-15 14:57
今天又碰到此题了,来学习下。

这标题很难看到是关于抽象函数的,故收藏一下。

730

主题

1万

回帖

9万

积分

积分
93623
QQ

显示全部楼层

 楼主| kuing 发表于 2015-11-15 15:04
回复 14# isee

很难看到?“函数方程”、“抽象函数”不是差不多的东西么,说起来,前者还更正规点吧……

830

主题

4865

回帖

3万

积分

积分
36175

显示全部楼层

isee 发表于 2015-11-15 15:08
回复 15# kuing

哈哈,只是帖子难找,时间久了。

今天主要是标记一下,好找。。

手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-4 18:25

Powered by Discuz!

× 快速回复 返回顶部 返回列表