0220132人目の素数さん
2018/02/05(月) 21:20:27.96ID:hVMqE3T+= aba (ba)^n bab = aba b^n a^n bab [m=n]
= (ab)^2 b^(n-1) a^(n-1) (ab)^2 = a^2 b^2 b^(n-1) a^(n-1) a^2 b^2 [m=2]
= a^2 b^(n+1) a^(n+1) b^2 = a^2 (ba)^(n+1) b^2 [m=n+1]
= a (ab)^(n+2) b = a a^(n+2) b^(n+2) b [m=n+2]
= a^(n+3) b^(n+3)
一種のパズルだね