In this note,we extend the Newton-Kantorovich theorem to validate the convergence of the Newton-Josephy method for solving variational inequality problems.All the conditions can be tested in digital computer.Moreover,the validation delivers automatically the existence domain of the solution and the error estimate,by which one can compute the validated solution of the problems.The ideas are illustrated by numerical results.