con argumento real formula_2, el cual es un punto estacionario del funcional