数学证明随笔

设$f(x)在(a,b)内二阶可导，且f^{\prime \prime }(x)>0,证明对于任意的x_1,x_2\in (a,b),且x_1\ne x_2及\lambda (0<\lambda <1),恒有f[\lambda x_1+(1-\lambda x_2)]<\lambda f(x_1)+(1-\lambda )f(x_2).$
首先给出一个引理，对于$f(x)在[a,b]上连续，(a,b)内二阶可导且f^{\prime \prime }(x)>0,f(a)=f(b)=0,则有f(x)<0.$
证明完毕这个问题后会对上述结论进行证明。
本题为张宇基础30讲的一道例题，例题上的两种解法分别为拉格朗日法和泰勒公式法，在此给出一种用构造函数解决的方法。
显然有$$\begin{gathered} (a,f(a)),(b,f(b))两点连成的直线方程为 \\ \frac{y-f(b)}{f(a)-f(b)}=\frac{x-b}{a-b} \\ 进行整理可以得到 \\ y=[f(a)-f(b)]\frac{x-a}{a-b}+f(b), \\ 因此可以设 \\ g(x)=y,F(x)=f(x)-g(x) \end{gathered}$$
注意到$$\begin{gathered} F(a)=F(b)=0, \\ 同时F^{\prime \prime }(x)=f^{\prime \prime }(x)>0,因此恒有F(x)<0 \\ 所以f(x)<g(x),恒成立在(a,b)上。设t=\lambda x_1+(1-\lambda x_2), \\ g(t)=\lambda f(x_1)+(1-\lambda )f(x_2),又因为f(t)<g(t)， \\ QED. \end{gathered}$$
引理证明：
由$$\begin{gathered} f(a)=f(b)=0,可知\exists \xi \in (a,b)使得f^{\prime }(\xi )=0 \\ 又因为f^{\prime \prime }(x)>0,因此f^{\prime }(x)单调递增，必然有(a,\xi )f^{\prime }(x)<0,(\xi ,b)f^{\prime }(x)>0.所以f(x)在(a,\xi )单调递减，在(\xi ,b)单调递增，所以f(x)<f(a)=0,f(b)=0>f(x)\to f(x)<0 \\ QED. \end{gathered}$$