2022 winter vacation high school mathematics league second test simulation problem.
Day1\Huge\texttt{Day1}
T1\Large\texttt{T1}
Solution:

ABC\triangle ABC 外心 OO,连接 AO,OLAO,OL
有一个重要结论:

AH=12OL\textbf{AH=}\frac12\textbf{OL}

APLO\Rightarrow APLO 为平行四边形。
CLS=OAP=OAH=OACCAH=(90°B)(90°C)=CB\Rightarrow \angle CLS=\angle OAP=\angle OAH=\angle OAC-\angle CAH=(90°-B)-(90°-C)=C-B.
CSL=CCLS=GBL\Rightarrow \angle CSL=C-\angle CLS=\angle GBL.
G,B,S,C\Rightarrow G,B,S,C 四点共圆。
T2\Large\texttt{T2}
Solution:
m=1,[S1]=1;m=2,[S4]=2m = 1, [S_1] = 1; m = 2, [S_4] = 2
当 $ m \geqslant 3$ 时, 对 a,bR\forall a,b\in \R,满足 0a<b10\leqslant a < b \leqslant 1, 令 N0=[1ba]+1N_0 = [ \frac {1}{b-a}]+1, 则 N0>1baN_0 > \frac{1}{b-a}
\forall 正整数 $ m > S_{N_0}$ 和 \forall 正整数 k>N0k>N_0, 若都 $S_k \leqslant m+a $ 或 Skm+b,S_k \geqslant m+b, 因为 SnS_n 发散
k0,stSk01m+a,Sk0m+b1k0bak01ba<N0\exist k_0, s\cdot t\cdot S_{k_0-1} \leqslant m+a, S_{k_0} \geqslant m+b \Rarr \frac{1}{k_0} \geqslant b-a \Rarr k_0 \leqslant \frac {1}{b-a} < N_0 矛盾!
n>N0,stmm+a<Sn<m+bm+1[Sn]=m\therefore \exist n > N_0, s\cdot t\cdot m \leqslant m+a < S_n < m+b \leqslant m+1 \Rarr [S_n] = m
T3\Large\texttt{T3}
Solution:
补充定义: an+k=ana_{n+k}= a_n

aiai+1+ai+1ai+2=ai+1(ai+ai+2)ai+1(1ai+1)a_ia_{i+1}+a_{i+1}a_{i+2}=a_{i+1}(a_i+a_{i+2})\le a_{i+1}(1-a_{i+1})

则有

2i1naiai+1i1nai(1ai)=i1naii1nai2i1nai1n(i1nai)22\sum_{i-1}^{n}{a_ia_{i+1}}\le\sum_{i-1}^{n}{a_i(1-a_i)}=\sum_{i-1}^{n}a_i-\sum_{i-1}^{n}a_i^2\le\sum_{i-1}^{n}a_i-\frac{1}{n}(\sum_{i-1}^{n}a_i)^2

S=i1nai=i1n(ai+ai+1+ai+2)3n3S=\sum_{i-1}^{n}a_i=\frac{\sum_{i-1}^{n}(a_i+a_{i+1}+a_{i+2})}{3}\le\frac{n}{3}

2i1naiai+1S(nS)nn32n3n=2n92\sum_{i-1}^{n}{a_ia_{i+1}}\le\frac{S(n-S)}{n}\le\frac{\frac{n}{3}\cdot\frac{2n}{3}}{n}=\frac{2n}{9}

\color{red}{(平均时取到最大值)}
所以

i1naiai+1n9\sum_{i-1}^{n}{a_ia_{i+1}}\le\frac{n}{9}

a1=a2==an=13a_1=a_2=\cdots=a_n=\frac{1}{3} 时取到最大值 n9\frac{n}{9}
T4\Large\texttt{T4}
Solution:

