5. 割线斜率随端点右移而增大(三弦不等式):不需要可导也能判凹凸★★ 必会
① 三弦不等式. 设 f 在区间 I 上的图形是凹的(∪,下凸)。则对 I 内任意三点 x1<x2<x3 恒有
x2−x1f(x2)−f(x1)≤x3−x1f(x3)−f(x1)≤x3−x2f(x3)−f(x2).
三个分式依次是弦 x1x2、x1x3、x2x3 的斜率。整句话就是:弦的斜率随着端点右移而增大。凸(∩)的情形把不等号全部反向。
② 定点形式(考场上最常用的那一半). 在 I 上取定一点 a,令
g(x)=x−af(x)−f(a)(x∈I, x=a),
它是点 (x,f(x)) 与定点 (a,f(a)) 连线的斜率。由 ① 立刻得到:f 凹 ⇒ g 在 I∖{a} 上单调递增。注意 a 落在区间端点时结论同样成立,此时 g 在整个 I∖{a} 上单调。
③ 这条为什么必须单独记:它不要求可导. f′′>0⇒ 凹 是一条判定定理,前提是二阶可导;而 ① 是从凹凸性的定义直接推出的,只用到定义里的弦式不等式。题目一旦只说「f 在区间上有定义」或者只给连续,f′′ 那条判据整个用不上,能救场的就只有三弦不等式。这不是偏门技巧——2026 年数一第 3 题与数二第 5 题(同一道)考的正是它。
④ 反过来不成立. 由「g 单调递增」推不出「f 凹」。反例见下面的例题:g 在整个区间上确实递增,而 f 在一点间断,根本不是凹函数。原因在于 g 只约束了以定点 a 为一端的那一族弦,而凹性要求任意两点的弦都满足不等式——前者的信息量本来就少一截。
证明 / 推导
证(① 中两个不等号). 设 f 在 I 上是凹的,取 x1<x2<x3。令
λ1−λ=x3−x1x3−x2∈(0,1)=x3−x1x2−x1
直接验算可知 λx1+(1−λ)x3=x2,即 x2 是 x1,x3 的一个凸组合。由凹性(弦在曲线上方)得
f(x2)≤λf(x1)+(1−λ)f(x3).(∗)
左边那个不等号. 在 (∗) 两端同减 f(x1):
f(x2)−f(x1)≤(1−λ)(f(x3)−f(x1))=x3−x1x2−x1(f(x3)−f(x1)).
两端除以 x2−x1>0,即得 x2−x1f(x2)−f(x1)≤x3−x1f(x3)−f(x1)。
右边那个不等号. 在 (∗) 两端用 f(x3) 去减:
f(x3)−f(x2)≥f(x3)−λf(x1)−(1−λ)f(x3)=λ(f(x3)−f(x1))=x3−x1x3−x2(f(x3)−f(x1)).
两端除以 x3−x2>0,即得 x3−x2f(x3)−f(x2)≥x3−x1f(x3)−f(x1)。■
注. 全程只用了 (∗),也就是凹性的定义,没有用到任何一阶或二阶导数。若教材把凹凸定义成中点形式 f(2x1+x2)≤2f(x1)+f(x2),则在 f 连续的前提下它与一般的凸组合形式 (∗) 等价(这是詹森不等式的标准结论),推导不受影响。举例说明
例(2026 年数一第 3 题 / 数二第 5 题). 设 f(x) 在 [−1,1] 上有定义,判断:「当 f(x) 的图形在 [−1,1] 上是凹的时,x−1f(x)−f(1) 在 [−1,1) 上单调递增」是否成立?其逆命题呢?
解. 正命题成立。取定点 a=1,由三弦不等式的定点形式 ②,f 凹即得 g(x)=x−1f(x)−f(1) 在 [−1,1) 上单调递增。注意题设只说「有定义」,既没有连续也没有可导,因此不能走 f′′ 那条路,只能回到定义——这正是本题的考点。
逆命题不成立. 取
f(x)={x2,x2−1,−1≤x<0,0≤x≤1.
此时 f(1)=0,g(x)=x−1f(x)。在 [0,1) 上 f(x)=(x−1)(x+1),约分得 g(x)=x+1,从 1 增到 2;在 [−1,0) 上 g(x)=x−1x2,求导得
g′(x)=(x−1)22x(x−1)−x2=(x−1)2x(x−2)>0(−1<x<0),
从 −21 增到 0。两段各自递增,且左段的值恒小于右段,故 g 在 [−1,1) 上整体单调递增。但 f 在 x=0 处间断(f(0−)=0 而 f(0)=−1),并不是凹函数。■
坑. 这道题四个选项全在考「去掉可导性甚至连续性之后,哪些蕴含还成立」。凡是看到题设只给「有定义」,就该警觉:所有依赖导数的判据都失效了,必须退回定义层面的刻画。