Maths Olympiad Prep

Library / /337 of 520

Number theory Difficulty 7.1 National olympiad, round 2 Find the answer

For each positive integer nn, let f(n)f(n) be the maximal natural number such that: 2f(n)2^{f(n)} divides i=0n12(n2i+1)3i\sum^{\left\lfloor \frac{n - 1}{2}\right\rfloor}_{i=0} \binom{n}{2 \cdot i + 1} 3^i. Find all nn such that f(n)=1996.f(n) = 1996.


For each positive integer nn, let f(n)f(n) be the maximal natural number such that: 2f(n)2^{f(n)} divides i=1n+1/2(2i+1n)\sum^{n + 1/2}_{i=1} \binom{2 \cdot i + 1}{n}. Find all nn such that f(n)=1996.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 n such that f(n)=1996 f(n) = 1996 , where f(n) f(n) is the maximal natural number such that 2f(n) 2^{f(n)} divides the sum:
i=0n12(n2i+1)3i \sum_{i=0}^{\left\lfloor \frac{n - 1}{2} \right\rfloor} \binom{n}{2i+1} 3^i

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=0n12(n2i+1)3i x_n = \sum_{i=0}^{\left\lfloor \frac{n-1}{2} \right\rfloor} \binom{n}{2i+1} 3^i
This can be rewritten using the binomial theorem for complex numbers:
xn=123[(1+3)n(13)n] x_n = \frac{1}{2\sqrt{3}} \left[ (1+\sqrt{3})^n - (1-\sqrt{3})^n \right]

2. **Simplify the expression for even and odd n n :**
- For n=2k n = 2k :
x2k=123[(1+3)2k(13)2k] x_{2k} = \frac{1}{2\sqrt{3}} \left[ (1+\sqrt{3})^{2k} - (1-\sqrt{3})^{2k} \right]
Using the fact that (1+3)2=2(2+3) (1+\sqrt{3})^2 = 2(2+\sqrt{3}) and (13)2=2(23) (1-\sqrt{3})^2 = 2(2-\sqrt{3}) , we get:
x2k=2k23[(2+3)k(23)k] x_{2k} = \frac{2^k}{2\sqrt{3}} \left[ (2+\sqrt{3})^k - (2-\sqrt{3})^k \right]
Therefore,
x2k=2ki=0k12(k2i+1)2k2i13i x_{2k} = 2^k \sum_{i=0}^{\left\lfloor \frac{k-1}{2} \right\rfloor} \binom{k}{2i+1} 2^{k-2i-1} 3^i
Hence, f(4k+2)=2k+1 f(4k+2) = 2k+1 and f(4k)=2k+1+ord2(k) f(4k) = 2k+1 + \text{ord}_2(k) .

- For n=2k+1 n = 2k+1 :
x2k+1=123[(1+3)2k+1(13)2k+1] x_{2k+1} = \frac{1}{2\sqrt{3}} \left[ (1+\sqrt{3})^{2k+1} - (1-\sqrt{3})^{2k+1} \right]
Using the same properties, we get:
x2k+1=2k23[(2+3)k(1+3)(23)k(13)] x_{2k+1} = \frac{2^k}{2\sqrt{3}} \left[ (2+\sqrt{3})^k (1+\sqrt{3}) - (2-\sqrt{3})^k (1-\sqrt{3}) \right]
Simplifying further:
x2k+1=2k[i=0k12(k2i+1)2k2i13i+i=0k2(k2i)2k2i3i] x_{2k+1} = 2^k \left[ \sum_{i=0}^{\left\lfloor \frac{k-1}{2} \right\rfloor} \binom{k}{2i+1} 2^{k-2i-1} 3^i + \sum_{i=0}^{\left\lfloor \frac{k}{2} \right\rfloor} \binom{k}{2i} 2^{k-2i} 3^i \right]
Therefore, f(n)=n2 f(n) = \left\lfloor \frac{n}{2} \right\rfloor if 4n 4 \nmid n , and f(n)=n2+ord2(n2) f(n) = \left\lfloor \frac{n}{2} \right\rfloor + \text{ord}_2\left(\left\lfloor \frac{n}{2} \right\rfloor\right) if 4n 4 \mid n .

3. **Determine n n such that f(n)=1996 f(n) = 1996 :**
- If n=2k n = 2k and 4n 4 \mid n :
f(n)=2k+ord2(k)=1996 f(n) = 2k + \text{ord}_2(k) = 1996
Let k=2mt k = 2^m \cdot t where t t is odd. Then:
2k+m=1996    2(2mt)+m=1996 2k + m = 1996 \implies 2(2^m \cdot t) + m = 1996
Solving for k k :
k=21996mt k = 2^{1996 - m} \cdot t
Therefore, n=4k=421996mt n = 4k = 4 \cdot 2^{1996 - m} \cdot t .

- If n=2k+1 n = 2k+1 :
f(n)=k=1996    n=21996+1=3993 f(n) = k = 1996 \implies n = 2 \cdot 1996 + 1 = 3993

Thus, the values of n n such that f(n)=1996 f(n) = 1996 are n=3993 n = 3993 and n=3984 n = 3984 .

The final answer is 3993 and 3984 \boxed{3993 \text{ 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.