OFFSET
0,3
COMMENTS
The total area of the small squares is equal to the area of the large square, because 1^3+2^3+...+n^3 = (1+2+...+n)^2 = (n*(n+1)/2)^2 (Nicomachus's theorem).
The small squares are assumed to be oriented in the same way as the large square.
The partridge puzzle for size n is to determine whether a(n) = 0. The generalization considered here was suggested by Rodolfo Kurchan.
Apparently, Robert T. Wainwright showed that a(12) = 0. This was also shown by Ågren et al., and Carl F. Schwenke noted that their solution can be modified to show that also a(14) = 0 and a(16) = 0.
Is a(n) = 0 for all n >= 8?
LINKS
Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, and Stéphane Zampelli, Six ways of integrating symmetries within non-overlapping constraints, in: Willem-Jan van Hoeve and John N. Hooker (eds), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, Lecture Notes in Computer Science, vol 5547, Springer 2009; alternative link.
Pontus von Brömssen, A perfect packing for n = 10, showing that a(10) = 0.
Erich Friedman, Problem of the Month (August 2002).
Rodolfo Kurchan, Puzzle Fun (see Partridge Puzzle).
Robert T. Wainwright, The Partridge Puzzle.
Wikipedia, Squared triangular number.
FORMULA
a(2*k+1) <= a(2*k), because 2*k+1 squares of side 2*k+1 can be added in an L-shape to a square of side k*(2*k+1) to obtain a square of side (2*k+1)*(k+1).
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Pontus von Brömssen, Feb 04 2024
STATUS
approved