Maths Olympiad Prep

Library / HMMT February /654 of 1302

HMMT February

Algebra Difficulty 5.3 AIME, harder Find the answer

Compute ∑k=0100⌊2100250+2k⌋\sum_{k=0}^{100}\left\lfloor\frac{2^{100}}{2^{50}+2^{k}}\right\rfloor. (Here, if xx is a real number, then ⌊x⌋\lfloor x\rfloor denotes the largest integer less than or equal to xx.)

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Let ak=2100250+2ka_{k}=\frac{2^{100}}{2^{50}+2^{k}}. Notice that, for k=0,1,…,49k=0,1, \ldots, 49, ak+a100−k=2100250+2k+2100250+2100−k=2100250+2k+250+k2k+250=250a_{k}+a_{100-k}=\frac{2^{100}}{2^{50}+2^{k}}+\frac{2^{100}}{2^{50}+2^{100-k}}=\frac{2^{100}}{2^{50}+2^{k}}+\frac{2^{50+k}}{2^{k}+2^{50}}=2^{50}. It is clear that for k=0,1,…,49,ak,a100−k∉Zk=0,1, \ldots, 49, a_{k}, a_{100-k} \notin \mathbb{Z}, so ⌊ak⌋+⌊a100−k⌋=250−1\left\lfloor a_{k}\right\rfloor+\left\lfloor a_{100-k}\right\rfloor=2^{50}-1 (since the sum of floors is an integer less than ak+a100−ka_{k}+a_{100-k} but greater than ak−1+a100−k−1a_{k}-1+a_{100-k}-1). Thus, ∑k=0100⌊ak⌋=50⋅(250−1)+249=101⋅249−50\sum_{k=0}^{100}\left\lfloor a_{k}\right\rfloor=50 \cdot\left(2^{50}-1\right)+2^{49}=101 \cdot 2^{49}-50.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.