Let and be positive integers and let Determine, with proof, the value of in terms of and , where the sum is over all -tuples in .
Solution
Answer: Solution 1: Let The sum in question counts , by letting be the number of that are at least . By stars and bars, . One way to think about is as follows. Suppose we wish to choose squares in a grid of squares with rows and columns, such that each square not in the bottom row has a square below it. If we divide the grid into columns and let be the number of chosen squares in the th column then we get that is in bijection with valid ways to choose our squares. On the other hand, if we divide the grid into rows, and let be the number of chosen squares in the th row (counting up from the bottom), then we obtain the sum in the problem. This is because we have choices for the squares in the first row, and choices for the squares in the th row, given the squares in the row below, for each .