A critical point theorem (local minimum result) for di erentiable functionals is used for proving that a Dirichlet impulsive di erential equation admits at least one non-trivial solution. Some particular cases and a concrete example are also presented.
