数列 {a}と数列 {b}を初項から順に書き並べると
{a}:15, 23, 31, 39, 47, 55, 63, 71, 79, 87,
{6):1, 3, 7, 15, 31, 63,
ここで,数列{a.}の第1項が数列 {b.}の第 m 項(m24)と一致すると
仮定すると
8/+7= 2"-1
=2-3-1
m24 であるから,右辺は自然数となり,この等式を満たす自然数!は存在
する。したがって、n24 のとき,数列(b}の項はすべて数列{a») の項に
含まれる。
次に
Q40 = 327
b8= 2°-1=255, b = 2° -1= 511
a45= 367
であるから,数列 {ca} の初項から第40項までの数列は,数列 {a.} の初項か
ら第45項までの数列から,数列 {6.} の第4項から第8項までの5つの項を
除いたものとなる。よって
--と。
ba
…45{2·15+8(45-1)}-(15+31+63+127+255)
= 45(15+4·44)-491
= 8595-491
= 8104
圏 8104