|
整数全体に対して定義され、正の整数値をとる関数fがあり、任意の整数m,nに対し、f(m)-f(n)がf(m-n)で割り切れるとする。
整数m,nがf(m)<=f(n)をみたすならば、f(n)がf(m)で割り切れることを示せ。
解答
な〜〜〜んにも思いつかない…^^; ・鍵コメT様からのもの Orz〜
f(m)-f(0)はf(m)の倍数だから,f(0)はf(m)の倍数.
よって,fのとり得るすべての値に対し,f(0)はその倍数となり, f(0)は正の整数だから,fのとり得る値は有限個に限定される.…[*] f(m)=a,f(n)=b,a<bで,bがaの倍数でないと仮定する. f(m+n)-f(m)はf(n)で割り切れるから,f(m+n)はa+(bの倍数).…[1] f(m+n)-f(n)はf(m)で割り切れるから,f(m+n)はb+(aの倍数).…[2] [2]より,f(m+n)はaの倍数ではない. f(m+n)>0だから,[1]より,f(m+n)は,a+b以上である. よって,f(m+n)=b',m+n=n'とすると, 「f(m)=a,f(n')=b',a<b<b'で,b'はaの倍数でない」が成立する. この手続きを繰り返すと,fのとり得る値として, a,b,b',b'',b''',… (a<b<b'<b''<b'''<…) が得られることになり,[*]に反する. よって,仮定は誤りで,f(m)=a,f(n)=b,a<bであればbはaの倍数. *ちなみに...友人からは...この問題は難問とのことでした…^^
熟読玩味ぃ〜^^;v
・友人から届いたもの…
*いずれにしても難しや ^^;
|

- >
- Yahoo!サービス
- >
- Yahoo!ブログ
- >
- 練習用



