魔方吧·中文魔方俱乐部

标题: 超级数学难题，困惑多时了。 [打印本页]
作者: yq_118    时间: 2009-6-9 16:07:01     标题: 超级数学难题，困惑多时了。

太难了，实在想不出来，期待有高手帮忙解决。

f(x)是R上的实函数，满足f(x+y)=f(x)+f(y)。f(1)=1。求f(x)。

就两个条件，不要添其它条件啊！

答案是显然的，希望有过程。

[ 本帖最后由 yq_118 于 2009-6-9 16:18 编辑 ]
作者: superacid    时间: 2009-6-9 16:10:43

只能解决当x为有理数是的f(x)，
求f(实数)是需要连续性或单调性等
作者: yq_118    时间: 2009-6-9 16:14:13

题目没有连续性或单调性的条件啊
作者: Osullivan    时间: 2009-6-9 16:14:36

f（x）=x
呵呵，随便猜一个，再想证明方法~~~~~~
作者: taotol    时间: 2009-6-9 16:14:55

不学数学很久了~  都快忘了什么是f(x)了~  占个地方等答案吧~  我也顺便复习一下~
作者: yzl-34    时间: 2009-6-9 16:15:40

答案是不是f(x)=x?
你试着代几个特殊值上去，应该就是了。
不知道对不对的啊，猜的。
如果答案是这个的话，用数归倒是有办法证出来。
作者: yq_118    时间: 2009-6-9 16:18:07

我想知道是怎么证明的啊！
作者: Osullivan    时间: 2009-6-9 16:21:56

f(x+nf(x))=+n,则任意f（x）上任意两点的斜率为(f(x+n)-f(x))/x+n-x=1,所以为一次函数，设f（x）=x+k，又f（1）=1，则k=0。于是f（x）=x得证。这样可以吧？
作者: Osullivan    时间: 2009-6-9 16:22:48

f(x+n)-f(x)=n
作者: yq_118    时间: 2009-6-9 16:24:22

原帖由 Osullivan 于 2009-6-9 16:21 发表
f(x+nf(x))=+n,则任意f（x）上任意两点的斜率为(f(x+n)-f(x))/x+n-x=1,所以为一次函数，设f（x）=x+k，又f（1）=1，则k=0。于是f（x）=x得证。这样可以吧？

错的，你只证明了x为整数的情况。
作者: Osullivan    时间: 2009-6-9 16:35:25

那要么反证，要么归纳法吧，应该可以解决的
作者: yq_118    时间: 2009-6-9 16:46:13

实数是不可数的，你怎么归纳，
反证，这个具体点。
作者: shamojintou    时间: 2009-6-9 16:47:43

不学数学好多年，看来得拾起来了，看看书去，希望能找到这个题
作者: 无限正义    时间: 2009-6-9 17:02:07

首先能够判断f(x)是奇函数，图像过原点。然后能判断是单调递增，再然后……
作者: Osullivan    时间: 2009-6-9 17:08:40

图象上任意两点，f(x+t),和f(t),t属于R，则他们的斜率为f（t）/t,构造函数g（x）=x，g（x）上的任意点与原点（0，0）的斜率都为g（t）/t。则f（x）与g（x）重合，故f（x）=x。这方法叫归一法还是什么无限逼近，不记得了。这样应该没有漏洞吧？
作者: zoom_hmj    时间: 2009-6-9 17:17:18     标题: 回复 12# 的帖子

正因为不可数才用的归纳,设n=k时成立,证出n=k+1时.
作者: yq_118    时间: 2009-6-9 17:23:24

原帖由 zoom_hmj 于 2009-6-9 17:17 发表
正因为不可数才用的归纳,设n=k时成立,证出n=k+1时.

要证对所有实数成立
作者: yq_118    时间: 2009-6-9 17:24:46

