Christian Robert is disappointed by last week-end’s Le Monde’s mathematical problem :
Take the integers 1 to 10. Group them together; the product of these numbers is 3,628,800. This is the first term of your sum. Now group these numbers in 9s. There are 10 different ways of doing this. For each group, take the product of the 9 numbers and substract the results of each of these 10 products from your sum. Repeat the process by grouping the numbers in 8s (add the product), in 7s (substract them), …, in pairs (add them) and in singletons (substract them). What is the final total? What happens if, instead of 1 to 10, you apply the same (even more interminable) procedure to the first 49 squares (1, 4, 9, 16, … 2401)?
Christian solves this the brutal way, which gives the answer but isn’t very satisfying. Here are a couple of alternative ways of getting the product (call it ).
1. Consider the following 11×11 matrix:
The determinant is obviously 0 (the first and last row are identical). On the other hand, using the Leibniz formula to calculate the determinant would yield all the terms in the product calculated above, plus one term given by the bottom-leftmost 1 and the 1s on the diagonal above the main diagonal. Hence .
2. This solution is more obvious, and I expect Le Monde will give a solution similar to this. Let be the product given when using the numbers 1 to . Then
3. I was hoping to find a counting argument to solve this problem, because the alternating signs reminded me of the formula for the cardinal of a union of sets. Here’s the best I have come up with, but I’m sure there’s a better way of seeing this.
Consider the set of all sequences of 10 integers where the th entry is an integer between 1 and ; this corresponds to the sequences which lie in the lexicographic order between and . There are clearly such sequences, but let’s count them in a more stupid way, noting that each sequence contains at least one ..
Let be the number of such sequences with the additional constraint that the th entry is equal to . Then, using to denote the cardinal function, we have
Each of these terms corresponds to a term in , with the exception of the last term , which is worth and comes with the sign of .
A very similar reasoning holds if we take numbers other than 1, 2, … 10, as long as the first number is a .