20/03/15 22:52:12 cOtagSUy.net
>>661
怖くなってきたので煩雑ですが一応証明を書いておきます。
「nは偶数,k∈{1,2,...,n}とする。
1<√(n+1),√(n-1)(n+1)<n<√{n(n+1)}<n+1より、区間[0,1)∪[n,n+1)には√{k(n+1)}が一つ含まれる.
i,j∈{1,2,...,n-1}とする。
(i+1)^2-i^2=2i+1<2(n+1)より区間[i,i+1)に含まれるような√{k(n+1)}は高々２個。
[i,i+1)に√{k(n+1)}が２個含まれる
⇔i<√{j(n+1)},√{(j+1)(n+1)}<i+1
⇔i^2<(n+1)j,(n+1)(j+1)<(i+1)^2
⇒(n-i)^2>(n+1)(n+1-2i)+(n+1)(j+1)>(n+1)(n-2i+j)
(n-i+1)^2<(n+1)(n+1-2i)+(n+1)j=(n+1)(n-2i+j+1)
⇔√{(n-2i+j)(n+1)}<n-i,n-i+1<√{(n+1)(n-2i+j+1)}
⇔[n-i,n-i+1)に√{k(n+1)}が0個含まれる
[i,i+1)に√{k(n+1)}が0個含まれる
√{j(n+1)}<i,i+1<√{(j+1)(n+1)}
⇔j(n+1)<i^2,(i+1)^2<(j+1)(n+1)
⇒(n-i)^2<(n+1)^2-2(n+1)(i+1)+(n+1)(j+1)=(n+1)(n-2i+j)
(n-i+1)^2>(n+1)^2-2(n+1)i+j(n+1)=(n+1)(n-2i+j+1)
⇒√{(n+1)(n-2i+j)}<n-i,n-i+1<√{(n+1)(n-2i+j+1)}
⇔[n-i,n-i+1)に√{k(n+1)}が2個含まれる
[i,i+1)に1個含まれる
√{(j-1)(n+1)}<i≦√{j(n+1)}<i+1<√{(j+1)(n+1)}
⇔(j-1)(n+1)<i^2≦j(n+1)<(i+1)^2<(j+1)(n+1)
⇒√{(n+1)(n-2i+j-1)}<n-i<√{(n+1)(n-2i+j)}<n-i+1≦√{(n+1)(n-2i+j+1)}
⇔[n-i,n-i+1)に√{k(n+1)}が１個含まれる
よって,i≠n/2,ならば[i,i+1)∪[n-i,n-i+1)には√{k(n+1)}が２個含まれ、
i=n/2ならば[i,i+1)には√{k(n+1)}が１個含まれる。
n≡0,2(mod 4)で場合分けして考えると、題意の成立がわかる。」
上の証明が合っていれば似たような解法でおそらくN{k:a(k)=pd±i}+N{k:a(k)=n-pd∓i}=2(複合同順)が示せて、>>658の一般化も示せそうなのですが、間違っていたら元も子もないですね。