Maths Olympiad Prep

Library / NMO Selection Tests for BMO and IMO /7 of 47

NMO Selection Tests for BMO and IMO

Algebra Difficulty 7.6 National Olympiad, round 2 Prove it Romania

Given a square-free integer n≥3n \ge 3, evaluate the sum ∑k=1(n−2)(n−1)⌊kn3⌋\sum_{k=1}^{(n-2)(n-1)} \lfloor \sqrt[3]{kn} \rfloor.

Solution

Let SS be the set of lattice points in the rectangle [1,(n−2)(n−1)]×[1,n−1][1, (n-2)(n-1)] \times [1, n-1]. Since nn is square-free, no point of SS lies on the curve y=nx3y = \sqrt[3]{nx}, so the latter splits SS into two non-empty sets. The required sum counts the points of SS below the curve, while the sum ∑k=1n−1⌊k3/n⌋\sum_{k=1}^{n-1} \lfloor k^3/n \rfloor counts the points of SS above the curve. Since ∣S∣=(n−2)(n−1)2|S| = (n-2)(n-1)^2, it is sufficient to evaluate the latter sum.

To this end, let tk=k3/n−⌊k3/n⌋t_k = k^3/n - \lfloor k^3/n \rfloor, k=1,2,…,n−1k = 1, 2, \dots, n-1. Clearly, 0≤tk<10 \le t_k < 1 for all kk, and since nn is square-free, the tkt_k are, in fact, all positive. Since k3/n+(n−k)3/n=3k2−3kn+n2k^3/n + (n-k)^3/n = 3k^2 - 3kn + n^2 is integral, so is tk+tn−kt_k + t_{n-k}, and since 0<tk+tn−k<20 < t_k + t_{n-k} < 2, it follows that tk+tn−k=1t_k + t_{n-k} = 1. Hence
n−1=∑k=1n−1(tk+tn−k)=2∑k=1n−1tk=2∑k=1n−1k3n−2∑k=1n−1⌊k3n⌋=n(n−1)22−2∑k=1n−1⌊k3n⌋. \begin{aligned} n-1 &= \sum_{k=1}^{n-1} (t_k + t_{n-k}) = 2 \sum_{k=1}^{n-1} t_k = 2 \sum_{k=1}^{n-1} \frac{k^3}{n} - 2 \sum_{k=1}^{n-1} \lfloor \frac{k^3}{n} \rfloor \\ &= \frac{n(n-1)^2}{2} - 2 \sum_{k=1}^{n-1} \lfloor \frac{k^3}{n} \rfloor. \end{aligned}
Consequently, ∑k=1n−1⌊k3/n⌋=(n−2)(n2−1)/4\sum_{k=1}^{n-1} \lfloor k^3/n \rfloor = (n-2)(n^2-1)/4, and
∑k=1(n−2)(n−1)⌊kn3⌋=(n−2)(n−1)2−(n−2)(n2−1)/4=(n−2)(n−1)(3n−5)/4. \sum_{k=1}^{(n-2)(n-1)} \lfloor \sqrt[3]{kn} \rfloor = (n-2)(n-1)^2 - (n-2)(n^2-1)/4 = (n-2)(n-1)(3n-5)/4.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.