高一证明题目及答案.docxVIP

高一证明题目及答案

一、函数性质证明题

题目1：证明：函数$f(x)=x^3+x$是定义在$\mathbb{R}$上的奇函数，且在$\mathbb{R}$上单调递增。

答案及解析：

证明：

（1）证明$f(x)$是奇函数：

函数$f(x)=x^3+x$的定义域为$\mathbb{R}$，关于原点对称。

对任意$x\in\mathbb{R}$，有$f(-x)=(-x)^3+(-x)=-x^3-x=-(x^3+x)=-f(x)$。

根据奇函数的定义，可知$f(x)=x^3+x$是$\mathbb{R}$上的奇函数。

（2）证明$f(x)$在$\mathbb{R}$上单调递增：

任取$x_1,x_2\in\mathbb{R}$，且$x_1\ltx_2$。

计算$f(x_2)-f(x_1)=(x_2^3+x_2)-(x_1^3+x_1)=(x_2^3-x_1^3)+(x_2-x_1)$。

利用立方差公式$a^3-b^3=(a-b)(a^2+ab+b^2)$，对$x_2^3-x_1^3$因式分解：

$x_2^3-x_1^3=(x_2-x_1)(x_2^2+x_1x_2+x_1^2)$。

因此，$f(x_2)-f(x_1)=(x_2-x_1)(x_2^2+x_1x_2+x_1^2)+(x_2-x_1)=(x_2-x_1)(x_1^2+x_1x_2+x_2^2+1)$。

对$x_1^2+x_1x_2+x_2^2$进行变形：$x_1^2+x_1x_2+x_2^2=(x_1+\frac{1}{2}x_2)^2+\frac{3}{4}x_2^2$。

因为$(x_1+\frac{1}{2}x_2)^2\geq0$，$\frac{3}{4}x_2^2\geq0$，且两者不能同时为0（若同时为0，则$x_1=x_2=0$，与$x_1\ltx_2$矛盾），所以$x_1^2+x_1x_2+x_2^2\gt0$，进而$x_1^2+x_1x_2+x_2^2+1\gt1\gt0$。

又因为$x_1\ltx_2$，所以$x_2-x_1\gt0$。

故$f(x_2)-f(x_1)=(x_2-x_1)(x_1^2+x_1x_2+x_2^2+1)\gt0$，即$f(x_2)\gtf(x_1)$。

根据单调递增函数的定义，可知$f(x)=x^3+x$在$\mathbb{R}$上单调递增。

综上，函数$f(x)=x^3+x$是$\mathbb{R}$上的奇函数且单调递增。

题目2：已知函数$f(x)=2^x+2^{-x}$，证明：$f(x)$是定义在$\mathbb{R}$上的偶函数，且在$[0,+\infty)$上单调递增。

答案及解析：

证明：

（1）证明$f(x)$是偶函数：

函数$f(x)=2^x+2^{-x}$的定义域为$\mathbb{R}$，关于原点对称。

对任意$x\in\mathbb{R}$，有$f(-x)=2^{-x}+2^{x}=2^x+2^{-x}=f(x)$。

根据偶函数的定义，可知$f(x)=2^x+2^{-x}$是$\mathbb{R}$上的偶函数。

（2）证明$f(x)$在$[0,+\infty)$上单调递增：

任取$x_1,x_2\in[0,+\infty)$，且$x_1\ltx_2$。

计算$f(x_2)-f(x_1)=(2^{x_2}+2^{-x_2})-(2^{x_1}+2^{-x_1})=(2^{x_2}-2^{x_1})+(2^{-x_2}-2^{-x_1})$。

对$2^{-x_2}-2^{-x_1}$变形：$2^{-x_2}-2^{-x_1}=\frac{1}{2^{x_2}}-\frac{1}{2^{x_1}}=\frac{2^{x_1}-2^{x_2}}{2^{x_1}2^{x_2}}$。

因此，$f(x_2)-f(x_1)=(2^{x_2}-2^{x_1})+\frac{2^{x_1}-2^{x_2}}{2^{x_1}2^{x_2}}=(2^{x_2}-2^{x_1})(1-\frac{1}{2^{x_1}2^{x_2}})=(2^{x_2}-2^{x_1})\cdot\frac{2^{x_1+x_2}-1}{2^{x_1+x_2}}$。

因为指数函数$y=2^x$在$\mathbb{R}$上单调递增，且$x_1\ltx_2$，$x_1,x_2\in[0,+\infty)$，所以$2^{x_2}\gt2^{x_1}\geq2^0=1$，即$2^{x_2}-2^{x_1}\gt0$。

又因为$x_1+x_2\geq0$，所以$2^{x_1+x_2}\geq2^0=1$，即$2^{x_1+x_2}-1\geq0