专题地图 › 不等式的证明
2022 年江西预赛
积为一时的根式和下界
F3解答题不等式的证明
设 x,y,z 为正实数,满足 xyz=1。求证:
1+8x+1+8y+1+8z≥9.
作答
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
解析
思路
把 x=et 代入根式后,函数 g(t)=1+8et 是凸函数,三变量对数之和为零,Jensen 不等式恰在 x=y=z=1 处给出下界。
解答
定义
g(t)=1+8et.
令 u=8et>0,则
g′′(t)=4(1+u)3/2u(2+u)>0,
所以 g 在 R 上为严格凸函数。
由 xyz=1,有
lnx+lny+lnz=0.
应用 Jensen 不等式,
1+8x+1+8y+1+8z=g(lnx)+g(lny)+g(lnz)≥3g(3lnx+lny+lnz)=3g(0)=9.
等号当且仅当 x=y=z=1 时成立。
复核
正数条件保证对数均有定义;x=y=z=1 满足乘积条件并使三个根式都等于 3,故等号可达。
方法总结
乘积固定而函数不是直接对 x 凸或凹时,可在对数坐标中考察 g(t)=f(et)。若 g 凸,则对 lnx 使用 Jensen 能把乘积条件转成平均值条件。
为什么评为 F3(会透露解法方向)
根式换元后,乘积条件可转成两组三项的乘积;分别施用均值不等式,再把两组估计合并。
用到的方法(会透露解法方向)
核心工具:琴生不等式、取对数化乘为加
专题卡:齐次式、比值和对称式:归一化或换元,减少变量、化成一个变量,或逐项估计再相加