diff --git a/.DS_Store b/.DS_Store index cecf2e69..09d1d2fb 100644 Binary files a/.DS_Store and b/.DS_Store differ diff --git a/packing/.DS_Store b/packing/.DS_Store index e2d4b7c8..c55b0647 100755 Binary files a/packing/.DS_Store and b/packing/.DS_Store differ diff --git a/packing/squinsqu/.DS_Store b/packing/squinsqu/.DS_Store deleted file mode 100755 index 15cd2ae5..00000000 Binary files a/packing/squinsqu/.DS_Store and /dev/null differ diff --git "a/packing/squinsqu/Icon\r" "b/packing/squinsqu/Icon\r" deleted file mode 100755 index e69de29b..00000000 diff --git a/packing/squinsqu/index.html b/packing/squinsqu/index.html old mode 100755 new mode 100644 index 76b6b48f..bbe38c73 --- a/packing/squinsqu/index.html +++ b/packing/squinsqu/index.html @@ -1,4 +1,3 @@ - Squares in Squares
Squares in Squares

The following pictures show n unit squares packed inside the smallest known square (of side length s). For the n not pictured, the trivial packing (with no tilted squares) is the best known packing.


1.
           2.
           3.
           4.
s = 1
Trivial.
s = 2
Proved by Frits Göbel
in 1979.
s = 2
Proved by Frits Göbel
in 1979.
s = 2
Trivial.


5.
           6.
           7.
           8.
s = 2 + 1 / √2 = 2.707+
Proved by Frits Göbel
in 1979.
s = 3
Proved by Michael Kearney
and Peter Shiu in April 2002.
s = 3
Proved by Erich Friedman
in 1999.
s = 3
Proved by Erich Friedman
in 1999.


9.
           10.
           11.
           13.
s = 3
Trivial.
s = 3 + 1 / √2 = 3.707+
Proved by Walter Stromquist
in 2003.
s = 3.877+
Found by Walter Trump
in 1979.
s = 4
Proved by Wolfram Bentz
in 2010.


14.
           15.
           17.
           18.
s = 4
Proved by Erich Friedman
in 1999.
s = 4
Proved by Erich Friedman
in 1999.
s = 4.675+
Found by John Bidwell
in 1997.
s = (7 + √7) / 2 = 4.822+
Found by Pertti Hamalainen
in 1979.


19.
           24.
           26.
s = 3 + 4 √2 / 3 = 4.885+
Found by Robert Wainwright
in 1979.
s = 5
Proved by Erich Friedman
in 1999.
s = 7 / 2 + 3 / √2 = 5.621+
Found by Erich Friedman
in 1997.


27.
           28.
           29.
s = 5 + 1 / √2 = 5.707+
Found by Frits Göbel
in 1979.
s = 3 + 2 √2 = 5.828+
Found by Frits Göbel
in 1979.
s = 5.934+
Found by Thierry Gensane
and Philippe Ryckelynck
in April 2004.


-
37.
           38.
           39.
s = 6.598+
Found by David W. Cantrell
in September 2002.
s = 6 + 1 / √2 = 6.707+
Found by Frits Göbel
in 1979.
s = 6.818+
Found by David W. Cantrell
in August 2002.


40.
           41.
           50.
s = 4 + 2 √2 = 6.828+
Found by Frits Göbel
in 1979.
s = 6.937+
Found by Joe DeVincentis
in April 2014.
s = 7.598+
Found by David W. Cantrell
in September 2002.


51.
           52.
           53.
s = 7.704+
Found by Károly Hajba
in July 2009.
s = 7 + 1 / √2 = 7.707+
Found by Frits Göbel
in 1979.
s = 7.823+
Found by David W. Cantrell
in September 2002.


54.
           55.
           65.
s = 7.846+
Found by Joe DeVincentis
in April 2014.
s = 7.954+
Found by Joe DeVincentis
in April 2014.
s = 5 + 5 / √2 = 8.535+
Found by Frits Göbel
in 1979.


