构造函数解题

一、构造函数

在处理某些方程、不等式等问题时，常常需要构造一个函数，利用函数图像的性质来解决问题。“构造”体现了我们的“创造力”。

二、方法

1.构造一次函数

利用一次函数的单调性来证明不等式是一种常用的方法。

1.设 $a,b,c$ 是绝对值小于1的实数，证明：$ab+bc+ca+1>0.$

证明： 构造一次函数
$$f(x)=(b+c)x+bc+1,-1<x<1.$$它的图像是一条线段，但不包括两个端点$(-1,f(-1))、(1,f(1))$，如果能证明两个端点的函数值均大于0，则对定义域内的每一点$x$，$f(x)$恒大于0.
因为$f(-1)=-(b+c)+bc+1=(b-1)(c-1)>0$
$f(1)=b+c+bc+1=(b+1)(c+1)>0$
所以，当$-1<x<1$时，$f(x)$恒大于0，故
$$f(a)=a(b+c)+bc+1=ab+bc+ca+1>0.$$

---

2.设 $x,y,z\in (0,1)$，求证：$x(1-y)+y(1-z)+z(1-x)<1.$

证明： 构造关于$x$的一次函数
$$f(x)=(1-y-z)x+(y+z-yz-1)$$
因为$f(0)=y+z-yz-1=-(y-1)(z-1)<0$
$f(1)=(1-y-z)+(y+z-yz-1)=-yz<0$
所以，对于 $0<x<1$，都有 $f(x)<0$，即
$$(1-y-z)x+(y+z-yz-1)<0,$$也即$x(1-y)+y(1-z)+z(1-x)<1.$

---

3.若不等式$(\frac{1}{e}{)}^{a{x}^2+7x-1}<(\frac{1}{e}{)}^{2x+5}$对$-1\le a\le 1$恒成立，求 $x$ 的取值范围.

解： 由题意，$a{x}^2+7x-1>2x+5$ 对 $-1\le a\le 1$恒成立
即关于 $a$ 的不等式 $a{x}^2+5x-5>0$ 对 $-1\le a\le 1$恒成立.
构造关于a的一次函数$$g(a)=a{x}^2+5x-6$$因为$g(-1)=-x^2+5x-6>0$
$g(1)=x^2+5x-6>0$
所以 $2<x<3$
故 $x$ 的取值范围是 $(2,3).$

总结： 构造一次函数，可以考虑 “主元法”。打破原题的对称性，将一个字母视为未知量，构造一次函数，再对函数的两个端点进行求值即可。

---

2.构造二次函数

说到二次函数，大家应该都会想到很多二次函数的性质，例如它的单调性。二次函数还和一元二次方程有着十分紧密的联系，那就是一元二次方程的判别式 $\Delta =b^2-4ac$，关系着对应函数与x轴是否有交点。接下来，我们就来看一看二次函数是如何构造的。

1.设 $a_1,a_2,\cdots ,a_n,b_1,b_2,\cdots b_n$是实数，证明：$$(a_1^2+a_2^2+\cdots +a_n^2)(b_1^2+b_2^2+\cdots +b_n^2)\ge (a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n{)}^2.$$

证明： 若 $a_1^2+a_2^2+\cdots +a_n^2=0$，则 $a_1=a_2=\cdots =a_n=0$，此时原不等式显然成立.
若 $a_1^2+a_2^2+\cdots +a_n^2\ne 0$，构造二次函数
$$f(x)=(a_1^2+a_2^2+\cdots +a_n^2)x^2-2(a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n)x+(b_1^2+b_2^2+\cdots +b_n^2)$$
$=(a_{1}x-b_1{)}^2+(a_{2}x-b_2{)}^2+\cdots +(a_{n}x-b_n{)}^2$
$f(x)$ 是一条开口向上的抛物线，并且 $f(x)\ge 0$ 恒成立，所以
$$\Delta =4(a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n{)}^2-4(a_1^2+a_2^2+\cdots +a_n^2)(b_1^2+b_2^2+\cdots +b_n^2)\le 0$$
即$(a_1^2+a_2^2+\cdots +a_n^2)(b_1^2+b_2^2+\cdots +b_n^2)\ge (a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n{)}^2$
其中等号成立当且仅当 $a_i=k{b}_i,i=1,2,\cdots n,k$ 是某个常数时成立.

