The implicit function theorem can be used in a certain nondirect way for the obtaining of smooth bifurcation branches and a smooth dependence of solutions on parameters for variational inequalities. The abstract results are applicable to partial differential equations with unilateral boundary conditions and to a model of a unilaterally supported beam.