66.
           67.
           68.
s = 3 + 4 √2 = 8.657+
Found by Evert Stenlund
in 1980.
s = 8 + 1 / √2 = 8.707+
Found by Frits Göbel
in 1979.
s = 15/2 + √7/2 = 8.822+
Found by David W. Cantrell
in September 2002.


69.
           70.
           71.
s = 8.828+
Found by Maurizio Morandi
in June 2010.
s = 8.881+
Found by Joe DeVincentis
in April 2014.
s = 8.960+
Found by Joe DeVincentis
in April 2014.


82.
           83.
           84.
s = 6 + 5 / √2 = 9.535+
Found by Frits Göbel
in 1979. -
s = 4 + 4 √2 = 9.657+
Found by Evert Stenlund
in 1980.
s = 9 + 1 / √2 = 9.707+
Found by Frits Göbel
in 1979.


85.
           86.
           87.
s = 11 / 2 + 3 √2 = 9.742+
Found by Erich Friedman
in 1997. -
s = 17 / 2 + √7 / 2 = 9.822+
Found by Erich Friedman
in 1997.
s = 9.851+
Found by David W. Cantrell
in August 2002.


88.
           89.
s = 9.901+
Found by David W. Cantrell
in August 2002.
s = 5 + 7 / √2 = 9.950+
Found by Evert Stenlund
in 1980.


For more details, see my paper on the subject: Packing Unit Squares in Squares: A Survey and New Results.

