MathDB
Coefficients divisible by 3

Source: CMO 2022 P6

December 22, 2021
polynomialalgebra

Problem Statement

For integers 0an0\le a\le n, let f(n,a)f(n,a) denote the number of coefficients in the expansion of (x+1)a(x+2)na(x+1)^a(x+2)^{n-a} that is divisible by 3.3. For example, (x+1)3(x+2)1=x4+5x3+9x2+7x+2(x+1)^3(x+2)^1=x^4+5x^3+9x^2+7x+2, so f(4,3)=1f(4,3)=1. For each positive integer nn, let F(n)F(n) be the minimum of f(n,0),f(n,1),,f(n,n)f(n,0),f(n,1),\ldots ,f(n,n).
(1) Prove that there exist infinitely many positive integer nn such that F(n)n13F(n)\ge \frac{n-1}{3}.
(2) Prove that for any positive integer nn, F(n)n13F(n)\le \frac{n-1}{3}.