原帖由 Osullivan 于 2009-6-9 17:08 发表
图象上任意两点，f(x+t),和f(t),t属于R，则他们的斜率为f（t）/t,构造函数g（x）=x，g（x）上的任意点与原点（0，0）的斜率都为g（t）/t。则f（x）与g（x）重合，故f（x）=x。这方法叫归一法还是什么无限逼近，不记得 ...

错的，没有连续的条件，要求对所有实数成立。
作者: zhy3729    时间: 2009-6-9 17:27:24

题目有问题！！！！！！
作者: q376997368    时间: 2009-6-9 17:35:17

证明：f(nx)=f(x)+f[(n-1)x]=2f(x)+f[(n-2)x]=……=(n-1)f(x)+f(x)=nf(x)
∵x=x*1
∴f(x)=xf(1)且f(1)=1
∴f(x)=x
证毕

[ 本帖最后由 q376997368 于 2009-6-9 17:48 编辑 ]
作者: superacid    时间: 2009-6-9 17:52:25

大家再好好搞一下概念，这道题是绝对不可能求出实数值的。
作者: xdgtzsyyj    时间: 2009-6-9 17:58:53

这是高考题。中国的数学就是难学
作者: Osullivan    时间: 2009-6-9 18:32:48

原帖由 yq_118 于 2009-6-9 17:24 发表

错的，没有连续的条件，要求对所有实数成立。


这怎么没有连续条件啊，是对任意实数啊
作者: superacid    时间: 2009-6-9 19:29:18

这里的连续是指函数连续
作者: conwood    时间: 2009-6-9 20:18:39

问一下如何证明单调递增

原帖由 无限正义 于 2009-6-9 17:02 发表
首先能够判断f(x)是奇函数，图像过原点。然后能判断是单调递增，再然后……
作者: superacid    时间: 2009-6-9 20:28:42

这是不可能证明出来的
作者: 123wyx    时间: 2009-6-9 20:47:16

有理数范围内可以证，实数上不能求
作者: 咖啡味的茶    时间: 2009-6-9 21:05:34

我也可以证明有理数范围
作者: Cielo    时间: 2009-6-9 23:42:29

呵呵应该有无数个函数满足条件吧！
作者: conwood    时间: 2009-6-10 00:10:56

在wolframalpha上，输入f(x+y)=f(x)+f(y)，答案是f(x)=cx，加上有f(1)=1，所以答案应该是唯一的
原帖由 Cielo 于 2009-6-9 23:42 发表
呵呵应该有无数个函数满足条件吧！
作者: ursace    时间: 2009-6-10 00:41:50

好像条件不够
作者: rubik-fan    时间: 2009-6-10 01:14:37

f(x)=f(x+0)=f(x)+f(0)=>f(0)=0
又f(0)=f(x-x)=f(x)+f(-x)=0=>f(x)=-f(-x)即f（x）是奇函数。证明连续性：t-0时的极限limf(x+t)=limf(x)+limf(t)=f(x)即f(x)在任意x处是连续的。
现在证明了连续性和单调性。剩下的就是上述同学的结论了。f（x）=x
作者: 铯_猪哥恐鸣    时间: 2009-6-10 01:33:15

首先，这道题的答案不显然。事实上，存在一个函数f(x)满足lz所说的条件，但是f(x)不等于x。具体LZ可以上百度查“柯西函数方程”。
这儿随意提些皮毛：
一般满足f(x+y)=f(x)+f(y)的函数叫做柯西函数方程的解。它们分两类：线性解（即似乎是显然的答案）与非线性解。
非线性解有着一些很奇怪的性质，但确实是存在的。具体还是百度吧。。。
作者: lulijie    时间: 2009-6-10 01:39:22

楼上的   t-0时的极限limf(x+t)=limf(x)+limf(t)即f(x)在任意x处是连续的。
在证明函数连续之前，极限存不存在都不知道。所以上述的结论不能成立。
     即  limf(x)  和 t-0时 limf(t)  这两个极限存在与否都还没被证明。
作者: 依然旋转    时间: 2009-6-10 01:41:40

用数学归纳法
作者: superacid    时间: 2009-6-10 08:15:09

