{"id":4329,"date":"2022-09-12T12:42:57","date_gmt":"2022-09-12T10:42:57","guid":{"rendered":"https:\/\/erlebnisland-mathematik.de\/?page_id=4329"},"modified":"2023-01-26T11:32:59","modified_gmt":"2023-01-26T10:32:59","slug":"advanced-text-klarners-theorem","status":"publish","type":"page","link":"https:\/\/erlebnisland-mathematik.de\/en\/advanced-text-klarners-theorem\/","title":{"rendered":"Advanced text Klarner&#8217;s theorem"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><p>[vc_row drowwidth=&#8221;sidebar-biest-default sidebar-biest&#8221;][vc_column][vc_column_text]<\/p>\n<h1>Klarner&#8217;s theorem<\/h1>\n<p> <em>How do I fit as many boxes and suitcases as possible into my much too small car? How are container ships loaded in the most space-saving way possible? How can I cut out as many biscuits as possible from a sheet of dough? How does the layout artist fill a newspaper page with as many advertisements as possible without gaps?<\/em><\/p>\n<p>Such questions, which play a major role in everyday life and in business, are what mathematicians call <em>packing problems<\/em>. They were a speciality of the American mathematician <em>David A. Klarner<\/em> (\u20201999).<\/p>\n<p>A puzzle in the Maths Adventure Land refers to one of its central statements. <em>Klarner&#8217;s theorem<\/em> states: A rectangle of dimension <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-545b5759b316795e81035cb2d31f7de5_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"13\" width=\"39\" style=\"vertical-align: 0px;\"\/>, which consists of squares with side length 1, can be filled without gaps with <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-cdef1f01795cdcab86624b3d37c0a9b5_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#49;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"39\" style=\"vertical-align: 0px;\"\/>-sized strips if at least one of the side lengths <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-257a8ff50082f387c96ed391c555a28d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> or <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-522dc16829b6bc97d06ce10c3e5dabb7_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"13\" width=\"9\" style=\"vertical-align: 0px;\"\/> is divisible by <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>. The rectangle in the Maths Adventure Land is divided into <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-dbb4fde5eba6176604ddd3f6485444a2_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#49;&#48;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#49;&#48;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"56\" style=\"vertical-align: 0px;\"\/>, or <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-ad119088d6971418ce54181b10a862b5_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#49;&#48;&#48;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"26\" style=\"vertical-align: 0px;\"\/> squares. The strips with which this area is to be filled consist of four squares of the same size arranged in a row one behind the other. <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-aff3382458a58d918525a6e04acf8992_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#50;&#53;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"17\" style=\"vertical-align: 0px;\"\/> of these strips also make <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-ad119088d6971418ce54181b10a862b5_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#49;&#48;&#48;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"26\" style=\"vertical-align: 0px;\"\/> squares.[\/vc_column_text][vc_column_text]However, the task of completely covering the rectangle with the strips is not solvable. If <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-17f73ffa44ca24d0a8af5e5392f4b2ae_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#50;&#52;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"18\" style=\"vertical-align: 0px;\"\/> strips are placed on the surface, in no case a row of <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-66a2fa87506de0b52df08512caab6bda_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#52;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"9\" style=\"vertical-align: 0px;\"\/> squares remains free for the 25th strip, but always a square field of <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-2b4cfc2ebe6fd792c107b410e45967e2_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#50;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#50;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"39\" style=\"vertical-align: 0px;\"\/> small squares. Klarner&#8217;s theorem is thus confirmed, because the side length <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-7068445ac173f03179970a1539709eae_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#49;&#48;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"17\" style=\"vertical-align: 0px;\"\/> is not divisible by the strip length <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-66a2fa87506de0b52df08512caab6bda_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#52;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"9\" style=\"vertical-align: 0px;\"\/>.[\/vc_column_text][vc_single_image image=&#8221;1269&#8243; img_size=&#8221;large&#8221; alignment=&#8221;center&#8221;]Figure 1: Exhibit in the Maths Adventure Land[\/vc_single_image][vc_column_text]<\/p>\n<h3>And now &#8230; the mathematics:<\/h3>\n<p>[\/vc_column_text][vc_column_text]The <em>divisibility<\/em> of the large area of <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-dbb4fde5eba6176604ddd3f6485444a2_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#49;&#48;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#49;&#48;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"56\" style=\"vertical-align: 0px;\"\/> squares can be well illustrated if the diagonals are marked with four different colours. In the Maths Adventure Land, the 10 squares of the main diagonal from the bottom left to the top right are coloured <em>red<\/em>, the squares of the side diagonals connecting to the bottom right are coloured <em>blue<\/em>, <em>orange<\/em>, <em>green<\/em> and <em>red<\/em> again until the <em>blue<\/em> square in the corner. In reverse order, the secondary diagonals are coloured towards the top left, i.e. <em>green<\/em>, <em>orange<\/em>, <em>blue<\/em> and <em>red<\/em> again and so on until the <em>green<\/em> square in the corner (cf. Figure 2). In mathematical terms, if one identifies each square with a <em>grid point<\/em> <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-2f5f74c90b5cefc1c911266fa67d084e_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#40;&#120;&#44;&#121;&#41;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"40\" style=\"vertical-align: -5px;\"\/> in the plane grid <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-93bce5cf126d29bd2980eb23d7344d23_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#109;&#97;&#116;&#104;&#98;&#98;&#32;&#90;&#92;&#116;&#105;&#109;&#101;&#115;&#92;&#109;&#97;&#116;&#104;&#98;&#98;&#32;&#90;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"45\" style=\"vertical-align: 0px;\"\/>, those grid points where <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-d4e9405e74e35005a7f1a32cf110cbb9_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#120;&#45;&#121;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"41\" style=\"vertical-align: -4px;\"\/> belong to the same residue class <em>modulo<\/em> <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-66a2fa87506de0b52df08512caab6bda_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#52;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"9\" style=\"vertical-align: 0px;\"\/> are coloured with the same colour.<\/p>\n<p>If you now distribute the strips of four in any order, each strip always covers one square of each of the four colours above. If you now add up all the squares of each colour, you get<\/p>\n<ul>\n<li><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-920a04f818075bf3d3a3c650ad89d06d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#49;&#48;&#43;&#50;&#92;&#99;&#100;&#111;&#116;&#32;&#54;&#43;&#50;&#92;&#99;&#100;&#111;&#116;&#32;&#50;&#61;&#50;&#54;\" title=\"Rendered by QuickLaTeX.com\" height=\"14\" width=\"163\" style=\"vertical-align: -2px;\"\/> red squares;<\/li>\n<li><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-7345559e8698bc375e321e6d44ca9c6d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#57;&#43;&#53;&#43;&#49;&#43;&#55;&#43;&#51;&#61;&#50;&#53;\" title=\"Rendered by QuickLaTeX.com\" height=\"14\" width=\"172\" style=\"vertical-align: -2px;\"\/> blue squares;<\/li>\n<li><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8c8e27a117a472bef67c0c8191836e6b_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#50;&#92;&#99;&#100;&#111;&#116;&#32;&#56;&#43;&#50;&#92;&#99;&#100;&#111;&#116;&#32;&#52;&#61;&#50;&#52;\" title=\"Rendered by QuickLaTeX.com\" height=\"14\" width=\"124\" style=\"vertical-align: -2px;\"\/> orange squares;<\/li>\n<li><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-add52186cf58697a460471db9659d621_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#55;&#43;&#51;&#43;&#57;&#43;&#53;&#43;&#49;&#61;&#50;&#53;\" title=\"Rendered by QuickLaTeX.com\" height=\"14\" width=\"172\" style=\"vertical-align: -2px;\"\/> green squares.<\/li>\n<\/ul>\n<p>[\/vc_column_text][vc_single_image image=&#8221;1273&#8243; img_size=&#8221;large&#8221; alignment=&#8221;center&#8221;]Figure 2[\/vc_single_image][vc_column_text]So our conclusion is: If each strip of four covers all four colours, there are only as many strips on the large surface as there are squares of the colour that occurs most rarely. In the example, these are the <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-17f73ffa44ca24d0a8af5e5392f4b2ae_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#50;&#52;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"18\" style=\"vertical-align: 0px;\"\/> orange squares. No matter how the strips are laid, there will always be one green, one blue and two red squares left. An overlapping of these last four fields by the last remaining strip is impossible!<\/p>\n<p>The proof of Klarner&#8217;s general theorem &#8212; as formulated above &#8212; is now easy to derive from the proof of the special case presented in the Maths Adventure Land: Instead of four, <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> colours must now be used and we colour the points <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-2f5f74c90b5cefc1c911266fa67d084e_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#40;&#120;&#44;&#121;&#41;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"40\" style=\"vertical-align: -5px;\"\/> of the rectangle <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-e6bffe091934a5b42cc496826d1fd074_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#123;&#49;&#44;&#92;&#108;&#100;&#111;&#116;&#115;&#44;&#97;&#92;&#125;&#92;&#116;&#105;&#109;&#101;&#115;&#92;&#123;&#49;&#44;&#92;&#108;&#100;&#111;&#116;&#115;&#44;&#98;&#92;&#125;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"158\" style=\"vertical-align: -5px;\"\/> with the associated residue class of <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-d4e9405e74e35005a7f1a32cf110cbb9_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#120;&#45;&#121;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"41\" style=\"vertical-align: -4px;\"\/> <em>modulo<\/em> <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>. A strip of length <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> then always covers one square (grid point) of each of the <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> colours. If one of the lengths <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-257a8ff50082f387c96ed391c555a28d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> or <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-522dc16829b6bc97d06ce10c3e5dabb7_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"13\" width=\"9\" style=\"vertical-align: 0px;\"\/> (or both), say <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-257a8ff50082f387c96ed391c555a28d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>, is divisible by <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>, we can clearly fill this in with strips of length <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> by simply laying all the strips horizontally, thus forming <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-522dc16829b6bc97d06ce10c3e5dabb7_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"13\" width=\"9\" style=\"vertical-align: 0px;\"\/> <em>&#8220;<\/em><em>layers&#8221;<\/em> of <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-55fe725b6b6d0838ddf87ef1d407547c_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#47;&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"26\" style=\"vertical-align: -5px;\"\/> adjacent strips each.<\/p>\n<p>It therefore follows in particular that in such a rectangle there must be an equal number of squares (grid points) of each colour (&#8220;<em>residual class<\/em>&#8220;). Now it only remains to show that a rectangle where neither <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-257a8ff50082f387c96ed391c555a28d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> nor <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-522dc16829b6bc97d06ce10c3e5dabb7_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"13\" width=\"9\" style=\"vertical-align: 0px;\"\/> are divisible by <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> cannot be laid out by strips of length <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>. We show this with the help of the colouring above. If it were possible to lay out such a rectangle with stripes of length <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>, then, since each such stripe covers exactly one square (grid point) of each of the <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> colours, there should be the same number of squares (grid points) of each colour in this rectangle. It is therefore sufficient to show that this is not the case. So, by first <em>&#8220;taking away&#8221;<\/em>from our rectangle of dimension <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-545b5759b316795e81035cb2d31f7de5_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"13\" width=\"39\" style=\"vertical-align: 0px;\"\/> a rectangle of dimension <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-37c9959f71aab470a0f3482fae79033f_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#40;&#110;&#92;&#108;&#102;&#108;&#111;&#111;&#114;&#32;&#97;&#47;&#110;&#92;&#114;&#102;&#108;&#111;&#111;&#114;&#41;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"97\" style=\"vertical-align: -5px;\"\/>, so that we get a new rectangle of dimension <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-47c99d427d468e4884b52b3567709c50_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#39;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"14\" width=\"44\" style=\"vertical-align: 0px;\"\/> with <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-2566d7b7ada5b710147b471701dc51e1_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#39;&#61;&#97;&#45;&#110;&#92;&#108;&#102;&#108;&#111;&#111;&#114;&#32;&#97;&#47;&#110;&#92;&#114;&#102;&#108;&#111;&#111;&#114;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"116\" style=\"vertical-align: -5px;\"\/>, and then <em>&#8220;subtract&#8221;<\/em>a rectangle of dimension <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-6c6c79f8d5e5169cf396a22dbd3a2707_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#39;&#92;&#116;&#105;&#109;&#101;&#115;&#40;&#110;&#92;&#108;&#102;&#108;&#111;&#111;&#114;&#32;&#98;&#47;&#110;&#92;&#114;&#102;&#108;&#111;&#111;&#114;&#41;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"100\" style=\"vertical-align: -5px;\"\/> from it, we get a rectangle of dimension <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-42bba2eb59d5e297041fcb5e2cb28f53_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#39;&#92;&#116;&#105;&#109;&#101;&#115;&#32;&#98;&#39;\" title=\"Rendered by QuickLaTeX.com\" height=\"14\" width=\"48\" style=\"vertical-align: 0px;\"\/>, where <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-4bb65021efa9edc8009331d4d6519ee5_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#98;&#39;&#61;&#98;&#45;&#110;&#92;&#108;&#102;&#108;&#111;&#111;&#114;&#32;&#98;&#47;&#110;&#92;&#114;&#102;&#108;&#111;&#111;&#114;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"119\" style=\"vertical-align: -5px;\"\/> (here <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-62d0f7991dad2a772e7e21cec438e331_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#108;&#102;&#108;&#111;&#111;&#114;&#32;&#120;&#92;&#114;&#102;&#108;&#111;&#111;&#114;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"20\" style=\"vertical-align: -5px;\"\/> denotes the largest integer <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-e7a1e4e2bd684c6a13ab3f46a2341d5d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#108;&#101;&#113;&#32;&#120;\" title=\"Rendered by QuickLaTeX.com\" height=\"15\" width=\"28\" style=\"vertical-align: -3px;\"\/>). This new rectangle now satisfies <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-6dd9fdb9c3add70b5749b1610b6c1698_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#48;&#32;&#60;&#32;&#97;&#39;&#44;&#98;&#39;&#32;&#60;&#32;&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"17\" width=\"100\" style=\"vertical-align: -3px;\"\/> (since <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-257a8ff50082f387c96ed391c555a28d_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> and <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-522dc16829b6bc97d06ce10c3e5dabb7_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#98;\" title=\"Rendered by QuickLaTeX.com\" height=\"13\" width=\"9\" style=\"vertical-align: 0px;\"\/> were not divisible by <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>) and we show that not all colours can occur in it with equal frequency. Since each colour appears equally often in our &#8220;<em>subtracted<\/em>&#8221; rectangles, not all colours appear with the same frequency in the original rectangle either.<\/p>\n<p>But this assertion is easy to see, because since <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-40a601c91d5b3d870cbe5c28cd8ef8d7_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#39;&#44;&#98;&#39;&#32;&#60;&#32;&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"17\" width=\"67\" style=\"vertical-align: -3px;\"\/> the only way that a grid point of the new rectangle <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-d558d8c1b6b14cf59eed251d0a62a4e9_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#123;&#49;&#44;&#92;&#108;&#100;&#111;&#116;&#115;&#44;&#97;&#39;&#92;&#125;&#92;&#116;&#105;&#109;&#101;&#115;&#92;&#123;&#49;&#44;&#92;&#108;&#100;&#111;&#116;&#115;&#44;&#98;&#39;&#92;&#125;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"167\" style=\"vertical-align: -5px;\"\/>, say <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-2f5f74c90b5cefc1c911266fa67d084e_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#40;&#120;&#44;&#121;&#41;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"40\" style=\"vertical-align: -5px;\"\/>, is coloured with residue class <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-c8e144ba50e4888e76f9596d5722fea6_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#48;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"9\" style=\"vertical-align: 0px;\"\/> modulo <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/> is that <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-625a2492ae7bfe21a7331c7045ee5bc3_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#120;&#61;&#121;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"43\" style=\"vertical-align: -4px;\"\/>, because otherwise either <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-82fc2d197e22b7961d3138638812f927_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#120;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"10\" style=\"vertical-align: 0px;\"\/> or <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-7d66fb62a1b86120e9f14f3ac7cbaeaa_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#121;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"10\" style=\"vertical-align: -4px;\"\/> would have to be greater than <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-8ad02d5f0d297c7adacb6b8c4f9fee74_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"8\" style=\"vertical-align: 0px;\"\/>. Thus there is exactly <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-ca542b35935cd2f82ca66afdb7c05a88_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#109;&#61;&#92;&#109;&#105;&#110;&#40;&#97;&#39;&#44;&#98;&#39;&#41;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"113\" style=\"vertical-align: -5px;\"\/> of such grid points. If all colours were to appear with the same frequency, our rectangle would have to have exactly <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-b3415e6e88e167454c7037dae13e042b_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#109;&#92;&#99;&#100;&#111;&#116;&#32;&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"8\" width=\"35\" style=\"vertical-align: 0px;\"\/> points. But it is easy to see that <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/erlebnisland-mathematik.de\/wp-content\/ql-cache\/quicklatex.com-3cb9e3c7e86362c1d91459389857717a_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#97;&#39;&#92;&#99;&#100;&#111;&#116;&#32;&#98;&#39;&#32;&#60;&#32;&#109;&#92;&#99;&#100;&#111;&#116;&#32;&#110;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"99\" style=\"vertical-align: -2px;\"\/>. Thus we obtain the desired contradiction and Klarner&#8217;s theorem is proved (in its full generality).[\/vc_column_text][vc_column_text]<\/p>\n<h3>Literature<\/h3>\n<p>[\/vc_column_text][vc_column_text][1] Klarner, D.A.: <em>Packing Boxes with congruent figures<\/em>, in: American Mathematical Monthly 1<em>,<\/em> S. 100&#8211;105, 1964.<\/p>\n<p>[2] Klarner, D.A. (Hrsg.): <em>Mathematical Recreations: A Collection in Honor of Martin Gardner<\/em>, Dover, 1998 (Reprint der unter dem Titel <em>The Mathematical Gardner<\/em>, Boston 1982, erschienenen Originalausgabe).<\/p>\n<p>[3] Sachs, K.: <em>Die S\u00e4tze von D. Klarner und N.G. de Bruijn als Exponate<\/em>, Bachelor-Arbeit am Institut f\u00fcr Algebra der TU Dresden, 2010.[\/vc_column_text][\/vc_column][\/vc_row]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>[vc_row drowwidth=&#8221;sidebar-biest-default sidebar-biest&#8221;][vc_column][vc_column_text] Klarner&#8217;s theorem How do I fit as many boxes and suitcases as possible into my much too small car? How are container ships loaded in the most space-saving way possible? How can I cut out as many biscuits as possible from a sheet of dough? How does the layout artist fill a <a href=\"https:\/\/erlebnisland-mathematik.de\/en\/advanced-text-klarners-theorem\/\" class=\"more-link\">&#8230;<span class=\"screen-reader-text\">  Advanced text Klarner&#8217;s theorem<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"folder":[],"class_list":["post-4329","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/pages\/4329","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/comments?post=4329"}],"version-history":[{"count":5,"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/pages\/4329\/revisions"}],"predecessor-version":[{"id":4418,"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/pages\/4329\/revisions\/4418"}],"wp:attachment":[{"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/media?parent=4329"}],"wp:term":[{"taxonomy":"folder","embeddable":true,"href":"https:\/\/erlebnisland-mathematik.de\/en\/wp-json\/wp\/v2\/folder?post=4329"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}