在 formula_20 的时候取到最小值，所以有：另一方面，由于函数 formula_15 满足边界条件，即在 formula_7 上满足 formula_24，因此有：这个结果对所有满足边界条件的函数 formula_15 都成立，因此根据变分法基本引理，可以得到formula_27