我再说一遍，对极限和连续理论不太懂的人，还是先看看数学分析再来做这道题。
这道题对无理数是不可能求出来的！！！
作者: oboe    时间: 2009-6-10 08:20:24

如果是高考题，应该是在线性代数范围内啊。
大一大二还学了线性代数。
作者: Boooo    时间: 2009-6-10 08:21:49

f(2)=f(1+1)=2f(1)=2
f(3)=3
f(4)=4
.....
f(n)=n
然后再证明就可以了
高中数学而已
数学归纳法
作者: Cielo    时间: 2009-6-10 09:48:06

原帖由 conwood 于 2009-6-10 00:10 发表
在wolframalpha上，输入f(x+y)=f(x)+f(y)，答案是f(x)=cx，加上有f(1)=1，所以答案应该是唯一的


但是题目里面没有要求函数是连续的，所以会有其他答案吧！
作者: 铯_猪哥恐鸣    时间: 2009-6-10 16:56:20     标题: 回复 36# 的帖子

同意，如果大家没有全国数学联赛一等奖的实力完全没有必要去否定“这道题对无理数是不可能求出来的”这一结论
作者: lamianbu    时间: 2009-6-10 17:15:49

原帖由 铯_猪哥恐鸣 于 2009-6-10 01:33 发表
首先，这道题的答案不显然。事实上，存在一个函数f(x)满足lz所说的条件，但是f(x)不等于x。具体LZ可以上百度查“柯西函数方程”。
这儿随意提些皮毛：
一般满足f(x+y)=f(x)+f(y)的函数叫做柯西函数方程的解。它们分 ...


这个题目的题干，貌似高数里很常见。

无奈，大学我没认真学数学。

现在高中生，就做大学题。很强悍。
作者: kexin_xiao    时间: 2009-6-11 22:32:43

最近吧里出现了很多数学问题，呵呵，学习一下
作者: 菜鸟要翻身了    时间: 2009-6-15 22:35:09

f(x)是R上的实函数，满足f(x+y)=f(x)+f(y)。f(1)=1。求f(x)。
令x=0,得f(y)=f (y)+f(0),所以f(0)=0
令y=0,f(x)=f(x)+f(0)
y=1,f(x+1)=f(x)+1


不行。算不出来
作者: shadowyang    时间: 2009-6-16 12:19:14     标题: 回复 33# 的帖子

的确，这道题很多朋友只讨论的整数情况，好一些的只讨论的函数连续的情况。

对于本题，确如33楼所说答案不显然，但是我觉得问题不全在于无理数，而在于没有条件说明 函数连续。

如添加连续条件。我的证明：
取x=0，y=0，得到f(0)=0;
f(x+y)-f(x)=f(y)-f(0)
f(x)的导数为[ f ( x + y ) - f ( x ) ] /[ f ( y ) - f ( 0 ) ]对y取趋于0的极限=1，即导数处处为1.
此时明白的 就知道证明完了f （ x ）=x
作者: 咖啡味的茶    时间: 2009-6-16 19:17:45

楼上肯定有问题啊。0/0是常见的不定式。
作者: 咖啡味的茶    时间: 2009-6-16 22:57:20

看我这个证明行不行…
由于f(x)+f(y)=f(x+y)，由于f(1)=1有f(0)+f(1)=f(1+0)有f(0)=0，用数学归纳法可以证明当x为有理数时满足f(x)=x，则有当x-->0时，f(x)-->0。令y-->0，则有f(x)-->f(x)，又由于f(x)+f(0)=f(x+0)，故f(x)=f(x)。
故该函数在所有位置连续，所以f(x)=x。
作者: Boooo    时间: 2009-6-16 23:01:22

这是在选修课本上讲的数学归纳法啦
高二学的...
作者: superacid    时间: 2009-6-17 09:23:22     标题: 回复 46# 的帖子