\ No newline at end of file + + +The squares in squares page is now being maintained by David Ellsworth. \ No newline at end of file diff --git a/packing/squinsqu/olds41.gif b/packing/squinsqu/olds41.gif deleted file mode 100644 index 29206a9b..00000000 Binary files a/packing/squinsqu/olds41.gif and /dev/null differ diff --git a/packing/squinsqu/olds54.gif b/packing/squinsqu/olds54.gif deleted file mode 100644 index 99a288b2..00000000 Binary files a/packing/squinsqu/olds54.gif and /dev/null differ diff --git a/packing/squinsqu/olds55.gif b/packing/squinsqu/olds55.gif deleted file mode 100644 index 28d532f3..00000000 Binary files a/packing/squinsqu/olds55.gif and /dev/null differ diff --git a/packing/squinsqu/olds70.gif b/packing/squinsqu/olds70.gif deleted file mode 100755 index 0d763392..00000000 Binary files a/packing/squinsqu/olds70.gif and /dev/null differ diff --git a/packing/squinsqu/olds71.gif b/packing/squinsqu/olds71.gif deleted file mode 100644 index 7aeec605..00000000 Binary files a/packing/squinsqu/olds71.gif and /dev/null differ diff --git a/packing/squinsqu/s1.gif b/packing/squinsqu/s1.gif deleted file mode 100755 index 151f2782..00000000 Binary files a/packing/squinsqu/s1.gif and /dev/null differ diff --git a/packing/squinsqu/s10.gif b/packing/squinsqu/s10.gif deleted file mode 100755 index a257e1b5..00000000 Binary files a/packing/squinsqu/s10.gif and /dev/null differ diff --git a/packing/squinsqu/s10b.gif b/packing/squinsqu/s10b.gif deleted file mode 100755 index 27451b3b..00000000 Binary files a/packing/squinsqu/s10b.gif and /dev/null differ diff --git a/packing/squinsqu/s11.gif b/packing/squinsqu/s11.gif deleted file mode 100755 index ba0082d6..00000000 Binary files a/packing/squinsqu/s11.gif and /dev/null differ diff --git a/packing/squinsqu/s13.gif b/packing/squinsqu/s13.gif deleted file mode 100644 index 9bd1a93b..00000000 Binary files a/packing/squinsqu/s13.gif and /dev/null differ diff --git a/packing/squinsqu/s14.gif b/packing/squinsqu/s14.gif deleted file mode 100644 index 3ee81ef8..00000000 Binary files a/packing/squinsqu/s14.gif and /dev/null differ diff --git a/packing/squinsqu/s15.gif b/packing/squinsqu/s15.gif deleted file mode 100644 index 2cef57d6..00000000 Binary files a/packing/squinsqu/s15.gif and /dev/null differ diff --git a/packing/squinsqu/s17.gif b/packing/squinsqu/s17.gif deleted file mode 100755 index a3e24ab9..00000000 Binary files a/packing/squinsqu/s17.gif and /dev/null differ diff --git a/packing/squinsqu/s18.gif b/packing/squinsqu/s18.gif deleted file mode 100755 index c55b692d..00000000 Binary files a/packing/squinsqu/s18.gif and /dev/null differ diff --git a/packing/squinsqu/s18b.gif b/packing/squinsqu/s18b.gif deleted file mode 100755 index 360fa616..00000000 Binary files a/packing/squinsqu/s18b.gif and /dev/null differ diff --git a/packing/squinsqu/s19.gif b/packing/squinsqu/s19.gif deleted file mode 100755 index aafc8d4f..00000000 Binary files a/packing/squinsqu/s19.gif and /dev/null differ diff --git a/packing/squinsqu/s2.gif b/packing/squinsqu/s2.gif deleted file mode 100755 index c3928b80..00000000 Binary files a/packing/squinsqu/s2.gif and /dev/null differ diff --git a/packing/squinsqu/s24.gif b/packing/squinsqu/s24.gif deleted file mode 100644 index 2de1c0cc..00000000 Binary files a/packing/squinsqu/s24.gif and /dev/null differ diff --git a/packing/squinsqu/s26.gif b/packing/squinsqu/s26.gif deleted file mode 100755 index 35ce72c9..00000000 Binary files a/packing/squinsqu/s26.gif and /dev/null differ diff --git a/packing/squinsqu/s27.gif b/packing/squinsqu/s27.gif deleted file mode 100755 index bb18e679..00000000 Binary files a/packing/squinsqu/s27.gif and /dev/null differ diff --git a/packing/squinsqu/s28.gif b/packing/squinsqu/s28.gif deleted file mode 100755 index 6998b315..00000000 Binary files a/packing/squinsqu/s28.gif and /dev/null differ diff --git a/packing/squinsqu/s29.gif b/packing/squinsqu/s29.gif deleted file mode 100644 index 9e0d10ba..00000000 Binary files a/packing/squinsqu/s29.gif and /dev/null differ diff --git a/packing/squinsqu/s3.gif b/packing/squinsqu/s3.gif deleted file mode 100755 index 56645364..00000000 Binary files a/packing/squinsqu/s3.gif and /dev/null differ diff --git a/packing/squinsqu/s37.gif b/packing/squinsqu/s37.gif deleted file mode 100644 index 92f5ef5e..00000000 Binary files a/packing/squinsqu/s37.gif and /dev/null differ diff --git a/packing/squinsqu/s38.gif b/packing/squinsqu/s38.gif deleted file mode 100755 index f018c58f..00000000 Binary files a/packing/squinsqu/s38.gif and /dev/null differ diff --git a/packing/squinsqu/s38b.gif b/packing/squinsqu/s38b.gif deleted file mode 100755 index 6e23d23a..00000000 Binary files a/packing/squinsqu/s38b.gif and /dev/null differ diff --git a/packing/squinsqu/s39.gif b/packing/squinsqu/s39.gif deleted file mode 100755 index fb3b64ce..00000000 Binary files a/packing/squinsqu/s39.gif and /dev/null differ diff --git a/packing/squinsqu/s39b.gif b/packing/squinsqu/s39b.gif deleted file mode 100755 index e2d955fa..00000000 Binary files a/packing/squinsqu/s39b.gif and /dev/null differ diff --git a/packing/squinsqu/s4.gif b/packing/squinsqu/s4.gif deleted file mode 100755 index 732bf4bb..00000000 Binary files a/packing/squinsqu/s4.gif and /dev/null differ diff --git a/packing/squinsqu/s40.gif b/packing/squinsqu/s40.gif deleted file mode 100755 index 126e2ead..00000000 Binary files a/packing/squinsqu/s40.gif and /dev/null differ diff --git a/packing/squinsqu/s41.gif b/packing/squinsqu/s41.gif deleted file mode 100644 index 44ee2c79..00000000 Binary files a/packing/squinsqu/s41.gif and /dev/null differ diff --git a/packing/squinsqu/s5.gif b/packing/squinsqu/s5.gif deleted file mode 100755 index f68c8352..00000000 Binary files a/packing/squinsqu/s5.gif and /dev/null differ diff --git a/packing/squinsqu/s50.gif b/packing/squinsqu/s50.gif deleted file mode 100644 index f57c761d..00000000 Binary files a/packing/squinsqu/s50.gif and /dev/null differ diff --git a/packing/squinsqu/s51.gif b/packing/squinsqu/s51.gif deleted file mode 100644 index 8865f6ff..00000000 Binary files a/packing/squinsqu/s51.gif and /dev/null differ diff --git a/packing/squinsqu/s52.gif b/packing/squinsqu/s52.gif deleted file mode 100755 index eccc5bff..00000000 Binary files a/packing/squinsqu/s52.gif and /dev/null differ diff --git a/packing/squinsqu/s53.gif b/packing/squinsqu/s53.gif deleted file mode 100644 index 76c0b18d..00000000 Binary files a/packing/squinsqu/s53.gif and /dev/null differ diff --git a/packing/squinsqu/s53b.gif b/packing/squinsqu/s53b.gif deleted file mode 100755 index 0a752250..00000000 Binary files a/packing/squinsqu/s53b.gif and /dev/null differ diff --git a/packing/squinsqu/s54.gif b/packing/squinsqu/s54.gif deleted file mode 100644 index e2d8fd00..00000000 Binary files a/packing/squinsqu/s54.gif and /dev/null differ diff --git a/packing/squinsqu/s55.gif b/packing/squinsqu/s55.gif deleted file mode 100644 index d40cc842..00000000 Binary files a/packing/squinsqu/s55.gif and /dev/null differ diff --git a/packing/squinsqu/s6.gif b/packing/squinsqu/s6.gif deleted file mode 100755 index eca6708d..00000000 Binary files a/packing/squinsqu/s6.gif and /dev/null differ diff --git a/packing/squinsqu/s65.gif b/packing/squinsqu/s65.gif deleted file mode 100755 index 3b4aa743..00000000 Binary files a/packing/squinsqu/s65.gif and /dev/null differ diff --git a/packing/squinsqu/s66.gif b/packing/squinsqu/s66.gif deleted file mode 100755 index fd07baa5..00000000 Binary files a/packing/squinsqu/s66.gif and /dev/null differ diff --git a/packing/squinsqu/s67.gif b/packing/squinsqu/s67.gif deleted file mode 100755 index 7bd2304d..00000000 Binary files a/packing/squinsqu/s67.gif and /dev/null differ diff --git a/packing/squinsqu/s67b.gif b/packing/squinsqu/s67b.gif deleted file mode 100755 index cc030ef9..00000000 Binary files a/packing/squinsqu/s67b.gif and /dev/null differ diff --git a/packing/squinsqu/s68.gif b/packing/squinsqu/s68.gif deleted file mode 100644 index 926b4f8e..00000000 Binary files a/packing/squinsqu/s68.gif and /dev/null differ diff --git a/packing/squinsqu/s68b.gif b/packing/squinsqu/s68b.gif deleted file mode 100755 index febd19b3..00000000 Binary files a/packing/squinsqu/s68b.gif and /dev/null differ diff --git a/packing/squinsqu/s69.gif b/packing/squinsqu/s69.gif deleted file mode 100644 index 52606cef..00000000 Binary files a/packing/squinsqu/s69.gif and /dev/null differ diff --git a/packing/squinsqu/s69.jpg b/packing/squinsqu/s69.jpg deleted file mode 100644 index 6c0e695c..00000000 Binary files a/packing/squinsqu/s69.jpg and /dev/null differ diff --git a/packing/squinsqu/s7.gif b/packing/squinsqu/s7.gif deleted file mode 100755 index a6857d1c..00000000 Binary files a/packing/squinsqu/s7.gif and /dev/null differ diff --git a/packing/squinsqu/s70.gif b/packing/squinsqu/s70.gif deleted file mode 100644 index 102a99f0..00000000 Binary files a/packing/squinsqu/s70.gif and /dev/null differ diff --git a/packing/squinsqu/s71.gif b/packing/squinsqu/s71.gif deleted file mode 100644 index 9e65c696..00000000 Binary files a/packing/squinsqu/s71.gif and /dev/null differ diff --git a/packing/squinsqu/s8.gif b/packing/squinsqu/s8.gif deleted file mode 100755 index 372425f7..00000000 Binary files a/packing/squinsqu/s8.gif and /dev/null differ diff --git a/packing/squinsqu/s82.gif b/packing/squinsqu/s82.gif deleted file mode 100755 index 24cc8d65..00000000 Binary files a/packing/squinsqu/s82.gif and /dev/null differ diff --git a/packing/squinsqu/s83.gif b/packing/squinsqu/s83.gif deleted file mode 100755 index e73d3cd4..00000000 Binary files a/packing/squinsqu/s83.gif and /dev/null differ diff --git a/packing/squinsqu/s84.gif b/packing/squinsqu/s84.gif deleted file mode 100755 index ab34c64e..00000000 Binary files a/packing/squinsqu/s84.gif and /dev/null differ diff --git a/packing/squinsqu/s84b.gif b/packing/squinsqu/s84b.gif deleted file mode 100755 index 44a7820b..00000000 Binary files a/packing/squinsqu/s84b.gif and /dev/null differ diff --git a/packing/squinsqu/s84c.gif b/packing/squinsqu/s84c.gif deleted file mode 100755 index 68817d22..00000000 Binary files a/packing/squinsqu/s84c.gif and /dev/null differ diff --git a/packing/squinsqu/s85.gif b/packing/squinsqu/s85.gif deleted file mode 100755 index 1d3c4eee..00000000 Binary files a/packing/squinsqu/s85.gif and /dev/null differ diff --git a/packing/squinsqu/s86.gif b/packing/squinsqu/s86.gif deleted file mode 100755 index ec1839f5..00000000 Binary files a/packing/squinsqu/s86.gif and /dev/null differ diff --git a/packing/squinsqu/s87.gif b/packing/squinsqu/s87.gif deleted file mode 100755 index 4149a36f..00000000 Binary files a/packing/squinsqu/s87.gif and /dev/null differ diff --git a/packing/squinsqu/s88.gif b/packing/squinsqu/s88.gif deleted file mode 100755 index 8b594c04..00000000 Binary files a/packing/squinsqu/s88.gif and /dev/null differ diff --git a/packing/squinsqu/s89.gif b/packing/squinsqu/s89.gif deleted file mode 100755 index 5648f5d7..00000000 Binary files a/packing/squinsqu/s89.gif and /dev/null differ diff --git a/packing/squinsqu/s9.gif b/packing/squinsqu/s9.gif deleted file mode 100755 index 31b38363..00000000 Binary files a/packing/squinsqu/s9.gif and /dev/null differ diff --git a/packing/squinsqu/sis.gif b/packing/squinsqu/sis.gif deleted file mode 100755 index 04a0345b..00000000 Binary files a/packing/squinsqu/sis.gif and /dev/null differ diff --git a/packing/squinsqu/squareint.gif b/packing/squinsqu/squareint.gif deleted file mode 100755 index aa05c128..00000000 Binary files a/packing/squinsqu/squareint.gif and /dev/null differ