拼成指的是不重不漏的填满
根据 de Bruijn 和 Klarner 的定理:
一个 $m\times n$ 的整数网格矩形,可被 $a\times b$ 矩形完全铺满,当且仅当:
$$
ab\mid mm
$$
$$
\exists_{x_1,x_2,y_1,y_2\geq0},((m=ax_1+by_1)\wedge(n=ax_2+by_2))
$$
$$
(a\mid m \vee b\mid m)\wedge(a\mid n \vee b\mid n)
$$
下面来看 $4\times 9$ 矩形铺满 $12150\times 12150$ 正方形,考虑
故不能。

给大正方形的第k行第j列的小正方格赋值i^(k+j),其中i为虚数单位。
注意到4×9的小长方形放入正方格后在所给赋值下所包括的和为0,但是大正方形在所给赋值下和不为0。则不能拼成。
为什么长比宽大?
那就换一下