Maths Olympiad Prep

Library / /231 of 462

Algebra Difficulty 5.8 AIME, harder Prove it Ireland

Prove that, for all pairs of non-negative integers, j,nj, n,
k=0nkj(nk)2njn. \sum_{k=0}^{n} k^j \binom{n}{k} \ge 2^{n-jn}.

Solutions — 4

Solution 1

By the symmetry of the binomial coefficients,
2k=0nkj(nk)=k=0n(kj+(nk)j)(nk). 2 \sum_{k=0}^{n} k^j \binom{n}{k} = \sum_{k=0}^{n} (k^j + (n-k)^j) \binom{n}{k}.
Now
kj+(nk)j=nj((kn)j+(1kn)j)=njfj(kn), k^j + (n-k)^j = n^j \left( \left( \frac{k}{n} \right)^j + \left( 1 - \frac{k}{n} \right)^j \right) = n^j f_j \left( \frac{k}{n} \right),
where fj(x)=xj+(1x)jf_j(x) = x^j + (1-x)^j, (0x1)(0 \le x \le 1). By using the convexity of xxjx \mapsto x^j, calculus methods or otherwise, it is easy to see that
min{fj(x):x[0,1]}=fj(12)=21j,j=0,1,, \min \{f_j(x) : x \in [0, 1]\} = f_j\left(\frac{1}{2}\right) = 2^{1-j}, \quad j = 0, 1, \dots,
whence
2k=0nkj(nk)nj21jk=0n(nk)=nj2n+1j, 2 \sum_{k=0}^{n} k^j \binom{n}{k} \ge n^j 2^{1-j} \sum_{k=0}^{n} \binom{n}{k} = n^j 2^{n+1-j},
from which the result follows.

First, if j=0,1j = 0, 1 we get equalities k=0n(nk)=2n\sum_{k=0}^{n} \binom{n}{k} = 2^n and k=0nk(nk)=n2n1\sum_{k=0}^{n} k \binom{n}{k} = n 2^{n-1}. The first follows from the Binomial Theorem and the second can be obtained by differentiating and evaluating at x=1x = 1 the function
(1+x)n=k=0nxk(nk). (1+x)^n = \sum_{k=0}^{n} x^k \binom{n}{k}.
Further differentiation leads to sums of k=0nkj(nk)\sum_{k=0}^{n} k^j \binom{n}{k} for small values of jj, but without a new idea (see Solution 3) it may run into the sand for large values of jj. But viewing
n2=2nk=0nk(nk)=k=0nk(nk)k=0n(nk) \frac{n}{2} = 2^{-n} \sum_{k=0}^{n} k \binom{n}{k} = \frac{\sum_{k=0}^{n} k \binom{n}{k}}{\sum_{k=0}^{n} \binom{n}{k}}
as a convex sum, and using the convexity of f(x)=xjf(x) = x^j, Jensen's inequality
f(n2)2nk=0nf(k)(nk)yields the result. f\left(\frac{n}{2}\right) \le 2^{-n} \sum_{k=0}^{n} f(k) \binom{n}{k} \quad \text{yields the result.}

Solution 2

