The aim of this paper is to extend to variational inequalities a result of Amann and Zehnder’s, refined by Chang (see [1, 6, 14]), concerning the existence of nontrivial solutions for a semilinear elliptic boundary value problem, when the nonlinearity is asymptotically linear, is zero at zero and its derivative has a suitable jump between zero and infinity. In the constrained problem studied he...