为什么x --> 0时，f(x) --> 0 ?
你取 x 为无理数序列，则不知道任意一个f(x)值，你怎么得到
x --> 0时，f(x) --> 0
的结论？
作者: superacid    时间: 2009-6-17 09:25:48     标题: 回复 47# 的帖子

高中书上的内容很多事不严密的
作者: superacid    时间: 2009-6-17 09:28:52

现在很多人都喜欢不懂装懂
作者: shadowyang    时间: 2009-6-17 09:38:10

原帖由 咖啡味的茶 于 2009-6-16 22:57 发表
看我这个证明行不行…
由于f(x)+f(y)=f(x+y)，由于f(1)=1有f(0)+f(1)=f(1+0)有f(0)=0，用数学归纳法可以证明当x为有理数时满足f(x)=x，则有当x-->0时，f(x)-->0。令y-->0，则有f(x)-->f(x)，又由于f(x)+f(0)=f(x+0) ...


首先，我的证明用的是导数定义，导数定义就是0/0型的啊。

你的证明很启发思路，但是未知连续，有理数域也不连续。就是未知可求f（x）的极限啊。x-->0时，f(x)-->0，极限要求全体实数都满足而不是 有理数域 就可以。
举例来说，如果给你一个很小的无理数，你无法判断大小，看一下极限的定义，例如求x=0的极限是对任给a，存在0的邻域内所有数b都满足f(x)-f(b)的绝对值<a，由于无理数存在，所以那个极限不成立。
欢迎交流
作者: shadowyang    时间: 2009-6-17 09:39:48     标题: 回复 48# 的帖子

说的很对，呵呵，才看见。
这道题应该是有问题的
作者: ydhydg    时间: 2009-6-17 09:51:23

我看着想头晕。。。。这是高中的题？？？？看来我到高中肯定会死好多脑细胞的~~~~
作者: watergear    时间: 2009-6-17 13:38:12

f(x)是R上的实函数，满足f(x+y)=f(x)+f(y)。f(1)=1。求f(x)。

证明：

1. 整数空间
f(x+0) = f(x) + f(0)
==>
f(0) = f (x+0) - f(x) = f(x) - f(x) = 0

数学归纳
f(0) = 0
f(1) = 1
a 为自然数, f(a) = a
==>
f(a+1) = f(a) + f(1) = a + 1

得f(x) = x，x属于N。

2. 有理数空间
对任意整数a, b
设c = (a + b) / 2
==>
a + b = c * 2 = c + c
f(a+b) = f(c + c) = f(c) + f(c)
f(c) = f(a+b) / 2 = (a+b)/2 = c

