A discrete multivariate mean value theorem with applications

We establish a discrete multivariate mean value theorem for the class of positive maximum component sign preserving functions. A constructive and combinatorial proof is given based upon a simplicial algorithm and vector labeling. Moreover, we apply this theorem to a discrete nonlinear complementarity problem and an economic equilibrium problem with indivisibilities and show the existence of solutions in both problems under certain mild conditions.