Maths Olympiad Prep

Library / /372 of 520

Algebra Difficulty 7.2 National olympiad, round 2 Prove it

Let nn be a positive integer and let ak=1(nk),bk=2kn, (k=1..n)a_k = \dfrac{1}{\binom{n}{k}}, b_k = 2^{k-n},\ (k=1..n).

Show that k=1nakbkk=0\sum_{k=1}^n \dfrac{a_k-b_k}{k} = 0.

Solution

1. We start with the given expression:
k=1nakbkk \sum_{k=1}^n \frac{a_k - b_k}{k}
where ak=1(nk) a_k = \frac{1}{\binom{n}{k}} and bk=2kn b_k = 2^{k-n} .

2. We split the sum into two separate sums:
k=1nakbkk=k=1nakkk=1nbkk \sum_{k=1}^n \frac{a_k - b_k}{k} = \sum_{k=1}^n \frac{a_k}{k} - \sum_{k=1}^n \frac{b_k}{k}

3. Consider the first sum:
k=1nakk=k=1n1k(nk) \sum_{k=1}^n \frac{a_k}{k} = \sum_{k=1}^n \frac{1}{k \binom{n}{k}}
Using the combinatorial identity k(nk)=n(n1k1) k \binom{n}{k} = n \binom{n-1}{k-1} , we can rewrite the sum as:
k=1n1k(nk)=k=1n1n(n1k1) \sum_{k=1}^n \frac{1}{k \binom{n}{k}} = \sum_{k=1}^n \frac{1}{n \binom{n-1}{k-1}}
Factoring out the constant 1n \frac{1}{n} :
k=1n1n(n1k1)=1nk=1n1(n1k1) \sum_{k=1}^n \frac{1}{n \binom{n-1}{k-1}} = \frac{1}{n} \sum_{k=1}^n \frac{1}{\binom{n-1}{k-1}}

4. Recognize that the sum k=1n1(n1k1) \sum_{k=1}^n \frac{1}{\binom{n-1}{k-1}} is the sum of the reciprocals of the binomial coefficients for n1 n-1 . By the binomial theorem, we know:
k=0n1(n1k)=2n1 \sum_{k=0}^{n-1} \binom{n-1}{k} = 2^{n-1}
Taking the reciprocals and summing, we get:
k=1n1(n1k1)=2n1 \sum_{k=1}^n \frac{1}{\binom{n-1}{k-1}} = 2^{n-1}
Therefore:
1nk=1n1(n1k1)=1n2n1=12n1 \frac{1}{n} \sum_{k=1}^n \frac{1}{\binom{n-1}{k-1}} = \frac{1}{n} \cdot 2^{n-1} = \frac{1}{2^{n-1}}

5. Now consider the second sum:
k=1nbkk=k=1n2knk \sum_{k=1}^n \frac{b_k}{k} = \sum_{k=1}^n \frac{2^{k-n}}{k}
This can be rewritten as:
k=1n2knk=12nk=1n2kk \sum_{k=1}^n \frac{2^{k-n}}{k} = \frac{1}{2^n} \sum_{k=1}^n \frac{2^k}{k}
Recognize that this is a geometric series:
k=1n2k=2+22+23++2n=2(1+2+22++2n1)=2(2n1)=2n+12 \sum_{k=1}^n 2^k = 2 + 2^2 + 2^3 + \cdots + 2^n = 2 (1 + 2 + 2^2 + \cdots + 2^{n-1}) = 2 (2^n - 1) = 2^{n+1} - 2
Dividing by 2n 2^n :
12nk=1n2k=12n(2n+12)=222n=212n1 \frac{1}{2^n} \sum_{k=1}^n 2^k = \frac{1}{2^n} (2^{n+1} - 2) = 2 - \frac{2}{2^n} = 2 - \frac{1}{2^{n-1}}

6. Combining the results from steps 4 and 5:
k=1nakbkk=12n1(212n1)=12n12+12n1=0 \sum_{k=1}^n \frac{a_k - b_k}{k} = \frac{1}{2^{n-1}} - \left(2 - \frac{1}{2^{n-1}}\right) = \frac{1}{2^{n-1}} - 2 + \frac{1}{2^{n-1}} = 0

Thus, we have shown that:
k=1nakbkk=0 \sum_{k=1}^n \frac{a_k - b_k}{k} = 0

\blacksquare

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.