ぐりぐり

仕事の合間に素数の乗数で約数の和をいじってみた
自然数a>0,n>0
An = a^0+a^1+a^2+...+a^nAnはaの乗数の和である。
 
a^n^+^1
= (a-1)(a^0+a^1+a^2+...+a^n)+1 = a*a^n(謎の展開)
= aAn-An+1
aAn=a^1+a^2+a^3+...+a^n^+^1なので
aAn-An+1=a^1+a^2+a^3+...a^n^+^1 -(a^0+a^1+a^2+...+a^n) +1 = a^n^+^1-a0+1=a^n^+^1
 
さて 
a^n^+^1 = An+Bnとする。
Bn=a^n^+^1-An
Bn=a^n^+^1-(a^0+a^1+a^2+...+a^n)
Bn=aAn-An+1-An
Bn=aAn-2An+1
Bn=(a-2)An-1

とりあえずここまで。ねよねよ。
Bnはn進数でのAnの補数になっている点についてが説明できないんだけど、なんかおもしろかった。