对上一步的条件取否定,格子 (x,y)(x,y)(x,y) 完全没有合法着法,恰好当 101−k≤x≤k101-k\le x\le k101−k≤x≤k 且 101−k≤y≤k101-k\le y\le k101−k≤y≤k 时成立;这是一个边长为 k−(101−k)+1=2k−100k-(101-k)+1=2k-100k−(101−k)+1=2k−100 的方块 SSS,故 ∣S∣=(2k−100)2|S|=(2k-100)^2∣S∣=(2k−100)2。SSS 中的格子是孤立的,而其余 1002−(2k−100)2100^2-(2k-100)^21002−(2k−100)2 个格子各自至少有一个着法。因为当 k≤99k\le99k≤99 时 101−k≥2101-k\ge2101−k≥2,起点 (1,1)(1,1)(1,1) 永远不属于 SSS。