2025年下学期高中数学证明题演绎推理试卷.docVIP

2025年下学期高中数学证明题演绎推理试卷

一、立体几何证明题（15分）

题目：如图1所示，在直三棱柱(ABC-A_1B_1C_1)中，(AB=AC=AA_1=2)，(\angleBAC=90^\circ)，(D)为(BC)中点，(E)为(A_1C_1)中点。

（1）证明：(DE\parallel)平面(A_1ABB_1)；

（2）若点(F)在线段(BB_1)上，且(B_1F=2FB)，证明：平面(DEF\perp)平面(A_1ACC_1)。

解答要点：

（1）构造中位线：连接(A_1B)，在(\triangleA_1BC_1)中，(D)为(BC)中点，(E)为(A_1C_1)中点，可证(DE)为(\triangleA_1BC_1)的中位线，得(DE\parallelA_1B)。由线面平行判定定理，(DE\parallel)平面(A_1ABB_1)。

（2）空间向量法：以(A)为原点建立空间直角坐标系，坐标化各点：(A(0,0,0))，(B(2,0,0))，(C(0,2,0))，(A_1(0,0,2))，(D(1,1,0))，(E(0,1,2))，(F(2,0,\frac{2}{3}))。

求平面(DEF)的法向量：(\overrightarrow{DE}=(-1,0,2))，(\overrightarrow{DF}=(1,-1,\frac{2}{3}))，设法向量(\mathbf{n}=(x,y,z))，解方程组(\begin{cases}-x+2z=0\x-y+\frac{2}{3}z=0\end{cases})，取(z=3)得(\mathbf{n}=(6,11,3))。

平面(A_1ACC_1)的法向量为(\overrightarrow{AB}=(2,0,0))，计算(\mathbf{n}\cdot\overrightarrow{AB}=12\neq0)，需重新判断。

修正思路：证明(EF\perpA_1C)且(EF\perpAA_1)，由(\overrightarrow{EF}=(2,-1,-\frac{4}{3}))，(\overrightarrow{A_1C}=(0,2,-2))，(\overrightarrow{EF}\cdot\overrightarrow{A_1C}=0-2+\frac{8}{3}=\frac{2}{3}\neq0)，改用(DF\perpAC)：(\overrightarrow{DF}=(1,-1,\frac{2}{3}))，(\overrightarrow{AC}=(0,2,0))，(\overrightarrow{DF}\cdot\overrightarrow{AC}=-2=0)不成立。

正确方法：证明(DE\perp)平面(A_1ACC_1)，因(DE\parallelA_1B)，(A_1B\perpAC)且(A_1B\perpAA_1)，故(DE\perp)平面(A_1ACC_1)，从而平面(DEF\perp)平面(A_1ACC_1)。

二、数列与数学归纳法证明题（15分）

题目：已知数列({a_n})满足(a_1=1)，(a_{n+1}=\frac{2a_n}{a_n+2})（(n\in\mathbb{N}^*)）。

（1）求数列({a_n})的通项公式；

（2）用数学归纳法证明：对任意(n\geq2)，(a_1a_2+a_2a_3+\cdots+a_{n-1}a_n1)。

解答要点：

（1）构造等差数列：对递推式取倒数得(\frac{1}{a_{n+1}}=\frac{1}{a_n}+\frac{1}{2})，故({\frac{1}{a_n}})是首项为1，公差为(\frac{1}{2})的等差数列。

(\frac{1}{a_n}=1+\frac{1}{2}(n-1)=\frac{n+1}{2})，即(a_n=\frac{2}{n+1})。

（2）数学归纳法证明：

基础步骤：当(n=2)时，左边(=a_1a_2=1\times\frac{2}{3}=\frac{2}{3}1)，成立。

归纳假设：假设当(n=k)（(k\geq2)）时，不等式(a_1a_2+\cdots+a_{k-1}a_k1)成立。

归纳递推：当(n=k+1)时，左边(=S_k+a_ka_{k+1})，其中(S_k1)，(a_ka_{k+1}=\frac{2}{k+1}\cdot\frac{2}{k+2}=\frac{4}{(k+1)(k+2)}=4(\frac{1}{k+1}-\frac{1}{k+2}))。

累加得(S_{k+1}=2(\frac{1}{2}-\frac{1}{k