本题中的不等式就是著名的柯西不等式。

注意： 本题构造二次函数，还需分类讨论 $x^2$ 前的系数是否为0。讨论$a_1^2+a_2^2+\cdots +a_n^2$ 的值正是如此。

总结： 从柯西不等式的证明过程中，我们可以发现：
对于 $AC\le ($或 $\ge )B^2$ 这类不等式，可以先把不等式变形为 $4AC\le ($或 $\ge )(2B{)}^2$，然后构造一个二次函数
$$f(x)=A{x}^2-(2B)x+C,$$再证明它的判别式 $\le 0($或 $\ge 0)$。

---

下面再举一个类似的例子，感受一下 $\Delta$ 的“力量”。

2.设 $x_1,x_2,x_3,y_1,y_2,y_3$是实数，且满足$x_1^2+x_2^2+x_3^2\le 1$。
求证：$(x_1{y}_1+x_2{y}_2+x_3{y}_3-1{)}^2\ge (x_1^2+x_2^2+x_3^2-1)(y_1^2+y_2^2+y_3^2-1)$。

证明： 若 $x_1^2+x_2^2+x_3^2=1$，原不等式显然成立。
若 $x_1^2+x_2^2+x_3^2<1$，构造函数
$$f(t)=(x_1^2+x_2^2+x_3^2-1)t^2-2(x_1{y}_1+x_2{y}_2+x_3{y}_3)t+(y_1^2+y_2^2+y_3^2-1)$$ $=(x_{1}t-y_1{)}^2+(x_{2}t-y_2{)}^2+(x_{3}t-y_3{)}^2-(t-1{)}^2$
$f(t)$ 是一条开口向下的抛物线，又因为
$f(1)=(x_1-y_1{)}^2+(x_2-y_2{)}^2+(x_3-y_3{)}^2\ge 0$
所以 $f(t)$ 与x轴必有交点，即
$$\Delta =4(x_1{y}_1+x_2{y}_2+x_3{y}_3{)}^2-4(x_1^2+x_2^2+x_3^2-1)(y_1^2+y_2^2+y_3^2-1)\ge 0$$也即$(x_1{y}_1+x_2{y}_2+x_3{y}_3-1{)}^2\ge (x_1^2+x_2^2+x_3^2-1)(y_1^2+y_2^2+y_3^2-1).$

对于构造二次函数的不等式证明，主要就是根据二次函数和x轴的交点情况，通过判别式进行证明。这还是挺简单的，你学废了吗？

---

3.构造其它函数

