Number theoryDifficulty 7.1National olympiad, round 2Find the answer
For each positive integer n, let f(n) be the maximal natural number such that: 2f(n) divides ∑i=0⌊2n−1⌋(2⋅i+1n)3i. Find all n such that f(n)=1996.
For each positive integer n, let f(n) be the maximal natural number such that: 2f(n) divides ∑i=1n+1/2(n2⋅i+1). Find all n such that f(n)=1996.
A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.
Solution
To solve the problem, we need to find all positive integers n such that f(n)=1996, where f(n) is the maximal natural number such that 2f(n) divides the sum: i=0∑⌊2n−1⌋(2i+1n)3i
First, we express the sum in a more manageable form. We start by using the binomial theorem and properties of binomial coefficients.
1. Express the sum using roots of unity: xn=i=0∑⌊2n−1⌋(2i+1n)3i This can be rewritten using the binomial theorem for complex numbers: xn=231[(1+3)n−(1−3)n]
2. **Simplify the expression for even and odd n:** - For n=2k: x2k=231[(1+3)2k−(1−3)2k] Using the fact that (1+3)2=2(2+3) and (1−3)2=2(2−3), we get: x2k=232k[(2+3)k−(2−3)k] Therefore, x2k=2ki=0∑⌊2k−1⌋(2i+1k)2k−2i−13i Hence, f(4k+2)=2k+1 and f(4k)=2k+1+ord2(k).
- For n=2k+1: x2k+1=231[(1+3)2k+1−(1−3)2k+1] Using the same properties, we get: x2k+1=232k[(2+3)k(1+3)−(2−3)k(1−3)] Simplifying further: x2k+1=2ki=0∑⌊2k−1⌋(2i+1k)2k−2i−13i+i=0∑⌊2k⌋(2ik)2k−2i3i Therefore, f(n)=⌊2n⌋ if 4∤n, and f(n)=⌊2n⌋+ord2(⌊2n⌋) if 4∣n.
3. **Determine n such that f(n)=1996:** - If n=2k and 4∣n: f(n)=2k+ord2(k)=1996 Let k=2m⋅t where t is odd. Then: 2k+m=1996⟹2(2m⋅t)+m=1996 Solving for k: k=21996−m⋅t Therefore, n=4k=4⋅21996−m⋅t.
- If n=2k+1: f(n)=k=1996⟹n=2⋅1996+1=3993
Thus, the values of n such that f(n)=1996 are n=3993 and n=3984.
The final answer is 3993 and 3984.
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.