在微积分的广阔天地中，函数的图像形态如同地貌一般，而我们在研究其变化趋势时，常接触的便是那些“向下弯曲”或“向上弯曲”的曲线。其中，凹函数（Concave Function）与凸函数（Convex Function）是微积分最核心、也最经典的两个概念之一。concave function 这一名称在中文语境下常指代开口向上、图像位于其切线下方的函数，这类函数在经济学中的成本分析、物理学中的运动轨迹分析以及运筹学中的极值问题中占据着举足轻重的地位。深入理解凹函数的性质、证明方法及其实际应用，不仅是备考高等数学或优化类职业资格考试的必答题，更是构建严谨数学思维的基础。本文将带你通过层层递进的解析，掌握凹函数证明的根本逻辑与实战技巧。 一、凹函数的核心定义与直观理解
理解凹函数，首要任务是回归其数学定义的源头。当一个函数
其定义域内的任意一点处的切线或割线，都位于函数图像的上方（对于定义域内取值的函数而言），这种几何直观形象地表达了函数值的“上凸”特性。在标准的数学教材中，我们通常通过二阶导数来刻画这一性质：如果函数二阶导数处处大于零，则该函数为凹函数。
为了更直观地可视化，我们可以设想一个放在碗底或山腰的碗状结构。当我们将一个重物放置在这个表面上时，无论放在何处，重力都会指向下方，即指向凹函数的内部。这种几何特征意味着函数曲线本身也是向下弯曲的。在代数表达上，若函数
f(x)
f(x
f(x
如果从几何上看，连接两点
实际上，在证明凹函数时，我们往往需要构建一个包含
那么，我们只需要证明存在一个小于
若存在一个点
若上述不等式
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时
此时