其它函数包括三次及高次函数，还有一些复合函数，因题而异。
首先来看一个复合函数的例子。（个人认为这是一道非常有趣的题目。）
1.已知 $x,y\in [-\frac{\pi }{4},\frac{\pi }{4}],a\in R$，且
$$\{\begin{array}{l}{x}^3+\sin x-2a=0,\\ 4y^3+\frac{1}{2}\sin 2y+a=0.\end{array}$$求 $\cos (x+2y)$ 的值。
分析： 本题中所给的条件具有一定的联系，可以通过奇偶性，从 $f(x)=x^3$ 与 $f(x)=\sin x$ 这两个奇函数中入手，构造一个复合函数。两个增函数复合之后仍然是增函数，两个奇函数的和也是奇函数，我们就可以根据这个性质解决本题。

解： 原方程组可化为$\{\begin{array}{l}{x}^3+\sin x-2a=0,\\ (-2y{)}^3+\sin (-2y)+2a=0.\end{array}$
设 $f(t)=t^3+\sin t$，则 $f(t)$ 在 $[-\frac{\pi }{2},\frac{\pi }{2}]$ 上严格单调递增.
又 $x,-2y\in [-\frac{\pi }{2},\frac{\pi }{2}]$，且 $f(x)=f(-2y)$
所以 $x=-2y,x+2y=0$
所以$$\cos (x+2y)=\cos 0=1.$$

---

2.设 $f(x)$ 是一个98次的多项式，使得 $f(k)=\frac{1}{k},k=1,2,\cdots ,99$，求$f(100)$的值。

解： 构造函数 $g(x)=xf(x)-1$，则$g(1)=g(2)=\cdots =g(99)=0$，
且 $g(x)$ 是一个99次多项式，所以
$$g(x)=a(x-1)(x-2)\cdots (x-99),$$其中 $g(x)$ 的首项系数 $a$ 是一个待定系数. 由于
$$f(x)=\frac{g(x)+1}{x}=\frac{a(x-1)(x-2)\cdots (x-99)+1}{x}$$是一个98次多项式，所以 $a(x-1)(x-2)\cdots (x-99)$ 的常数项必须为0. 所以 $a=\frac{1}{99!}.$
所以$$f(x)=\frac{\frac{1}{99!}(x-1)(x-2)\cdots (x-99)+1}{x}$$所以$$f(100)=\frac{1+1}{100}=\frac{1}{50}.$$

总结： 对于二次三项式 $f(x)=a{x}^2+bx+c$，若 $f(x)=0$ 有两个根 $x_1,x_2$，则 $f(x)=a(x-x_1)(x-x_2).$ （也就是二次函数的顶点式。）
一般地，一个$n(\ge 2)$次多项式$$f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0,$$若它的n个根为$x_1,x_2,\cdots ,x_n$，则$$f(x)=a_n(x-x_1)(x-x_2)\cdots (x-x_n).$$

---

解决构造函数问题，还可以考虑原不等式的对称性。一般情况下，原不等式的一边是一个关于 $a,b,c$ 的轮换对称多项式。构造一个高次函数，再利用一些常用不等式，如均值不等式（平均不等式），或乘法公式进行解题。看下面的例子：
3.$△ABC$ 的三边长 $a,b,c$ 满足 $a+b+c=1$，求证：$5(a^2+b^2+c^2)+18abc\ge \frac{7}{3}$.

证明：$a^2+b^2+c^2=(a+b+c{)}^2-2(ab+bc+ca)$
$=1-2(ab+ba+ca)$
所以原不等式等价于$$\frac{5}{9}(a^2+b^2+c^2-abc)\le \frac{4}{27}$$
构造三次函数$$f(x)=(x-a)(x-b)(x-c)$$
由题意，可得$$f(x)=x^3-x^2+(ab+bc+ca)x-abc$$因为 $a+b+c=1$ 且 $a,b,c$ 是三角形的三边长
所以 $0<a,b,c<\frac{1}{2}$，从而 $0<a,b,c<\frac{5}{9}.$
$f(\frac{5}{9})=(\frac{5}{9}{)}^3-(\frac{5}{9}{)}^2+\frac{5}{9}(ab+bc+ca)-abc$
$=(\frac{5}{9}-a)(\frac{5}{9}-b)(\frac{5}{9}-c)$
根据均值不等式，$f(x)\le [\frac{(\frac{5}{9}-a)(\frac{5}{9}-b)(\frac{5}{9}-c)}{3}{]}^3=\frac{8}{729}$
所以$$\frac{5}{9}(ab+bc+ca)-abc\le \frac{8}{729}-(\frac{5}{9}{)}^3-(\frac{5}{9}{)}^2$$
所以$$\frac{5}{9}(ab+bc+ca)-abc\le \frac{4}{27}$$
所以命题得证.

---

三、写在最后

本文主要介绍了如何构造函数证明方程和不等式，希望对大家有所帮助。
参考资料：《奥数教程（第七版）高中第一分册》。

upd: 2024.6.1重新渲染 LaTeX 公式