Olympiad Maths Prep

Library / /2 of 4

Algebra Difficulty 4.6 AIME Prove it Bulgaria

An=1⋅2+3⋅4+5⋅8+⋯+(2n−1)⋅2n. A_n = 1 \cdot 2 + 3 \cdot 4 + 5 \cdot 8 + \dots + (2n - 1) \cdot 2^n.
(Nedyalka Dimitrova)

Solution

Since
2An=1⋅4+3⋅8+⋯+(2n−3)⋅2n+(2n−1)⋅2n+1, 2A_n = 1 \cdot 4 + 3 \cdot 8 + \dots + (2n - 3) \cdot 2^n + (2n - 1) \cdot 2^{n+1},
it follows
An=2An−An=(2n−1)⋅2n+1−(1⋅2+2⋅4+2⋅8+⋯+2⋅2n)=(2n−1)⋅2n+1−2⋅(2+4+8+⋯+2n)+1⋅2=(2n−1)⋅2n+1−2⋅2⋅2n−12−1+2=(2n−3)⋅2n+1+6. \begin{align*} A_n = 2A_n - A_n &= (2n - 1) \cdot 2^{n+1} - (1 \cdot 2 + 2 \cdot 4 + 2 \cdot 8 + \dots + 2 \cdot 2^n) \\ &= (2n - 1) \cdot 2^{n+1} - 2 \cdot (2 + 4 + 8 + \dots + 2^n) + 1 \cdot 2 \\ &= (2n - 1) \cdot 2^{n+1} - 2 \cdot 2 \cdot \frac{2^n - 1}{2 - 1} + 2 = (2n - 3) \cdot 2^{n+1} + 6. \end{align*}
Therefore A2024=4045⋅22025+6A_{2024} = 4045 \cdot 2^{2025} + 6. □\square

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.