Se basa en el hecho de que si la gráfica de una función formula_1 es convexa en un intervalo abierto que contiene a formula_2, y formula_3 debe ser un mínimo relativo a formula_1.