每日一题[1744]必要条件探路

求所有的正实数对 $(a,b)$,使得函数 $f(x)=ax^{2}+b$ 满足:对任意实数 $x,y$,有\[f(xy)+f(x+y)\geqslant f(x)f(y).\]

答案    $\{(a,b)\mid 0<b\leqslant 1,0<a<1,2a+b\leqslant 2\}$.

解析    已知条件可转化为条件\[p:\forall x,y\in\mathbb R,(ax^{2}y^{2}+b)(a(x+y)+b)\geqslant (ax^{2}+b)(ay^{2}+b),\]先寻找 $a,b$ 所满足的必要条件. 在条件 $p$ 中令 $y=0$,得 $b+(ax^{2}+b)\geqslant (ax^{2}+b)\cdot b$,即对任意实数 $x$,有\[(1-b)ax^{2}+b(2-b)\geqslant 0.\]由于 $a>0$,故 $ax^{2}$ 可取到任意大的正值,因此必有 $1-b\geqslant 0$,即 $0<b\leqslant 1$. 在条件 $p$ 中再令 $y=-x$,得 $(ax^{4}+b)+b\geqslant (ax^{2}+b)^{2}$,即对任意实数 $x$,有\[(a-a^{2})x^{4}-2abx^{2}+(2b-b^{2})\geqslant 0,\] 将条件 $p$ 的左边记为 $g(x)$.显然 $a-a^{2}\ne 0$(否则,由 $a>0$ 可知 $a=1$,此时 $g(x)=-2bx^{2}+(2b-b^{2})$,其中 $b>0$,故 $g(x)$ 可取到负值,矛盾),于是\[\begin{split}g(x)&=(a-a^{2})\left(x^{2}-\dfrac{ab}{a-a^{2}}\right)^{2}-\dfrac{(ab)^{2}}{a-a^{2}}+(2b-b^{2})\\&=(a-a^{2})\left(x^{2}-\dfrac{b}{1-a}\right)^{2}+\dfrac{b}{1-a}(2-2a-b)\\&\geqslant 0.\end{split}\]对一切实数 $x$ 成立,从而必有 $a-a^{2}>0$,即 $0<a<1$. 进一步,考虑到此时 $\dfrac{b}{1-a}>0$,在根据\[g\left(\sqrt{\dfrac{b}{1-a}}\right)=\dfrac{b}{1-a}(2-2a-b)\geqslant 0,\]可得 $2a+b\leqslant 2$. 至此,求得 $a,b$ 满足的必要条件为条件\[q:0<b\leqslant 1,0<a<1,2a+b\leqslant 2.\] 下面证明,对满足上述条件 $q$ 的任意实数对 $(a,b)$ 以及任意实数 $x,y$,总有条件 $p$ 成立,即\[h(x,y)=(a-a^{2})x^{2}y^{2}+a(1-b)(x^{2}+y^{2})+2axy+(2b-b^{2})\]对任意 $x,y$ 取非负值. 事实上,在条件 $q$ 成立时,有 $a(1-b)\geqslant 0$,$a-a^{2}>0$,$\dfrac{b}{1-a}(2-2a-b)\geqslant 0$,再结合 $x^{2}+y^{2}\geqslant -2xy$,可得\[\begin{split}h(x,y)&\geqslant (a-a^{2})x^{2}y^{2}+a(1-b)(-2xy)+2axy+2axy+(2b-b^{2})\\&=(a-a^{2})x^{2}y^{2}+2abxy+(2b-b^{2})\\&=(a-a^{2})\left(xy+\dfrac{b}{1-a}\right)^{2}+\dfrac{b}{1-a}(2-2a-b)\\& \geqslant 0.\end{split}\]综上所述,所求的正实数对 $(a,b)$ 全体为 $\{(a,b)|0<b\leqslant 1,0<a<1,2a+b\leqslant 2\}$.

此条目发表在每日一题分类目录,贴了标签。将固定链接加入收藏夹。

发表回复