Maths Olympiad Prep

Library / /661 of 860

Combinatorics Difficulty 5.3 AIME, harder Find the answer

Let kk and nn be positive integers and let S={(a1,,ak)Zk0aka1n,a1++ak=k} S=\left\{\left(a_{1}, \ldots, a_{k}\right) \in \mathbb{Z}^{k} \mid 0 \leq a_{k} \leq \cdots \leq a_{1} \leq n, a_{1}+\cdots+a_{k}=k\right\} Determine, with proof, the value of (a1,,ak)S(na1)(a1a2)(ak1ak) \sum_{\left(a_{1}, \ldots, a_{k}\right) \in S}\binom{n}{a_{1}}\binom{a_{1}}{a_{2}} \cdots\binom{a_{k-1}}{a_{k}} in terms of kk and nn, where the sum is over all kk-tuples (a1,,ak)\left(a_{1}, \ldots, a_{k}\right) in SS.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Answer: (k+n1k)=(k+n1n1)\binom{k+n-1}{k}=\binom{k+n-1}{n-1} Solution 1: Let T={(b1,,bn)0b1,,bnk,b1++bn=k} T=\left\{\left(b_{1}, \ldots, b_{n}\right) \mid 0 \leq b_{1}, \ldots, b_{n} \leq k, b_{1}+\cdots+b_{n}=k\right\} The sum in question counts T|T|, by letting aia_{i} be the number of bjb_{j} that are at least ii. By stars and bars, T=(k+n1k)|T|=\binom{k+n-1}{k}. One way to think about TT is as follows. Suppose we wish to choose kk squares in a grid of squares with kk rows and nn columns, such that each square not in the bottom row has a square below it. If we divide the grid into columns and let bjb_{j} be the number of chosen squares in the jj th column then we get that TT is in bijection with valid ways to choose our kk squares. On the other hand, if we divide the grid into rows, and let aia_{i} be the number of chosen squares in the ii th row (counting up from the bottom), then we obtain the sum in the problem. This is because we have (na1)\binom{n}{a_{1}} choices for the squares in the first row, and (ai1ai)\binom{a_{i-1}}{a_{i}} choices for the squares in the ii th row, given the squares in the row below, for each i=2,,ki=2, \ldots, k.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.