MathDB
sum of partitions with repeated elements is 2^{n-1}

Source: 2014 Brazil IMO TST 4.1

July 23, 2021
combinatorics

Problem Statement

Let nn be a positive integer. A partition of nn is a multiset (set with repeated elements) whose sum of elements is nn. For example, the partitions of 33 are {1,1,1},{1,2}\{1, 1, 1\}, \{1, 2\} and {3}\{3\}. Each partition of nn is written as a non-descending sequence. For example, for n=3n = 3, the list is (1,1,1)(1, 1, 1), (1,2)(1, 2) and (3)(3). For each sequence x=(x1,x2,...,xk)x = (x_1, x_2, ..., x_k), define f(x)=i=1k1(xi+1xi)f(x)=\prod_{i=1}^{k-1} {x_{i+1} \choose x_ i} . Furthermore, the ff of partition {n}\{n\} is f((n))=1f((n)) = 1. Prove that the sum of all ff's in the list is 2n1.2^{n-1}.