Maths Olympiad Prep

Library / /1208 of 1394

Algebra Difficulty 5.8 AIME, harder Find the answer United States

Problem:
Let ff be a function from nonnegative integers to nonnegative integers such that f(0)=0f(0) = 0 and
f(m)=f(m2)+m22 f(m) = f\left(\left\lfloor \frac{m}{2} \right\rfloor\right) + \left\lceil \frac{m}{2} \right\rceil^2
for all positive integers mm. Compute
f(1)12+f(2)23+f(3)34++f(31)3132. \frac{f(1)}{1 \cdot 2} + \frac{f(2)}{2 \cdot 3} + \frac{f(3)}{3 \cdot 4} + \dots + \frac{f(31)}{31 \cdot 32}.
(Here, z\lfloor z\rfloor is the greatest integer less than or equal to zz, and z\lceil z\rceil is the least positive integer greater than or equal to zz.)

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

Solution

Solution:
For all positive integers nn, let ω(n)=f(n)f(n1)\omega(n) = f(n) - f(n - 1). We claim that ω(n)\omega(n) is the largest odd divisor of nn for all n>0n > 0. Indeed, for all positive integers kk, we have
ω(2k)=f(2k)f(2k1)=f(k)+k2(f(k1)+k2)=f(k)f(k1)=ω(k) \omega(2k) = f(2k) - f(2k - 1) = f(k) + k^2 - (f(k - 1) + k^2) = f(k) - f(k - 1) = \omega(k)
and
ω(2k+1)=f(2k+1)f(2k)=f(k)+(k+1)2(f(k)+k2)=2k+1. \omega(2k + 1) = f(2k + 1) - f(2k) = f(k) + (k + 1)^2 - (f(k) + k^2) = 2k + 1.
Inducting on the positive integers implies that ω(n)\omega(n) is indeed the largest odd divisor of nn.

We can now rewrite the sum as
n=131f(n)n(n+1)=n=131(f(n)nf(n)n+1)=(n=130f(n)f(n1)n)f(31)32. \sum_{n = 1}^{31} \frac{f(n)}{n(n + 1)} = \sum_{n = 1}^{31} \left( \frac{f(n)}{n} - \frac{f(n)}{n + 1} \right ) = \left( \sum_{n = 1}^{30} \frac{f(n) - f(n - 1)}{n} \right ) - \frac{f(31)}{32}.
Note that by using the original recursive definition, we can compute
f(31)=162+82+42+22+12=341. f(31) = 16^2 + 8^2 + 4^2 + 2^2 + 1^2 = 341.
Moreover, we also see that f(n)f(n1)n=ω(n)n=2ν2(n)\frac{f(n) - f(n - 1)}{n} = \frac{\omega(n)}{n} = 2^{-\nu_2(n)}, where 2ν2(n)2^{\nu_2(n)} is the largest power of 22 dividing nn. Thus, our desired sum is
(n=1312ν2(n))34132=1620+821+422+223+12434132=34132. \left( \sum_{n = 1}^{31} 2^{-\nu_2(n)} \right ) - \frac{341}{32} = 16 \cdot 2^{-0} + 8 \cdot 2^{-1} + 4 \cdot 2^{-2} + 2 \cdot 2^{-3} + 1 \cdot 2^{-4} - \frac{341}{32} = \frac{341}{32}.

Solution 2:
From the original recursion, for all positive integers nn, we have
f(2n)2n(2n+1)=f(n)+n22n(2n+1)=f(n)2n(2n+1)+n2(2n+1) \frac{f(2n)}{2n(2n + 1)} = \frac{f(n) + n^2}{2n(2n + 1)} = \frac{f(n)}{2n(2n + 1)} + \frac{n}{2(2n + 1)}
and
f(2n+1)(2n+1)(2n+2)=f(n)+(n+1)2(2n+1)(2n+2)=f(n)(2n+1)(2n+2)+n+12(2n+1). \frac{f(2n + 1)}{(2n + 1)(2n + 2)} = \frac{f(n) + (n + 1)^2}{(2n + 1)(2n + 2)} = \frac{f(n)}{(2n + 1)(2n + 2)} + \frac{n + 1}{2(2n + 1)}.
Adding these two equations gives
f(2n)2n(2n+1)+f(2n+1)(2n+1)(2n+2)=f(n)2n(n+1)+12. \frac{f(2n)}{2n(2n + 1)} + \frac{f(2n + 1)}{(2n + 1)(2n + 2)} = \frac{f(n)}{2n(n + 1)} + \frac{1}{2}.
Thus, if T(n)=k=1nf(k)k(k+1)T(n) = \sum_{k = 1}^n \frac{f(k)}{k(k + 1)}, we have
T(2n+1)=k=12n+1f(k)k(k+1)=f(1)12+m=1n(f(2m)2m(2m+1)+f(2m+1)(2m+1)(2m+2)) T(2n + 1) = \sum_{k = 1}^{2n + 1} \frac{f(k)}{k(k + 1)} = \frac{f(1)}{1 \cdot 2} + \sum_{m = 1}^n \left( \frac{f(2m)}{2m(2m + 1)} + \frac{f(2m + 1)}{(2m + 1)(2m + 2)} \right )
=12+m=1n(f(m)2m(m+1)+12) = \frac{1}{2} + \sum_{m = 1}^n \left( \frac{f(m)}{2m(m + 1)} + \frac{1}{2} \right )
=n+12+12T(n). = \frac{n + 1}{2} + \frac{1}{2} T(n).
Starting from T(1)=1T(1) = 1, we can compute T(3)=54T(3) = \frac{5}{4}, T(7)=218T(7) = \frac{21}{8}, T(15)=8516T(15) = \frac{85}{16}, and finally, T(31)=34132T(31) = \frac{341}{32}.

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.