2023 AIME II 第 13 题

先试着解答 2023 AIME II 第 13 题,然后核对你的答案与精心整理的解答,解答来自 LIVE by Po-Shen Loh。你也可以参加完整限时模拟考试、查看全部 2023 AIME II 解答,或核对答案

所有题目均经美国数学协会(MAA)官方合法授权使用。

13.

AA 为锐角,且 tanA=2cosA\tan A = 2 \cos A。求不超过 10001000 的正整数 nn 的个数,使得 secnA+tannA\sec^n A + \tan^n A 是个位数字为 99 的正整数。

Let AA be an acute angle such that tanA=2cosA.\tan A = 2 \cos A. Find the number of positive integers nn less than or equal to 10001000 such that secnA+tannA\sec^n A + \tan^n A is a positive integer whose units digit is 9.9.

答案:167
知识点:三角恒等式递推个位数字
难度评级:3060
解答:

s=secAs = \sec At=tanAt = \tan A。条件 tanA=2cosA\tan A = 2\cos A 等价于 tanAsecA=2\tan A \sec A = 2,即 st=2st = 2,并且恒有 s2t2=1s^2 - t^2 = 1。于是 (s2+t2)2(s^2 + t^2)^2 =(s2t2)2+4s2t2= (s^2 - t^2)^2 + 4s^2t^2 =17= 17,所以 u=s2u = s^2v=t2v = t^2 满足 u+v=17u + v = \sqrt{17}uv=4uv = 4。和 wm=um+vmw_m = u^m + v^m 满足递推 wm+1=17wm4wm1w_{m+1} = \sqrt{17}\,w_m - 4w_{m-1},且 w0=2w_0 = 2w1=17w_1 = \sqrt{17};归纳可知, 当 mm 为偶数时 wmw_m 是正整数,当 mm 为奇数时 w_m 是整数乘以 17\sqrt{17}

对偶数 n=2mn = 2msn+tn=wms^n + t^n = w_m,它是整数当且仅当 mm 为偶数,即 4n4 \mid n。对奇数 nn(sn+tn)2(s^n + t^n)^2 =wn+2(st)n= w_n + 2 (st)^n =wn+2n+1= w_n + 2^{n+1} 是无理数,所以 sn+tns^n + t^n 不是整数。因此写 n=4jn = 4j,并令 xj=w2jx_j = w_{2j}。由于 u2+v2=9u^2 + v^2 = 9u2v2=16u^2 v^2 = 16,整数 xjx_j 满足 xj+1=9xj16xj1,x0=2,x1=9, \begin{gathered} x_{j+1} = 9x_j - 16x_{j-1}, \\ x_0 = 2, \\ x_1 = 9, \end{gathered} 得到 9,49,297,1889,9, 49, 297, 1889, \ldots,它们的个位数字以周期三重复:9,9,79, 9, 7。当 3j3 \mid j 时个位数字为 77,否则为 99

合格的 n1000n \le 1000n=4jn = 4j,其中 1j2501 \le j \le 2503j3 \nmid j:共有 25083=167250 - 83 = 167 个。

Let s=secAs = \sec A and t=tanA.t = \tan A. The hypothesis tanA=2cosA\tan A = 2\cos A says tanAsecA=2,\tan A \sec A = 2, i.e. st=2,st = 2, and always s2t2=1.s^2 - t^2 = 1. Then (s2+t2)2(s^2 + t^2)^2 =(s2t2)2+4s2t2= (s^2 - t^2)^2 + 4s^2t^2 =17,= 17, so u=s2u = s^2 and v=t2v = t^2 satisfy u+v=17,u + v = \sqrt{17}, uv=4.uv = 4. The sums wm=um+vmw_m = u^m + v^m obey wm+1=17wm4wm1w_{m+1} = \sqrt{17}\,w_m - 4w_{m-1} with w0=2,w_0 = 2, w1=17;w_1 = \sqrt{17}; by induction wmw_m is a positive integer for even mm and an integer times 17\sqrt{17} for odd m.m.

For even n=2m,n = 2m, sn+tn=wm,s^n + t^n = w_m, an integer exactly when mm is even, i.e. 4n.4 \mid n. For odd n,n, (sn+tn)2(s^n + t^n)^2 =wn+2(st)n= w_n + 2 (st)^n =wn+2n+1= w_n + 2^{n+1} is irrational, so sn+tns^n + t^n is not an integer. Thus write n=4jn = 4j and xj=w2j.x_j = w_{2j}. Since u2+v2=9u^2 + v^2 = 9 and u2v2=16,u^2 v^2 = 16, the integers xjx_j satisfy xj+1=9xj16xj1,x0=2,x1=9, \begin{gathered} x_{j+1} = 9x_j - 16x_{j-1}, \\ x_0 = 2, \\ x_1 = 9, \end{gathered} giving 9,49,297,1889,9, 49, 297, 1889, \ldots whose units digits repeat with period three: 9,9,7.9, 9, 7. The units digit is 77 when 3j3 \mid j and 99 otherwise.

The valid n1000n \le 1000 are n=4jn = 4j with 1j2501 \le j \le 250 and 3j:3 \nmid j: there are 25083=167250 - 83 = 167 of them.

← 第 12 题#12
完整试卷

其他年份的第 13 题