同理
设c' = (a + c) / 2, c'' = (c + b) / 2
则f(c') = c', f(c'') = c''

数学归纳（二分思想）
得f(x) = x，x为[a,b]之间所有有理数。

3. 无理数空间
无证。
作者: superacid    时间: 2009-6-17 15:55:52     标题: 回复 54# 的帖子

你怎么证明 f(1/3)=1/3 ?
作者: conwood    时间: 2009-6-17 20:17:04

这个连续性的证明是错误的
你不能从f(0)=0推出来lim_{t\to 0}f(t)=0
原帖由 rubik-fan 于 2009-6-10 01:14 发表
f(x)=f(x+0)=f(x)+f(0)=>f(0)=0
又f(0)=f(x-x)=f(x)+f(-x)=0=>f(x)=-f(-x)即f（x）是奇函数。证明连续性：t-0时的极限limf(x+t)=limf(x)+limf(t)=f(x)即f(x)在任意x处是连续的。
现在证明了连续性和单调性。剩下的 ...
作者: conwood    时间: 2009-6-17 20:20:06

这个用1=f(1)=f(1/3)+f(2/3)=f(1/3)+f(1/3)+f(1/3)可知吧
原帖由 superacid 于 2009-6-17 15:55 发表
你怎么证明 f(1/3)=1/3 ?
作者: conwood    时间: 2009-6-17 20:22:54

嗯，期待哪位能给出一个反例来，就一切都清晰了
虽然这个反例可能比处处连续处处不可导那个更诡异

原帖由 Cielo 于 2009-6-10 09:48 发表


但是题目里面没有要求函数是连续的，所以会有其他答案吧！
作者: yq_118    时间: 2009-6-17 20:23:33

好像是解决不了无理数的情况，难怪我想不出来。
作者: conwood    时间: 2009-6-17 21:28:46

原帖由 yq_118 于 2009-6-9 16:07 发表
太难了，实在想不出来，期待有高手帮忙解决。

f(x)是R上的实函数，满足f(x+y)=f(x)+f(y)。f(1)=1。求f(x)。

就两个条件，不要添其它条件啊！

答案是显然的，希望有过程。


参考资料：
http://en.wikipedia.org/wiki/Cauchy_functional_equation

从参考资料中可得到的结论(如果我理解的没错)：
1. 这个方程在有理数集合上的解f(x)=x是可证的，而且是唯一的。
2. 这个方程在无理数集合上的解不是唯一的，f(x)=x只是一个可能的解。

简单翻译一下参考资料：

柯西函数方程是表达形式最简单的函数方程(所谓函数方程，指含有未知函数的等式，具体可以用维基百科或百度百科查)之一，但是其在实数上的解却是极复杂的。这个函数的表示形式是：

f(x+y)=f(x)+f(y)
在有理数集合上，使用简单的代数就可以知道唯一的一族解f(x)=cx，其中c是任意的常数。这个解在实数集上也生效，加上一些限制，就可以把其他的解排除。比如：



如果没有额外的约束条件，在承认选择公理的前提下，这个函数方程有无穷多的解。这点在1905年被Georg Hamel证明。Hilbert(希尔伯特)第5问题是这个方程的一般情况(generalisation)



有理数下的证明(比较简单，略)
First put y = 0:
Then put y = − x:
Then by repeated application of the function equation to we get:
And by putting y = nx:
Putting this all together, we get:
Putting α = 1 we get the unique family of solutions over .



其他解的性质
我们下面证明其他的任意的解都必须是高度变态(pathological)的。特别的，我们证明任意的非平凡解y=f(x)的图像是致密(dense)的，也就是说，在平面内任意的圆内(不管多小)，里面必然包含了函数图像上的一个点。从这点也可以简单的证明，在前面提到的几个约束条件下，解必须是f(x)=cx


这个证明也不在这里翻译了，请去wiki原始页面查看。

使用选择公理的非平凡解的存在性证明也在wiki原始页面上有，请有兴趣的同学去看。
作者: conwood    时间: 2009-6-17 21:32:28

关于选择公理，可以看松鼠会上的长度是怎样炼成的(四)，下面给出全部四篇的链接，以及选择公理相关的部分摘抄。


长度是怎样炼成的(一)

长度是怎样炼成的(二)

长度是怎样炼成的(三)

长度是怎样炼成的(四)

3. 不可测集与选择公理、数学的严密性
回顾一下“不可测集”这个词的意思：在勒贝格测度的意义下，总有一些集合是没办法定义测度的，这样的集合称为不可测集。同时已经被我们反复指出过的一点是：一个没受过专门数学训练的人所能想象到的任何古怪集合其实都是可测的，不可测集非常罕见。
不可测集的存在是数学中中一件令人遗憾的事实，要是能给直线的任何一个子集定义长度，这样的理论该有多么漂亮啊……数学中常常有这样的情形，一个人们通过直觉认定的美妙设想，偏偏被一两个好事者精心构造出的反例破坏了，但是数学毕竟受制于逻辑，不管一个反例多么煞风景，只要它确实成立，数学家也只好接受它。
可是不可测集这个例子有点不同：构造不可测集，用到了选择公理。
这件事情说来话长，简单的说，我们都知道整个数学是建立在一些很显然也很直观的公理之上的，这些公理大多数都是诸如等量之和为等量之类的废话，可是选择公理稍微复杂一点，它是说：
任何给定一组非空集合，我们总能从其中的每一个集合里取出一个元素组成一个集合。
也像废话一样，是吧，可是这句话多少有点罗嗦，不像等量之和为等量一样简单明了。于是人们对它多少有所争议，有人认为它不应当排在基本公理之内。可是毕竟这句话也挑不出什么错，而且人们很快发现，很多很有用的数学结果离开选择公理就变得很难证明或者根本不可能证明，于是将就着也就承认它了。
可是不可测集的存在却又掀起了人们的疑虑，反对选择公理的人说，看看吧，要是没有选择公理，也就没有不可测集了。
赞成的人反驳说，不可测就不可测呗，有什么大不了的……虽然整个理论确实变得不那么完美了。——他们不知道更大的问题还在后面。1924年，波兰数学家巴拿赫（Banach）在选择公理和不可测集构造法的基础上，证明了石破天惊的“分球定理”：一个半径为1的实心球，可以剖分成有限的若干块，用这些块可以完整地重新拼出两个半径为1的实心球体！
这一下引起轩然大波，反对选择公理的数学家们声势大振，认为选择公理完全是troublemaker，必欲除之而后快。赞成选择公理的数学家们则指出选择公理“功大于过”，毕竟有很多有价值的数学成果出自选择公理的基础。双方僵持的结果是大家各行其是，大多数数学家承认选择公理，同时忍受巴拿赫分球定理所带来的不适感，少数数学家坚持不要选择公理，为此失去很多别的很有用的定理也在所不惜。
这一僵持局面维持了很多年，直到二十世纪的中叶才被戏剧性地解决。人们在不承认选择公理的假设下构造出了一大堆比巴拿赫的球体更严重的反例（例如一个空间同时有两个维数）。这些反例不只像巴拿赫的例子一样违反直觉，而且还严重的破坏了大多数已有的数学结果。于是人们发现，承认选择公理也许是必须的，而像巴拿赫的反例那样的反直觉的结果，也只能被迫承担下来了。
所以到今天几乎所有的数学研究都是在承认选择公理的基础上进行的。虽然作为一种后遗症，人们总是会时不时地谨慎的在使用选择公理的时候加上一句声明：“本文依赖选择公理。”——这也许是这条公理的一个特殊待遇了。
以上便是这段公案的来龙去脉。很多人可能在读完这段故事之后疑虑重重。什么啊？数学家们难道是这么随便的确定公理体系的么？如此的实用主义，似乎全然置真理的地位于不顾的样子。很多人可能还会想起欧几里德第五公设的故事，觉得数学家们原来如此不负责任，带给人们的不是一套严整规范的理论体系，而是一个支离破碎的混乱图景。连公理的问题都搞不定，整个数学岂不是空中楼阁？
限于篇幅，这篇文章不可能对这个问题予以展开论述，可是至少我们可以澄清一个常见的似是而非的误解：数学是严密性的科学，数学的发展也只有在严密的公理化基础上才能得以实现。
这句话——至少在字面上——是对的。不可测集的例子本身就说明，为了严密性，数学家们甚至不惜放弃直观，——像巴拿赫球那样的例子尽管如此怪诞，可是它是严密逻辑的产物，数学家也只好承认它的存在。
可是在更宏观的层面上，这句话却是错的。前面提到的分析学就是很好的例子：微积分的思想的提出是在十七世纪，在随后的十八世纪里取得了丰硕的成果，可是它的严密化却直到十九世纪下半叶才真正得以实现。测度论是另一个例子：“测度”是人们对于长度这个词的直观理解的严密化，可是这并不是说，在测度论被提出之前的漫长岁月里人们对于长度都一无所知，恰恰相反，人们已经知道了相当多的事情，只是等待测度论的语言让一切都变得精确和完整而已。
所以数学的发展实质上是一个拖泥带水的过程，一代又一代崭新、充满活力却又粗糙的思想被提出来，人们意识到它的重要性，予以发扬光大，产生一系列重要的成果同时又带来困惑，直到崭新的数学语言诞生，清理战场，让一切显得井井有条，像教科书上的文字一样道貌岸然，而同时却又有新的粗糙的思想诞生了……在这个过程里，严密性始终只是一个背景，尽管无处不在，可是并不占据舞台的统治地位。数学家们在意严密性，追逐严密性，甚至不惜为了严密性而牺牲看似有价值的学术成果，可是严密性并不是数学发展的引领旗帜，从来都不是。
这就是为什么同很多人的误解相反，大多数数学家其实并不关心那些关于数学基础的哲学性的争论，这也就是为什么我把眼前这些讨论放进附记的原因——一件事情是不是关系到数学的逻辑基础和这件事情在数学上是不是重要一点关系都没有。所有这些故事：可数与不可数、可测与不可测、选择公理等等，都是和二十世纪初所谓“第三次数学危机”的大背景联系在一起的，那段时间里数学家之间产生了无数纷争，可是今天的数学学生们在严肃认真地学习集合论和测度论的同时，却只对那些八卦付之一笑，作为茶余饭后的谈资。——事实上，即使在二十世纪初，也有大量的数学家根本不关注这件事情或者压根就采取了日后看来是错误的立场（反对康托，反对不可数集的概念，等等）却同时又在自己的领域里作出了重要的甚至是历史性的贡献。
关于那个所谓的“第三次数学危机”，有一本著名的科普著作《数学：确定性的丧失》[2]专门讨论了它。这本书内容相当详尽，不幸的是它所引起的误解和它阐明的事情一样多。关于这次“危机”的描述主要集中在第十二章，那一章的结尾倒是相当深刻，值得特别引用在此：
“一个寓言恰如其分地概括了本世纪有关数学基础的进展状况。在莱茵河畔，一座美丽的城堡已经矗立了许多个世纪。在城堡的地下室中生活着一群蜘蛛，突然一阵大风吹散了它们辛辛苦苦编织的一张繁复的蛛网，于是它们慌乱地加以修补，因为它们认为，正是蛛网支撑着整个城堡。”
作者: yq_118    时间: 2009-6-17 21:41:55

好晕好晕
楼上哪里找的资料啊。
作者: conwood    时间: 2009-6-17 21:55:47

这要感谢 “铯_猪哥恐鸣” ，他告诉大家这个方程的名字，于是我去wikipedia上搜了一下了。

原帖由 yq_118 于 2009-6-17 21:41 发表
好晕好晕
楼上哪里找的资料啊。
作者: shadowyang    时间: 2009-6-18 11:30:54     标题: 回复 60# 的帖子

60楼说的对。
54楼的证明我大概看了一下，二分思想的证明应该也是站的住脚的。

只是对无理数域是无论如何也没有唯一解的
作者: watergear    时间: 2009-6-18 13:34:57

二分思想，从数学分析上是显而易见的。我已经问过数学系的同学了。只不过我写的证明不够严密。

换个证明法
对于正整数n
f(nx) = f( x + x + ... )  = f(x) + f(x) + ... = nf(x)

f(x) = f( x/n + x/n + ... ) = f(x/n) + f(x/n) + ... = nf(x/n)
f(x/n) = (1/n)f(x)

对于任意有理数q = a/b（a,b为任意整数。有理数定义详见http://en.wikipedia.org/wiki/Rational_number）
f(q) = f(a/b) = f(a*(1/b)) = a * f(1/b) = (a/b)f(1) = a/b
       = q

有理数空间f(x) = x得证。

#60楼的wiki上面写错了，y = nx，应该是 y = x/n。另外没有对有理数表达进行衔接，不容易让人理解。
我修改了wiki。
作者: 咖啡味的茶    时间: 2009-6-18 19:39:24

我知道我证明错哪里了……我再想下
作者: 咖啡味的茶    时间: 2009-6-18 19:44:19

不感觉是对的。有翻译么！



欢迎光临 魔方吧·中文魔方俱乐部 (http://bbs.mf8-china.com/) Powered by Discuz! X2