最後のぶどう...甘し♪
問題17299・・・
http://task.naganoblog.jp/c56195_4.html より 引用 Orz〜
解答
・わたしの...
na-(n+1)b=n(a-b)-b
(n+1)b-na=n(b-a)+b
a=b=5で満たしてる ^^
so...
Max{a1}=5
ね ^^
↑
ことはそう単純じゃなかったわ ^^; Orz...
↓
・鍵コメT様からのもの Orz〜
a[1]はもっと大きくすることができます.
例えばa[1]=6,a[n]=n (n≧2)は条件を満たしますね.
a[n]は,nが10までについては,隣の項がどのように指定されても,
必ず条件を満たして設定できます.
(どんな自然数を元にしても,5までの変化でk (k:1〜10)の倍数に
することが可能ですね.)
・・・±5の範囲...10の範囲には1〜9の倍数があるからですね ^^
すると,例えば「a[11]以降はa[n]=5n」となるようにするとして,
a[10]は55との差が5までの10の倍数だから,60まで大きくでき,
a[9]は60との差が5までの9の倍数だから,63まで大きくできます.
以下同様に,
a[8]=64,a[7]=63,a[6]=66,a[5]=70,a[4]=72,a[3]=75,a[2]=80,a[1]=85
が可能です.
*ここまできて、面白い問題だったことに気づきましたわ ^^;☆
後は,a[11]が66以上となることがあり得るかどうかが問題です.
b[n]=a[n]/nとおく.
b[11]≧6と仮定する.
b[12]≦5とすれば,a[11]≧66かつa[12]≦60より|a[11]-a[12]|>5で不適.
よって,b[12]≧6.
b[13]≦5とすれば,a[12]≧72かつa[13]≦65より|a[12]-a[13]|>5で不適.
よって,b[13]≧6.
同様に繰り返して,b[n]≧6 (n=12,13,14,…).…[*]
b[12]≧b[11]とすれば,
a[12]-a[11]=12b[12]-11b[11]≧12b[11]-11b[11]=b[11]>5で不適.
よって,b[12]<b[11].
b[13]≧b[12]とすれば,
a[13]-a[12]=13b[13]-12b[12]≧13b[12]-12b[12]=b[12]>5で不適.
よって,b[13]<a[12].
同様に繰り返して,b[11]>b[12]>b[13]>….
b[11]から自然数値が減少していくと,いつかは5以下に到達するはずで,
これは[*]に矛盾する.
以上より,b[11]≧6とはならず,a[11]≦55.
したがって,a[1]の最大値は85です.
*納得させられましたぁ!!...♪
・鍵コメT様からのわたしのコメ欄への愚問に ^^; 対する追加説明 Orz〜v
a[8]=120に対しては,a[7]=119が可能です.
というか,a[1]〜a[10]に対しては,必ず適する値がとれます.
0:38〜0:39のコメントで証明したように,a[11]を66以上にはできません.
n≧12に対してa[n]は,直前の項との差を5以下にしてnの倍数にするので,
適するものは高々1つであり,順次,値が定まっていき,
どこかで「不適」が生じることになります.
具体的には,
a[11]=121に対してはa[12]=120,a[13]=117,a[14]=112に限定され,
a[15]として適するものはありません.
a[11]=209に対しては
a[12]=204,a[13]=208,a[14]=a[15]=210,a[16]=208,a[17]=204までいけますが,
a[18]として適するものはありません.
*そういうことでした...〜m(_ _)m〜v