作者LimSinE (r=e^theta)
看板IMO_Taiwan
标题Re: [问题] IMO 2011 in Netherlands Day 1
时间Wed Jul 20 01:19:02 2011
※ 引述《FAlin (FA(ハガレン))》之铭言:
: 3. Let f : R → R be a real-valued function defined on the set of real numbers
: that satisfies
: f(x+y) ≦ yf(x) + f(f(x))
: for all real numbers x and y. Prove that f(x) = 0 for all x ≦ 0.
又到了函方时间了:::
f=0 是一解,假设非此解
1."f(x)/x →-inf(无限大), as x→inf"
若不然,存在A ,对任意x,存在序列yn→inf,使得
A(x+yn) <= f(x+yn) <= yn f(x) + f(f(x))
x固定yn→inf可得 f(x)>=A,代回得 A<=f(x+y)<=yf(x)+f(f(x)) for all x,y
再让x固定,y→+inf、-inf 得 f(x)=0,矛盾
2.
代入y=0,得 f(x)<=f(f(x)),和1. 得f有上界M,故f(x+y)<=yf(x)+M
3."f<=0"
若存在 f(z)>0,则as x→-inf,f(x)→-inf 从而 f(f(x))→-inf
[此因 f(z+y)<=yf(z)+M,对y取→-inf]
故 f(0) <= x(f(-x)) + M → -inf, as x→inf,矛盾
4.
代入y=f(x)-x,得 f(f(x))<=(f(x)-x)f(x)+f(f(x))
故 (f(x)-x)f(x)>=0。
因此,若f(a)<0,则f(a)<=a;否则 f(a)=0
特别的a=f(x)时,由2.知 f(a)>=a,故 f(a)=a,或f(a)=0
即对所有x, f(f(x))=f(x) 或 0
5."存在z使得 f(f(z))=0"
若不然,则所有x,f(f(x))=f(x)。
又对y>=0 f(x+y)<=yf(x)+f(f(x))<=f(f(x))=f(x)
知f为递减,因此f。f递增,两者又相等,f只好是常数。和1.矛盾
6. f(0)=f(f(f(z))<=0,但 f(f(f(z))>=f(f(z))=0,故 f(0)=0
7. 若x<0,0=f(0)=f(x+(-x))<=(-x) f(x) <=0,故 f(x)=0
--
r=e^theta
即使有改变,我始终如一。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 67.194.14.54