AMC 最终复习
Published:
2024 AMC 12B
整体难度较低的卷子。
Problem 18 (Easy)
知识点:Fibonacci 数列、Lucas 数列
求
\[\sum\limits_{i=1}^{10} \frac {F_{2n}} {F_n}\]其中 $F$ 是 Fibonacci 数列 A000045。
直接做找规律其实就做完了,非常简单。但是背后的结论可以记一下。
我们有 Lucas 数列 A000032:
\[L_n = \begin{cases} 2 & n = 0 \\ 1 & n = 1 \\ L_{n-1} + L_{n-2} & \text{otherwise} \\ \end{cases}\]前若干项:2, 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, 199, 322
有结论:
\[L_n = \frac {F_{2n}} {F_n} \quad (n > 0)\] \[\begin{aligned} & \sum\limits_{i=1}^{10} L_i \\ =& \sum_1^{11} L_n \delta n \\ =& L_{12} - L_2 \\ =& 322 - 3 \\ =& \boxed{319} \\ \end{aligned}\]Problem 19 (Normal)
知识点:普通三角函数
(转化后题意)
$0 < \theta < 60 \degree$,$\sin \theta + \sin(\frac 2 3 \pi - \theta) = \frac {13} {14} \sqrt 3$,求 $\tan \theta$。
拆掉 $\sin(\frac 2 3 \pi - \theta)$:
\[\begin{aligned} & \sin \theta + \sin(\frac 2 3 \pi - \theta) & \\ =& \frac 2 3 \sin \theta + \frac {\sqrt 3} 2 \cos \theta &= \frac {13} {14} \sqrt 3 \\ \end{aligned}\] \[\frac 2 3 \tan \theta + \frac {\sqrt 3} 2 = \frac {13} {14} \sqrt 3 \sec \theta\]再结合 $\tan^2 \theta + 1 = \sec^2 \theta$,代入每个选项(乐)验算即可得到 $\tan \theta = \boxed{\frac 5 {11} \sqrt 3}$。
认真的做法是转辅助角然后硬做,但是不如直接代选项来的快。
Problem 24 (Normal)
知识点:放缩
(转化后题意)
整数 $1 \le a \le b \le c \le 9$,$\frac 1 b + \frac 1 c > \frac 1 a$。$r$ 是正整数。
求以下方程的解数:
\[\frac 1 a + \frac 1 b + \frac 1 c = \frac 1 r\]
题目条件带不等号,直接放缩。
\[\frac 1 r = \frac 1 a + \frac 1 b + \frac 1 c \ge \frac 3 c \ge \frac 3 9 = \frac 1 3\]因此 $r \le 3$。分讨,答案为 $\boxed{3}$。
如果不放缩直接讨论 $a$ 也可以接受,但是花的时间多很多。
Problem 25
抽象分讨题
TODO:
2023 AMC 12A
小清新卷子,题目总体来说比较优雅。
Problem 16 (Normal)
知识点:复数模长
复数 $z$ 满足 $\lvert z^2 + z + 1 \rvert = 4$,求 $\max \Im z$。
答案可以被表示为 $\frac {\sqrt m} n$,输出 $m + n$。
令 $z = a + bi$。
首先分解因式,拆开模长
\[\lvert z - \omega_3^1 \rvert \lvert z - \omega_3^2 \rvert = 4\] \[\lvert (a + \frac 1 2) + (b + \frac {\sqrt 3} 2) i \rvert \lvert (a + \frac 1 2) + (b - \frac {\sqrt 3} 2) i \rvert = 4\]根据模长的意义 $\lvert a + bi \rvert = a^2 + b^2$,为了虚部取到最大值,我们希望实部越小越好,取 $a = - \frac 1 2$。
\[\lvert b + \frac {\sqrt 3} 2 \rvert \lvert b - \frac {\sqrt 3} 2 \rvert = 4\] \[\lvert b^2 - \frac 3 4 \rvert = 4\] \[b = \pm \frac {\sqrt {19}} 2\]答案为 $\boxed{\frac {\sqrt {19}} 2}$。
Problem 20 (Easy)
知识点:数列
构造一个类似杨辉三角的结构:两边还是 $1$,中间每个数是上方两个数之和 $+1$。求第 $2023$ 行数之和(最顶上单独一个 $1$ 是第一行)。
输出答案的个位。
设第 $n$ 行答案为 $f_n$,DP 方程:(边界 $f_1 = 1$)
\[f_n = 2 f_{n-1} + n - 2\]GF 固然可以搞,但是差分方程更有趣。非齐次部分是 $n-2$,待定系数可以解出特解 $f_n = -n$;齐次部分的解是 $f_n = C 2^n$。
\[f_n = C 2^n - n\]结合边界条件解得
\[f_n = 2^n - n\]答案为 $2^{2023} - 2023$,个位为 $\boxed{5}$。
Problem 22 (Normal)
知识点:Dirichlet 卷积
对于任意正整数 $n$,有
\[\sum_{d \mid n} d \times f\left( \frac n d \right) = 1\]求 $f(2023)$。
Dirichlet 卷积,考虑 $f$ 的 Bell 级数 $F(x)$:
\[\frac 1 {1 - px} F(x) = \frac 1 {1-x}\] \[F(x) = \frac {1-px} {1-x} = 1 + \sum\limits_{i=1}^\infty (1-p) x^i\] \[f(n) = \prod_{p \mid n} (1 - p)\] \[f(2023) = f(7) \times f(17^2) = (1-7) (1-17) = \boxed{96}\]Problem 23 (Normal)
知识点:AM-GM。
求方程的解数($a,b$ 是正数):
\[(1 + 2a) (2 + 2b) (2a + b) = 32 ab\]
换元并重新整理可得
\[(1 + x) (1 + y) (x + y) = 8xy\]正常的这种方程都是无数解,但是这个方程要求解数,那肯定是有奇怪的限制把它卡死了。
形式如此对称,又有正数的限制,应该是个 AM-GM 的做法。
解 1:$(1 + x) (1 + y) (x + y) \ge 2 \sqrt x \times 2 \sqrt y \times 2 \sqrt{xy} = 8xy$,在 $x=y=1$ 取到等号。
解 2:$(\sqrt x + \frac 1 {\sqrt x}) (\sqrt y + \frac 1 {\sqrt y}) (\sqrt {\frac x y} + \sqrt {\frac y x}) \ge 2 \times 2 \times 2 = 8$,在 $x=y=1$ 取到等号。
答案为 $\boxed{1}$。
Problem 25
知识点:三角函数
略。
题目非常简单,从 $\tan x$ 开始一直和 $\tan 2x$ 组合,发现系数在 $1$ 与 $-1$ 之间 alternate 即可。但是记一下更广的结论。
对于奇数 $n$,有:
\[\tan nx = \frac {\binom n 1 \tan x - \binom n 3 \tan^3 x + \cdots \pm \binom n n \tan^n x} {1 - \binom n 2 \tan^2 x + \cdots \pm \binom n {n-1} \tan^{n-1} x}\]证明可以通过 $\tan nx = \frac {\sin nx} {\cos nx} = \frac {\Im e^{inx}} {\Re e^{inx}}$,而 $\Re z = \frac {z + \bar z} 2$,$\Im z = \frac {z - \bar z} {2i}$,二项式展开棣莫弗公式。
2023 AMC 12B
整体难度非常高的卷子。下面的几道都是比较难的题目,而且 Problem 25 是一道大计算几何题。
Problem 16 (Hard)
知识点:小凯的疑惑、构造
求使得方程 $6x + 10y + 15z = k$ 无自然数解的最大整数 $k$。
输出其每一位之和。
首先注意到这个题目很像 P3951 [NOIP 2017 提高组] 小凯的疑惑。那个题的结论是:
对于互质正整数 $a,b$,使得 $ax + by = k$ 无自然数解的最大整数 $k$ 存在,为 $ab - a - b$。
我们考虑用两遍这个结论。经过尝试,我们发现一种简单的做法。
首先挑出 $10y + 15z = 5 (2y + 3z)$ 这一部分。根据小凯的疑惑,$2y + 3z$ 可以组合出 $\ne 1$ 的任意数。即 $10y + 15z$ 可以组合出除了 $5$ 以外的任意 $5$ 的倍数,记为 $5t$。
原式变为 $6x + 5t = k$ 且 $t \ne 1$。再用一次小凯的疑惑,$6x + 5t$ 可以组合出任意大于 $19$ 的数,除非对应的方案正好 $t=1$。
什么样的数 $k$ 会使得 $t=1$?一个必要条件是 $k \bmod 6 = 5$。设 $k = 6p + 5$,则可以构造 $k = 6(p-5) + 10 + 10 + 15$ 这样的方案,前提是 $p \ge 5$。
接下来验证 $p < 5$ 的情况,我们发现 $6 \times 4 + 5 = 29$ 无法拼出。
因此答案为 $29$,输出 $\boxed{11}$。
2025.10.27 Update:发现一个同余最短路的做法,优雅很多且不需要注意力或分类讨论。
Problem 19 (Hard)
Solution 1 知识点:Markov 链
Solution 2 知识点:期望、单位根反演
$2023$ 个球被独立均匀随机放入 $3$ 个篮子,求每个篮子都有奇数个球的概率(近似值)。
$\frac 2 3$、$\frac 3 {10}$、$\frac 1 2$、$\frac 1 3$、$\frac 1 4$ 中选择一个最接近的。
Solution 1:Markov 链
我们有理由认为这个题求不出精确解(呃事实上可以),因此考虑一些乱搞做法。
首先注意到 $2023$ 个球这个条件其实没必要搞这么复杂,我们可以看成在 Markov 链上走 $2023$ 步。定义四个状态分别表示当前有 $0,1,2,3$ 个篮子是奇数,则有转移矩阵:
\[\begin{bmatrix} & \frac 1 3 \\ 1 & & \frac 2 3 \\ & \frac 2 3 & & 1 \\ & & \frac 1 3 \\ \end{bmatrix}^{2023} \begin{bmatrix} 1 \\ 0 \\ 0 \\ 0 \end{bmatrix}\]最终向量的第四分量就是精确的答案。但是显然考场上做相似对角化是不现实的。
所以我们注意到 $2023$ 很大,答案应该接近 Markov 链的平衡状态,即矩阵的(分量和为 $1$ 的)特征向量。
如果能注意到 $1,4$ 位置对称,$2,3$ 位置对称,则解得就更快了。
但是有一个问题,直接做你会发现做出来 $\frac 1 8$,离谱。因为我们事实上没有考虑到,$2023$ 步之后只会落在 $1,3$ 两个状态中,$2,4$ 是不可能的。事实上这也就导致这个 Markov 链是震荡的。一种做法是把转移矩阵平方再做,还有一种就是刚才 $2,4$ 平摊走了一半概率,现在加回来就是 $\boxed{\frac 1 4}$。
如果真的做了矩阵对角化,那么你会解出精确解
\[\frac 1 4 (1 - \frac 1 {3^{2022}})\]Solution 2:单位根反演
问题可以写成:已知自然数 $x+y+z=2023$,求
\[P(2 \nmid x \land 2 \nmid y \land 2 \nmid z)\]$x,y,z$ 耦合,直接求概率不好求,考虑转化成期望,用期望的线性性拆开(耦合变量求概率问题,转化为期望)。令
\[X = [2 \nmid x] [2 \nmid y] [2 \nmid z]\]则 $\mathbb E[X]$ 就是原来的答案。
单位根反演:$[2 \mid x] = \frac {1 + (-1)^x} 2$。后面二项式慢慢拆就做完了,而且是精确答案。
Problem 22 (Normal)
Solution 1 知识点:注意力。
Solution 2 知识点:三角函数、双曲函数。
一个接受实变量的实函数 $f$ 满足:对于任意实数 $a,b$,有
\[f(a+b) + f(a-b) = 2 f(a) f(b)\]问:$f(1)$ 不可能是以下五个中的哪个——$0,1,-1,2,-2$?
* 加强:$f(1)$ 可能的值有哪些?给出具体函数构造。
注意力题,提供两个毫不相干的做法。
基础想法是:
- Sol 1 通过不等式求出答案的值域,排除掉不在值域中的。
- Sol 2 直接构造出 $4$ 个答案对应的 $f$,剩下的就是不可能的。
Solution 1(严谨证明)
代 $a=b$ 得
\[f(2a) + f(0) = 2 f(a)^2\]动机出现,出现平方,构造不等式 $f(a)^2 \ge 0$。
代 $a=b=0$ 得
\[f(0) \in \{0,1\}\]发动刚才的不等式:
\[f(2a) = 2 f(a)^2 - f(0) \ge 0-1\]排除 $-2$。
关于为什么前 $4$ 个可行,见 Solution 2 的构造。
Solution 2(构造 $4$ 个答案)
注意到 $\cos$ 的积化和差公式和原方程一模一样:
\[\cos(a+b) + \cos(a-b) = 2 \cos a \cos b\]因此 $\cos$ 是 $f$ 的一个解,进一步可知 $f(x) = \cos(\omega x)$ 是一族解。调整 $\omega$ 可以构造出 $[-1,1]$ 之间的任意答案。
再注意到 $\cosh$ 的积化和差公式和原方程一模一样(也可以理解为 $\omega$ 取到虚数):
\[\cosh(a+b) + \cosh(a-b) = 2 \cosh a \cosh b\]同理 $\cosh(\omega x)$ 也是一族解。通过调整 $\omega$ 可以构造出 $[1,\infty)$ 的任意答案。具体来说,取 $\omega = \ln(2 + \sqrt 3)$ 可以取到 $f(1) = 2$。
因此我们构造出了 $[-1,\infty)$ 的任意答案。由 Solution 1 的论证可知 $f(1) \ge -1$,因此我们甚至给出了任意合法答案的构造。
Problem 23 (Hard)
知识点:插值。
有 $n$ 个数 $x_i \in {1,2,3,4,5,6}$。已知 $\prod\limits_{i=1}^n x_i$ 有 $936$ 种可能,求 $n$。
首先从质因数的角度考虑,我们有 $2,3,5$ 三个质因数。
$3$ 个质因数不好分析,我们手画 $2$ 个质因数的情况(即 $x_i \in {1,2,3,4,6}$ 没有 $5$),可以发现方案数 $f(n)$ 的差分 $\Delta f(n)$ 是等差数列,即关于 $n$ 的一次函数——即 $f(n)$ 是关于 $n$ 的二次函数。
我们大胆猜测 $3$ 个质因数下 $f(n)$ 是关于 $n$ 的三次函数!插值解一下($f(n) = \frac 1 2 n^3 + 2 n^2 + \frac 5 2 n + 1$)或者直接一路差分推上去,$f(11) = 936$,居然真的凑出来了。答案 $\boxed{11}$。
其实仔细想一下会发现这里根本不用猜。把刚才那个二次函数再求一次前缀和其实就是现在的三次函数。
二次函数不证了,我懒。
Problem 24 (Normal)
$a,b,c,d$ 是正整数。已知 $abcd$ 的值和 $a,b,c,d$ 两两 $\text{lcm}$ 的值(质因数全都只含有 $2,3,5$),求 $\gcd(a,b,c,d)$。
题目是给了具体值的,但是这里写不下了。
题目要求我们做一个 $\gcd$-$\text{lcm}$ 容斥。
对每个质因子单独考虑。
问题变为已知 $w+x+y+z$ 的值和 $w,x,y,z$ 两两 $\max$ 的值,求 $\min(w,x,y,z)$。显然是 $\min$-$\max$ 容斥。
\[\min_{i \in S} x_i = \sum_{T \subseteq S} (-1)^{\lvert T \rvert - 1}\max_{j \in T} x_j\]这个结论的证明非常优雅:考虑一个双射 $x ↦ {1,\cdots,x}$,那么 $\min$ 就是 $\cap$,$\max$ 就是 $\cup$。变回了普通的容斥原理。
Problem 25
TODO:
2022 AMC 12A
Problem 16 (Normal)
知识点:Pell 方程
其实不难,但是不知道 Pell 方程则无法下手。
\[\frac {n (n+1)} 2 = k^2\]定义 $t_n = \frac {n (n+1)} 2$。求所有为完全平方数的 $t_n$ 中第四小的项。
提示:前三个是 $t_1 = 1^2, t_8 = 6^2, t_{49} = 35^2$。
输出答案的数位之和。
配方为 Pell 方程:
\[(2n + 1)^2 - 2 (2k)^2 = 1\]令 $u = 2n+1, v = 2k$。
\[u^2 - 2 v^2 = 1\]Pell 方程的结论:令 $u^2 - Dv^2 = 1$ 的最小正整数解为 $(u^, v^)$,则任意正整数解 $(u,v)$ 可以被表示为:
\[u + \sqrt D v = (u^* + \sqrt D v^*)^m\]根据题目给的 $t_1 = 1$ 我们可以得到 $(u^, v^) = (3, 2)$。计算第四个解:
\[(3 + 2 \sqrt 2)^4 = 577 + 408 \sqrt 2\]因此 $u = 577$ 即 $n = 288$,$t_n = 41616$。输出 $\boxed{18}$。
2022 AMC 12B
TODO: