18/09/22 10:31:45.18 ctBQxeJa.net
>>586
すばらしい。よく見つけましたね。
次の２１個の敷き詰め方があるので、予想の反例とはならないですね。
┏━○┏━○┏━○
┃┏━┃┏━┃○
○┃┏━┃┏━
┏━┃┏━┃
┃┏━┃○
○┃┏━
┏━┃
┃○
○
＞n=2kのとき a[n]=k^2 - 2[(2k-1)/5]。
>>568で言ったように、その式は間違いでした。
n=16まで描いてみたところ、次のようになりそうです：
a[1]=0, a[2]=1, a[3]=1, a[4]=4, a[5]=4, a[6]=7, a[7]=9,
n≧8のとき、a[n] = n(n+3)/6 + 2 (n≡0 mod 3), (n-1)(n+4)/6 (n≡1,2 mod 3)