证明函数最小值(14个结果)
证明函数最小值