El signo menos en la ecuación de arriba es sólo una convención de signos sobre la definición de formula_3.