The Stirling numbers of the second kind (jk)\binom{j}{k} can be defined recursively as follows.
{(00)=1and(jk)=0if k<0 or k>j,(j+1k)=k(jk)+(jk1)if j0 and k0. \begin{cases} \begin{pmatrix} 0 \\ 0 \end{pmatrix} = 1 & \text{and} \quad \begin{pmatrix} j \\ k \end{pmatrix} = 0 & \text{if } k < 0 \text{ or } k > j, \\ \begin{pmatrix} j+1 \\ k \end{pmatrix} = k \begin{pmatrix} j \\ k \end{pmatrix} + \begin{pmatrix} j \\ k-1 \end{pmatrix} & \text{if } j \ge 0 \text{ and } k \ge 0. \end{cases}
They satisfy the identity
xj=k=0j(jk)xk x^j = \sum_{k=0}^{j} \begin{pmatrix} j \\ k \end{pmatrix} x^k
where xkx^k stands for the product of kk factors x(x1)(x2)(xk+1)x(x-1)(x-2)\cdots(x-k+1), a so-called falling power. By convention, x0=1x^0 = 1. The proof of this identity is a simple induction (like the proof of the binomial theorem), see e.g. [1]. We now fix the value of nn and introduce the functions f0(x)=(1+x2)nf_0(x) = \left(\frac{1+x}{2}\right)^n and
fk(x)=n(n1)(n2)(nk+1)2kxk(1+x2)nk,k=1,2,3 f_k(x) = \frac{n(n-1)(n-2)\cdots(n-k+1)}{2^k} \cdot x^k \left(\frac{1+x}{2}\right)^{n-k}, \quad k=1,2,3\dots
Note that, with the notation introduced above, we have fk(1)=nk2kf_k(1) = \frac{n^k}{2^k}.
Let DD denote the differential operator xddxx^{\frac{d}{dx}}. Its main feature for us is that Dxk=kxkDx^k = kx^k. After jj applications of the operator DD, the binomial theorem
(1+x)n=k=0nxk(nk)impliesDj((1+x)n)=k=0nkjxk(nk) (1+x)^n = \sum_{k=0}^{n} x^k \binom{n}{k} \quad \text{implies} \quad D^j ((1+x)^n) = \sum_{k=0}^{n} k^j x^k \binom{n}{k}
The desired inequality now reads as Dj((1+x)n)x=12njnjD^j ((1+x)^n)|_{x=1} \ge 2^{n-j}n^j which can be rewritten as Djf0x=1nj2jD^j f_0|_{x=1} \ge \frac{n^j}{2^j}.
It is easy to observe that Df0=f1Df_0 = f_1, Df1=f1+f2Df_1 = f_1 + f_2 and in general that Dfk=kfk+fk+1Df_k = k f_k + f_{k+1} for k0k \ge 0. Using induction and the recursion for the Stirling numbers, this implies the key identity
Djf0=k=0j(jk)fk. D^j f_0 = \sum_{k=0}^{j} \binom{j}{k} f_k.
From above we obtain now the desired inequality
Djf0x=1=k=0j(jk)fk(1)=k=0j(jk)nk2k12jk=0j(jk)nk=nj2j. D^j f_0|_{x=1} = \sum_{k=0}^{j} \binom{j}{k} f_k(1) = \sum_{k=0}^{j} \binom{j}{k} \frac{n^k}{2^k} \ge \frac{1}{2^j} \sum_{k=0}^{j} \binom{j}{k} n^k = \frac{n^j}{2^j}.

Solution 3

The LHS counts the total number NN of ways of choosing a committee of any size from nn people and assigning jj distinct 'roles' R1,R2,,RjR_1, R_2, \dots, R_j to people in the committee (here any person can have multiple roles, and there can be more roles than committee members).
The LHS counts this by partitioning the count according to the size kk of the committee. For each kk, we first choose a committee of size kk (there are (nk)\binom{n}{k} ways to do this), and then we assign each role in turn (there are kjk^j ways to assign the roles for each such chosen committee).
The RHS forms a lower bound on NN. Consider first assigning the jj roles among the nn people - there are njn^j ways to do this. Next we consider 2 cases. First consider the case j<nj < n. In this case, once the jj roles are assigned, at most jj people have roles assigned to them, and these people must therefore all be in the committee. There remain at least nj>0n - j > 0 people who may be either included in, or excluded from, the committee - this yields at least 2nj2^{n-j} choices to complete the committee for each initial assignment of roles. Second, consider the case jnj \ge n. In this case, all people may have roles assigned, so that NN is lower bounded by njn^j. But this in turn is greater than or equal to 2njnj2^{n-j}n^j since 2nj12^{n-j} \le 1. This proves the desired inequality.

Solution 4

We use strong induction on jj. The induction statement is
Sj: for all non-negative integers n,k=0nkj(nk)2njnj. S_j: \text{ for all non-negative integers } n, \sum_{k=0}^{n} k^j \binom{n}{k} \ge 2^{n-j} n^j.
First observe that S0:k=0n(nk)2nS_0: \sum_{k=0}^{n} \binom{n}{k} \ge 2^n is true, since both sides are equal. Assume S0,S1,,SmS_0, S_1, \dots, S_m are true. We want to prove
Sm+1:k=0nkm+1(nk)2nm1nm+1for all n0. S_{m+1}: \sum_{k=0}^{n} k^{m+1} \binom{n}{k} \ge 2^{n-m-1} n^{m+1} \quad \text{for all } n \ge 0.
First note the binomial identity k((nk))=n((n1k1))k(\binom{n}{k}) = n(\binom{n-1}{k-1}). So
k=0nkm+1(nk)=k=0nkmn(n1k1)=nk=0n1(k+1)m(n1k)=nk=0n1i=0mki(mi)(n1k)=ni=0m(mi)k=0n1ki(n1k)ni=0m(mi)2n1i(n1)i=n2n1i=0m(mi)(n12)i=n2n1(1+n12)m=n2n1m(n+1)m2n1mnm+1. \begin{align*} \sum_{k=0}^{n} k^{m+1} \binom{n}{k} &= \sum_{k=0}^{n} k^m n \binom{n-1}{k-1} = n \sum_{k=0}^{n-1} (k+1)^m \binom{n-1}{k} \\ &= n \sum_{k=0}^{n-1} \sum_{i=0}^{m} k^i \binom{m}{i} \binom{n-1}{k} = n \sum_{i=0}^{m} \binom{m}{i} \sum_{k=0}^{n-1} k^i \binom{n-1}{k} \\ &\ge n \sum_{i=0}^{m} \binom{m}{i} 2^{n-1-i} (n-1)^i = n 2^{n-1} \sum_{i=0}^{m} \binom{m}{i} \left(\frac{n-1}{2}\right)^i \\ &= n 2^{n-1} \left(1 + \frac{n-1}{2}\right)^m = n 2^{n-1-m} (n+1)^m \ge 2^{n-1-m} n^{m+1}. \end{align*}
This proves Sm+1S_{m+1} and hence the result follows by induction.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.