2021年高考全国理科数学I卷数学压轴题的证明

证明：

因为$\underset{x\to 0}{\lim }f(x)=0$，是一个可去间断点，我们补充$f(0)=0$，使它在$[0,e]$上连续。由第一问可知，$f(x)$在$(0,1)$上递增，$(1,e)$上递减。原题等同于$f(x)=x(1-\ln x)$，如果$x_1(1-\ln x_1)=x_2(1-\ln x_2)$，即$f(x_1)=f(x_2)$,求证$2<x_1+x_2<e$。由于对称性，我们不防设$x_1<x_2$。

首先证明$x_1+x_2>2$。

设$g(x)=f(x)-f(2-x)$，那么$g^{\prime }(x)=-\ln [x(2-x)]$,对于$h(x)=x(2-x)$，在$(0,1)$上递增，$g^{\prime }(x)$在此区间上递减。且$h(1)=1$，因此$g^{\prime }(x)>g^{\prime }(1)=0$，即$g(x)$在$(0,1)$上递增。而$g(1)=f(1)-f(1)=0$，于是我们得到$g(x)<0$，过程如下表所示。即可以写成$f(x_2)=f(x_1)<f(2-x_1)$。由于$x_2\in [1,e]\text{以及}2-x\in [1,e]$，且$f(x)$在$[1,e]$上递减。于是有$x_2>2-x_1$，即证得$x_1+x_2>2$。

x	$0\to 1$
$h(x)$	$0\nearrow 1$
$g^{\prime }(x)$	$+\infty \searrow 0$	$g^{\prime }(x)>0$
$g(x)$	$\ast \nearrow 0$	$g(x)$递增，$g(x)<0$

下面来证明$x_1+x_2<e$。

设$g(x)=f(x)-f(e-x)$那么$g^{\prime }(x)=-\ln [x(e-x)]$，$h(x)=x(e-x)$同理可以分析出在$(0,1)$上递减，且$\underset{x\to 0}{\lim }{g}^{\prime }(x)=+\infty$，而$g^{\prime }(1)=-\ln (e-1)\approx -0.54$，因此，即$g(x)$在$(0,1)$上先增后减。 g ( x ) > min ⁡ { g ( 0 ) = 0 , g ( 1 ) ≈ 0.21 } = 0 g(x)>\min \{g(0)=0,g(1)\approx 0.21\}=0 g(x)>min{g(0)=0,g(1)≈0.21}=0。于是我们得到$g(x)>0$，过程如下表所示。即可以写成$f(x_2)=f(x_1)>f(e-x_1)$。由于$x_2\in [1,e]\text{以及}e-x_2\in [1,e]$，且$f(x)$在$[1,e]$上递减。于是有$x_2<e-x_1$，即证得$x_1+x_2<e$。

得证。

x	$0\to 1$
$h(x)$	$0\nearrow e-1$
$g^{\prime }(x)$	$+\infty \searrow 0\searrow -0.54$	先$g^{\prime }(x)>0$，后$g^{\prime }(x)<0$
$g(x)$	$g(0)=0\nearrow g(\ast )\searrow 0.21$	$g(x)$先递增，后递减，$g(x)>0$

2022年上海卷压轴题：
根据前面的分析，我们猜测$a_{2m+1}=5\times 3^{m-1}$。对于$a_{2m+2}=2\times a_{2m+1}-a_i=2\times 5\times 3^{m-1}-a_i=3^{m+1}$，我们可取$a_i=a_{2m-2}=3^{m-1}$，当然，如果$m$取1，而$a_i=a_1$也是可行的。
对于$a_{2m+3}=2\times 3^{m+1}-a_i=5\times 3^m$，可取$a_i=a_{2m}=3^m$，当然，如果$m$取0，而$a_i=a_1$也是可行的。即对于$a_3=2a_2-a_1=5$也是满足题意的。完全可以满足题意。下面我们来使用数学归纳法来证明这样的取法是唯一的。
很显然对于$k=1$时是成立的，即$a_3=5$，验证即可。我们假设猜测$a_{2k+1}=5\times 3^{k-1},k=1,2,3...$
对于$a_{2k+3}=2\times 3^{k+1}-a_i$，而$a_{2k+4}=2\times a_{2k+3}-a_j=4\times 3^{k+1}-2a_i-a_j=3^{k+2}$，因此有$3^{k+1}=2a_i+a_j$。
首先证明一下$a_i$和$a_j$都只能是$3^q$的指数形式，即偶数项或第1项。
1、假设$a_i$和$a_j$都是取$5\times 3^n$的形式，那么右边可以被3整除，而左边无法被3整除，因此，假设错误。
2、假设$a_i=3^p,a_j=5\times 3^q$，代入上式，可知$3^{k+1}=2\times 3^p+5\times 3^q$，可以稍加分析下，如果p小于q，则两边提取$3^p$，可知$3^{k+1-p}=2+5\times 3^{q-p}$，右边不可能被3整除。同理如果$p\ge q$，也不可能。假设错误。
3、同2，可证$a_i=5\times 3^p，a_j=3^q$假设错误。
因此，只可能$a_i$和$a_j$都只能是3的指数形式，即偶数项或第1项。
可设$a_i=3^p,a_j=3^q$，于是有$3^{k+1}=2\times 3^p+3^q$，如果$p<q$，则$3^{k+1-p}=2+3^{q-p}$，根据两边被3整除的情况，只有$q-p=0且k+1-p=1$，和$p<q$矛盾。
如果$p\ge q$，同理分析知$p=q且k+1-q=1，即有p=q=k$。
由上面的分析可知只有取$a_i=a_j=3^k$，因此$a_{2k+3}=2\times 3^{k+1}-3^k=5\times 3^k$，是满足表达式的。
综上，我们有：
$$a_m=\{\begin{array}{ll}1& m=1\\ 3^k& m=2k\\ 5\times 3^{k-1}& m=2k+1\end{array}其中k=1,2,3...$$