rmula_12处取得，由于formula_4，formula_7显然是一个常数函数。那么对于任一点formula_15，我们都有formula_16。现在假设formula_7在formula_18处取得最大值。我们只需证明formula_7在该点导数为零。取formula_20，由最大值定义formula_21，那么formula_22。令formula_23，则formula_24。因为formula_7在formula_26处可导，所以我们有formula_27。取formula_28，