单位圆 证法 积分中值定理 基本不等式 拉格朗日函数 数学变换 引理 调和平均 函数不等式 当且仅当 《分析教程》 定理1 最小值 函数的单调性 实常数 高等数学 微分中值定理 烟台师范学院学报 证明方法 等号成立 微积分 Bellman不等式 不等式证明 凹凸性 柯西