de Bruijn's theorem

De Bruijn was led to prove this result after his then-seven-year-old son, F. W. de Bruijn, was unable to pack bricks of dimension $1\backslash cdot\; 2\backslash cdot\; 4$ into a $6\backslash cdot\; 6\backslash cdot\; 6$ cube.{{citation

| last = Honsberger | first = Ross

| isbn = 9780883853009

| location = Washington, DC

| page = 69

| publisher = Mathematical Association of America

| title = Mathematical Gems II

| year = 1976}}.{{citation

| last = Nienhuys | first = J. W.

| editor1-last = Kloks | editor2-first = Ling-Ju |editor2-last = Hung | editor1-first = Ton

| date = September 11, 2011

| page = 156

| title = De Bruijn's combinatorics: classroom notes

| url = https://books.google.com/books?id=AsXUY604pewC&pg=PA156}}. The cube has a volume equal to that of $27$ bricks, but only $26$ bricks may be packed into it. One way to see this is to partition the cube into $27$ smaller cubes of size $2\backslash cdot\; 2\backslash cdot\; 2$ colored alternately black and white. This coloring has more unit cells of one color than of the other, but with this coloring any placement of the $1\backslash cdot\; 2\backslash cdot\; 4$ brick must have equal numbers of cells of each color. Therefore, any tiling by bricks would also have equal numbers of cells of each color, an impossibility.{{citation

| last = Watkins | first = John J.

| isbn = 9781400840922

| page = 226

| publisher = Princeton University Press

| title = Across the Board: The Mathematics of Chessboard Problems

| url = https://books.google.com/books?id=LtoSZmGzVs4C&pg=PA226

| year = 2012}}. De Bruijn's theorem proves that a perfect packing with these dimensions is impossible, in a more general way that applies to many other dimensions of bricks and boxes.

Suppose that a $d$-dimensional rectangular box (mathematically a cuboid) has integer side lengths $A\_1\; \backslash cdot\; A\_2\; \backslash cdot\; \backslash dotso\; \backslash cdot\; A\_d$ and a brick has lengths $a\_1\; \backslash cdot\; a\_2\; \backslash cdot\; \backslash dotso\; \backslash cdot\; a\_d$. If the sides of the brick can be multiplied by another set of integers $b\_i$ so that $a\_1b\_1,a\_2b\_2,\backslash dots\; a\_d\; b\_d$ are a permutation of $A\_1,\; A\_2,\backslash dots,A\_d$, the box is called a multiple of the brick. The box can then be filled with such bricks in a trivial way with all the bricks oriented the same way.

Not every packing involves boxes that are multiples of bricks. For instance, as de Bruijn observes, a $5\backslash cdot\; 6$ rectangular box can be filled with copies of a $2\backslash cdot\; 3$ rectangular brick, although not with all the bricks oriented the same way. However, {{harvtxt|de Bruijn|1969}} proves that if the bricks can fill the box, then for each $a\_i,$ at least one of the $A\_i$ is a multiple. In the above example, the side of length $6$ is a multiple of both $2$ and $3$.

The second of de Bruijn's results, the one called de Bruijn's theorem, concerns the case where each side of the brick is an integer multiple of the next smaller side. De Bruijn calls a brick with this property harmonic. For instance, the most frequently used bricks in the USA have dimensions $2\backslash tfrac\{1\}\{4\}\backslash cdot\; 4\backslash cdot\; 8$ (in inches), which is not harmonic, but a type of brick sold as "Roman brick" has the harmonic dimensions $2\backslash cdot\; 4\backslash cdot\; 12$.{{citation

| last = Kreh | first = R. T.

| edition = 5th

| isbn = 9780766859364

| page = 18

| publisher = Cengage Learning

| title = Masonry Skills

| url = https://books.google.com/books?id=e3gyN-TPRd4C&pg=PA18

| year = 2003}}.

De Bruijn's theorem states that, if a harmonic brick is packed into a box, then the box must be a multiple of the brick. For instance, the three-dimensional harmonic brick with side lengths 1, 2, and 6 can only be packed into boxes in which one of the three sides is a multiple of six and one of the remaining two sides is even.{{citation

| last1 = Stein | first1 = Sherman K. | author1-link = Sherman K. Stein

| last2 = Szabó | first2 = Sándor

| isbn = 0-88385-028-1

| location = Washington, DC

| mr = 1311249

| publisher = Mathematical Association of America

| series = Carus Mathematical Monographs

| title = Algebra and Tiling: Homomorphisms in the Service of Geometry

| title-link = Algebra and Tiling: Homomorphisms in the Service of Geometry

| at = [https://books.google.com/books?id=QOa-mnX5Y4QC&pg=PA52 p. 52]

| volume = 25

| year = 1994}}. Packings of a harmonic brick into a box may involve copies of the brick that are rotated with respect to each other. Nevertheless, the theorem states that the only boxes that can be packed in this way are boxes that could also be packed by translates of the brick.

{{harvtxt|Boisen|1995}} provided an alternative proof of the three-dimensional case of de Bruijn's theorem, based on the algebra of polynomials.{{citation

| last = Boisen | first = Paul

| doi = 10.1016/0012-365X(94)00070-1

| issue = 1–3

| journal = Discrete Mathematics

| mr = 1360122

| pages = 285–287

| title = Polynomials and packings: a new proof of de Bruijn's theorem

| volume = 146

| year = 1995| doi-access =

}}.

The third of de Bruijn's results is that, if a brick is not harmonic, then there is a box that it can fill that is not a multiple of the brick. The packing of the $2\backslash cdot\; 3$ brick into the $5\backslash cdot\; 6$ box provides an example of this phenomenon.

File:7x10 box packed with 2x5 bricks.svg

In the two-dimensional case, the third of de Bruijn's results is easy to visualize. A box with dimensions $A\_1=a\_1$ and $A\_2=a\_1\backslash cdot\; a\_2$ is easy to pack with $a\_1$ copies of a brick with dimensions $a\_1,a\_2$, placed side by side. For the same reason, a box with dimensions $A\_1=a\_1\backslash cdot\; a\_2$ and $A\_2=a\_2$ is also easy to pack with copies of the same brick. Rotating one of these two boxes so that their long sides are parallel and placing them side by side results in a packing of a larger box with $A\_1=a\_1+a\_2$ and $A\_2=a\_1\backslash cdot\; a\_2$. This larger box is a multiple of the brick if and only if the brick is harmonic.

{{reflist}}

• {{mathworld|title=de Bruijn's Theorem|urlname=deBruijnsTheorem|mode=cs2}}

Category:Theorems in discrete geometry