22/06/23 14:07:04.72 YWNtBQte.net
0↔1の入れ替えをtで表すと
a1=1
an+1=an.(an)t.(an)^.cn
かな
帰納的に
bn=(an)t
から
bn+1=bn.an.bn^.n=(an)t.(an)tt.(an)t^.cn=(an.(an)t.((an)^.cn)t=(an+1)t
が示せる
22/06/23 14:07:04.72 YWNtBQte.net
0↔1の入れ替えをtで表すと
a1=1
an+1=an.(an)t.(an)^.cn
かな
帰納的に
bn=(an)t
から
bn+1=bn.an.bn^.n=(an)t.(an)tt.(an)t^.cn=(an.(an)t.((an)^.cn)t=(an+1)t
が示せる