olymmath

VN-TST 2003 Problem 3

  • Day 1

Let f(0,0)=52003,f(0,n)=0f(0, 0) = 5^{2003}, f(0, n) = 0 for every integer n≠0n \neq 0 and  f(m,n)=f(m−1,n)−2⋅⌊f(m−1,n)2⌋+⌊f(m−1,n−1)2⌋+⌊f(m−1,n+1)2⌋\begin{array}{c}\ f(m, n) = f(m-1, n) - 2 \cdot \Bigg\lfloor \frac{f(m-1, n)}{2}\Bigg\rfloor + \Bigg\lfloor\frac{f(m-1, n-1)}{2}\Bigg\rfloor + \Bigg\lfloor\frac{f(m-1, n+1)}{2}\Bigg\rfloor \end{array} for every natural number m>0m > 0 and for every integer nn .

Prove that there exists a positive integer MM such that f(M,n)=1f(M, n) = 1 for all integers nn such that ∣n∣≤(52003−1)2|n| \leq \frac{(5^{2003}-1)}{2} and f(M,n)=0f(M, n) = 0 for all integers n such that ∣n∣>52003−12.|n| > \frac{5^{2003}-1}{2}.

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Similar problems

These problems have the most words in common with this statement.

Locator vn-tst/2003/p3 · Tag FQKGZGJETX · Edit this page on GitHub · Keys: j next, k previous