f(n)=\left\{ \begin{array}{**lr**} 2, &n 是2的幂 \\ 3, &n 不是2的幂 \end{array} \right.

nn22 的幂,f(n)=2f(n)=2
nn 不是 22 的幂,f(n)=3f(n)=3
因为操作无法删除 0,n0,n,所以 f(n)2f(n) \ge 2
nn 不是 22 的幂,若 f(n)=2f(n)=2,则结束时,只剩下 0,n0,n。设n的最大奇因子为 ll,则从结束时,逆向进行操作,知黑板上只存在 ll 的倍数,矛盾。所以当 nn 不是 22 的幂,f(n)3f(n) \ge 3
下面归纳证明,nn 是二的幂时,可使黑板上只剩 22 个数;否则可使黑板上只剩 33 个数。
一、n=2n=2 时:显然
二、假设 <n<n 时结论成立,对于 nn 的情况:

  1. nn22 的幂,由归纳假设,可使得 黑板上剩下序列 0,n/2,n0, n/2, n(序列两数之间的数因为 n/2n/2 时成立可以被删去),再删去中间的 n/2n/2
  2. nn 不是 22 的幂,可设 2r<n<2r+12^r < n < 2^{r+1}
    由数 2tn,n2t-n,n 删除 tt,记作操作 PtP_t
    执行操作 Pn1,Pn2,...,P2r+1P_{n-1},P_{n-2},...,P_{2^r+1},剩下序列为 0,1,...,2r,n0,1,...,2^r,n。由 n=2rn=2^r 时成立得出序列可变为 0,2r,n0,2^r,n
    综上,结论得证。
    Day2\Huge\texttt{Day2}
    T1\Large\texttt{T1}
    如图,ABC\triangle ABC 的外心为 OOEEACAC 的中点,直线 OEOEABABDD,点 MMNN 分别是 BCD\triangle BCD 的外心与内心,若 AB=2BCAB=2BC,证明:DMN\triangle DMN 为直角三角形。
    Solution:
    显然 O,D,C,BO,D,C,B 四点共圆.
    由于 OMOMBCBC 中垂线,设 OMM=FOM\cap\odot M=F.
    OMBC=POM\cap BC=P,则 PPBCBC 中点,FFBC^\widehat{BC} 中点。
    N\because N 是内心,D,M,F\therefore D,M,F 三点共线。
    OE\because OEACAC 中垂线,DA=DC\therefore DA=DC.
    NHBDNH\perp BD 于点 HH
    DH=DC+DBBC2=DA+DBBC2=ABBC2=BC2=BPDH=\dfrac{DC+DB-BC}2=\dfrac{DA+DB-BC}2=\dfrac{AB-BC}2=\dfrac{BC}2=BP.
    PBF=CBF=12CDB=HDN\angle PBF=\angle CBF=\frac12 \angle CDB=\angle HDN,
    RtPBFRtHDNDN=BF\therefore \text{Rt}\triangle PBF\cong \text{Rt}\triangle HDN \Rarr DN=BF.
    又由鸡爪定理 NF=BFDN=NFNF=BF \Rarr DN=NF.
    DF\because DFCDB\angle CDB 内角平分线, DODOCDB\angle CDB 外角平分线,
    DF=DOOF\therefore DF=DO \Rarr OFM\odot M 直径。
    T2\Large\texttt{T2}
    求证:数列 an=3ncos(narccos13)(nN)a_n=3^n\cos(n\arccos\frac{1}{3})(n\in\mathbb{N}^{*}) 的每一项都是整数,但都不是 33 的倍数。
    Solution:
    设原式 =f(a,b,c,d)=f(a,b,c,d)。易知:f(a,b,c,d)=12[(a+b)2+(c+d)2+(ac)2+(bd)2]bcf(a,b,c,d)=\frac12[(a+b)^2+(c+d)^2+(a-c)^2+(b-d)^2]-bc
  3. bc>0bc>0,则 ad=1+bc>0ad=1+bc>0,故 b,cb,c 同号,a,da,d 同号。由于 f(a,b,c,d)=f(a,b,c,d)f(a,b,c,d)=f(-a,-b,-c,-d),故只需考虑:(i) a,b,c,d>0a,b,c,d>0 (ii) a,d>0,b,c<0a,d>0,b,c<0
    对于 (i),由 a+b1+b,c+d1+ca+b\ge1+b,c+d\ge1+c 知,

    f(a,b,c,d)12[(1+b)2+(c+1)2]bc=(bc)22+1+b+c>2\begin{aligned} f(a,b,c,d)&\ge\frac12[(1+b)^2+(c+1)^2]-bc\\&=\frac{(b-c)^2}2+1+b+c\\&>2 \end{aligned}

    对于 (ii),由 acc+1,bdb+1|a-c|\ge|c|+1,|b-d|\ge|b|+1 知,

    f(a,b,c,d)12[(c+1)2+(b+1)2]bc=(bc)22+1+b+c>2\begin{aligned} f(a,b,c,d)&\ge\frac12[(|c|+1)^2+(|b|+1)^2]-bc\\&=\frac{(b-c)^2}2+1+|b|+|c|\\&>2 \end{aligned}

  4. bc=0bc=0,则 ad=1ad=1,所以 a=d=±1a=d=\pm1,若 b=0b=0,则

    f(a,b,c,d)=12[a2+(c+d)2+(ac)2+d2]=1+12[(c1)2+(c+1)2]=c2+22\begin{aligned} f(a,b,c,d)&=\frac12[a^2+(c+d)^2+(a-c)^2+d^2]\\&=1+\frac12[(c-1)^2+(c+1)^2]\\&=c^2+2\\&\ge2 \end{aligned}

    等号成立当且仅当 c=0c=0,同理,若 c=0c=0f(a,b,c,d)2f(a,b,c,d)\ge2,等号成立当且仅当 b=0b=0
  5. bc<0bc<0
    bc3bc\le-3,则 f(a,b,c,d)3f(a,b,c,d)\ge3
    bc=2bc=-2,则 f(a,b,c,d)2f(a,b,c,d)\ge2,取等号时有 a=b=c=da=-b=c=-d,而此时 b2=2b^2=2,矛盾
    bc=1bc=-1,则 ad=0ad=0,此时 f(a,b,c,d)1f(a,b,c,d)\ge1,取等号时,a=b=c=da=-b=c=-d,此时 ad=bcad=bc,矛盾。所以 f(a,b,c,d)2f(a,b,c,d)\ge2,取等号时,(a+b)2+(c+d)2+(ac)2+(bd)2=2(a+b)^2+(c+d)^2+(a-c)^2+(b-d)^2=2
    此时,若 a=0a=0,则 (a,b,c,d)=(0,1,1,1)(a,b,c,d)=(0,1,-1,1)(0,1,1,1)(0,-1,1,-1)
    同理,若 d=0d=0,则 (a,b,c,d)=(1,1,1,0)(a,b,c,d)=(1,-1,1,0)(1,1,1,0)(-1,1,-1,0)
    综上所述,f(a,b,c,d)f(a,b,c,d) 的最小值为 22,取等号当且仅当 (a,b,c,d)(a,b,c,d)

(0,1,1,1)(0,1,1,1)(1,1,1,0)(1,1,1,0)(1,0,0,1)(1,0,0,1)\begin{aligned} &(0,1,-1,1)&(0,-1,1,-1)\\&(1,-1,1,0)&(-1,1,-1,0)\\&(1,0,0,1)&(-1,0,0,-1) \end{aligned}

之一。
T3\Large\texttt{T3}
整数 a,b,c,da,b,c,d 满足 adbc=1ad-bc=1,求 a2+b2+c2+d2+ab+cdacbdbca^2+b^2+c^2+d^2+ab+cd-ac-bd-bc 的最小值,并求出一切达到最小值的四元数组 (a,b,c,d)(a,b,c,d)
Solution:
θ=arccos13\theta=\arccos\frac13,则 cosθ=13\cos\theta=\frac13an=3ncosnθa_n=3^n\cos n\theta
我们用数学归纳法证明原题。

  1. n=1n=1 时,a1=3cosθ=1a_1=3\cos\theta=1
    n=2n=2 时,a2=32cos2θ=9(2cos2θ1)=7a_2=3^2\cos2\theta=9(2\cos^2\theta-1)=-7
    都是整数,且均不为 33 的倍数,命题成立。
  2. 假设 nkn\le k 时结论成立 (k2)(k\ge2)

    ak+1=3k+1cos(k+1)θ=3k+1[2coskθcosθcos(k1)θ]=2ak9ak1\begin{aligned} a_{k+1}&=3^{k+1}\cos(k+1)\theta\\&=3^{k+1}[2\cos k\theta\cos\theta-\cos(k-1)\theta]\\&=2a_k-9a_{k-1} \end{aligned}

    所以 ak+1a_{k+1} 也是整数,不是 33 的倍数,
    所以 n=k+1n=k+1 时成立。
    综上,命题对一切正整数成立。
    T4\Large\texttt{T4}
    试确定在 12×1212\times 12 棋盘中放置的“王”的数目的最大值,使得其中每一个“王”都恰可攻击另外一个“王”(“王”可以攻击和他所在方格有公共顶点的方格中的棋子)。
    Solution:
    5656 个。

    我们称棋盘上每个放个的顶点为格点,任意一组可相互攻击的“王”所在的方格累计不少于 66 个格点
    棋盘共有 13×13=16913 \times13 = 169 个顶点,从而可以互相攻击的王对数目不超过 [1696]=28[\frac{169}{6}] = 28
    \therefore 可以放置的“王”的数量 2×28=56\leqslant2\times 28 = 56
    \therefore 综上,至多可以放置 5656 个“王”
    Day3\Huge\texttt{Day3}
    T1\Large\texttt{T1}
    T2\Large\texttt{T2}
    T3\Large\texttt{T3}
    T4\Large\texttt{T4}