20/03/16 20:13:24.31 8zVl3xLP.net
>>678への自己レス。
もしj=0のときは条件「b_i(k)=i」は単に「b_i(k)=0」と同じ条件と考える、のだったら、
>>658はあってそうです。
>>667の最後の段落について。
いや、前段までの論法で既に、整数部分がn/2より大のエリアと
整数部分がn/2より小のエリアでの、[i,i+1)∪[n-i,n-i+1)に必ず整数部分が2個含まれるという"対称性"は示されているから、
より大エリアでの余りがjなら、より小エリアでの余りは-jなわけで、
全体をトータルで考えて和をとれば2倍カウントすることになるわけで、「ほぼ」証明終わってませんか？
しかし、Excel眺めてるだけではこの"2個対称性"は気付かなかったな…
いわれてみれば確かにそうなのですが、すごい