2022 CMO 第 6 题

For integers $0\le a\le n$ , let $f(n,a)$ denote the number of coefficients in the expansion of $(x+1)^a(x+2)^{n-a}$ that is divisible by $3.$ For example, $(x+1)^3(x+2)^1=x^4+5x^3+9x^2+7x+2$ , so $f(4,3)=1$ . For each positive integer $n$ , let $F(n)$ be the minimum of $f(n,0),f(n,1),\ldots ,f(n,n)$ .

(1) Prove that there exist infinitely many positive integer $n$ such that $F(n)\ge \frac{n-1}{3}$ .

(2) Prove that for any positive integer $n$ , $F(n)\le \frac{n-1}{3}$ .

对于整数 $0\le a\le n$ ，令 $f(n,a)$ 表示 $(x+1)^a(x+2)^{n-a}$ 展开式中可被 $3 整除的系数数量。$ 例如， $(x+1)^3(x+2)^1=x^4+5x^3+9x^2+7x+2$ ，因此 $f(4,3)=1$ 。对于每个正整数 $n$ ，令 $F(n)$ 为 $f(n,0),f(n,1),\ldots ,f(n,n)$ 中的最小值。

(1) 证明存在无穷多个正整数$n$，使得$F(n)\ge \frac{n-1}{3}$ 。

(2) 证明对于任何正整数 $n$ ，$F(n)\le \frac{n-1}{3}$ 。