Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2015 / Problems / Day 2, P8

IMC 2015 · Day 2 · P8

hard

Consider all 262626^{26} words of length 26 in the Latin alphabet. Define the weight of a word as 1/(k+1)1/(k+1), where kk is the number of letters not used in this word. Prove that the sum of the weights of all words is 3753^{75}.

(Proposed by Fedor Petrov, St. Petersburg State University)

Solution (official)

Let n=26n = 26, then 375=(n+1)n13^{75} = (n+1)^{n-1}. We use the following well-known

Lemma. If f(x)f(x) is a polynomial of degree at most nn, then its (n+1)(n+1)-st finite difference vanishes: Δn+1f(x):=i=0n+1(1)i(n+1i)f(x+i)0\Delta^{n+1} f(x) := \sum\limits_{i=0}^{n+1} (-1)^i \binom{n+1}{i} f(x + i) \equiv 0.

Proof. If Δ\Delta is the operator which maps f(x)f(x) to f(x+1)f(x)f(x+1) - f(x), then Δn+1\Delta^{n+1} is indeed (n+1)(n+1)-st power of Δ\Delta and the claim follows from the observation that Δ\Delta decreases the power of a polynomial.

In other words, f(x)=i=1n+1(1)i+1(n+1i)f(x+i)f(x) = \sum\limits_{i=1}^{n+1} (-1)^{i+1} \binom{n+1}{i} f(x + i). Applying this for f(x)=(nx)nf(x) = (n - x)^n, substituting x=1x = -1 and denoting i=j+1i = j + 1 we get (n+1)n=j=0n(1)j(n+1j+1)(nj)n=(n+1)j=0n(nj)(1)jj+1(nj)n.(n+1)^n = \sum_{j=0}^{n} (-1)^j \binom{n+1}{j+1} (n-j)^n = (n+1) \sum_{j=0}^{n} \binom{n}{j} \cdot \frac{(-1)^j}{j+1} \cdot (n-j)^n. The jj-th summand (nj)(1)jj+1(nj)n\binom{n}{j} \cdot \frac{(-1)^j}{j+1} \cdot (n-j)^n may be interpreted as follows: choose jj letters, consider all (nj)n(n-j)^n words without those letters and sum up (1)jj+1\frac{(-1)^j}{j+1} over all those words. Now we change the order of summation, counting at first by words. For any fixed word WW with kk absent letters we get j=0k(kj)(1)jj+1=1k+1j=0k(1)j(k+1j+1)=1k+1\sum\limits_{j=0}^{k} \binom{k}{j} \cdot \frac{(-1)^j}{j+1} = \frac{1}{k+1} \cdot \sum\limits_{j=0}^{k} (-1)^j \cdot \binom{k+1}{j+1} = \frac{1}{k+1}, since the alternating sum of binomial coefficients j=1k(1)j(k+1j+1)\sum\limits_{j=-1}^{k} (-1)^j \cdot \binom{k+1}{j+1} vanishes. That is, after changing order of summation we get exactly initial sum, and it equals (n+1)n1(n+1)^{n-1}.

How the field did

contestants scored
318
average (of 10)
2.30
solved (≥ 80%)
21.4%
near-0 (≤ 10%)
74.5%
discrimination
0.55

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2022 · Day 2 · P6hardavg 3.1/10 · solved 21% · near-0 55% · disc 0.53
IMC 2009 · Day 1 · P3hardavg 3.5/10 · solved 25% · near-0 44% · disc 0.55
IMC 2007 · Day 1 · P4hardavg 2.0/10 · solved 16% · near-0 69% · disc 0.61
IMC 2001 · Day 2 · P9hardavg 2.3/10 · solved 16% · near-0 66% · disc 0.48