13/06/12 19:43:39.85
>>220
2^n×2^nのチェス盤について考える
(i)n=1のとき、
L字牌1つで埋まる
(ii)n=kのとき成り立つと仮定する
n=k+1のとき、
2^(k+1)×2^(k+1)=4×2^k×2^kより、
2^k×2^kのチェス盤を四方に並べたものとして考える
ここで、2^(k+1)×2^(k+1)のチェス盤の中央(2^k×2^kのチェス盤の角が互いに接し合う場所)にL字牌を置くと、L字牌が重なっている2^k×2^kのチェス盤は1マス除かれた状態のため、仮定からL字牌で敷き詰められる
また、L字牌が重なっていない2^k×2^kのチェス盤から1マス抜けば、仮定からL字牌で敷き詰められる
(i),(ii)から数学的帰納法より成り立つ
したがってn=7のときの
128×128のチェス盤でも成り立つ