■φ形式の算法(その12)
n=2kのとき,(2^n+2Ln)/5は整数になる.
m=2k+1=n+1のとき,(2^m−2Lm)/5,すなわち,(2^n+1−2Ln+1)/5は整数になる.
m=2k−1=n−1のとき,(2^n-1−2Ln-1)/5は整数になる.
===================================
nが偶数のとき,
(2^n+2Ln)/5±(2^n+1−2Ln+1)/5±(2^n-1−2Ln-1)/5
は整数になる.
Ln+1=Ln+Ln-1
が使えるように
(2^n+2Ln)/5+(2^n+1−2Ln+1)/5−(2^n-1−2Ln-1)/5
とすると,
(2^n+2^n+1−2^n-1)/5
は整数になる.
2^n-1(2+4−1)/5=2^n-1
は整数となる.
===================================
[まとめ]当たり前の結果であった.
===================================