1. 引入新变量简化代数式结构
因为 a>b>c,所以 a−b>0,b−c>0,a−c>0。
令 x=a−b>0,y=b−c>0,则 a−c=(a−b)+(b−c)=x+y。
原不等式 a−b1+b−c4⩾a−cm 可化简为:
x1+y4⩾x+ym 恒成立。
2. 分离参数,转化为求函数最值问题
由于 x+y>0,将不等式两边同乘以 x+y,得:
m⩽(x+y)(x1+y4) 恒成立。
因此,求 m 的最大值,即求式子 (x+y)(x1+y4) 在 x>0,y>0 时的最小值。
3. 利用基本不等式求出表达式的最小值并得出结论
展开目标代数式:
(x+y)(x1+y4)=1+y4x+xy+4=5+(y4x+xy)。
因为 x>0,y>0,所以 y4x>0 且 xy>0。
由基本不等式得:
y4x+xy⩾2y4x⋅xy=4。
当且仅当 y4x=xy,即 y=2x 时,等号成立。
所以 (x+y)(x1+y4)⩾5+4=9。
因此 m⩽9,即 m 的最大值为 9。
故正确选项为 D。