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.


s = 1

Trivial.
s = 2

Proved by Frits Göbel

in 1979.
s = 2

Proved by Frits Göbel

in 1979.

4.


           5.


           6.


s = 2

Trivial.
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.

7.


           8.


           9.


s = 3

Proved by Erich Friedman

in 1999.
s = 3

Proved by Erich Friedman

in 1999.
s = 3

Trivial.

10.


           11.


           14.


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 Erich Friedman

in 1999.

15.


           17.


           18.


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.

Read More