Possible Duplicate:
Equivalence of Brouwers fixed point theorem and Sperner's lemma
Does anyone know a combinatorial proof of the implication from Brouwer’s fixed point theorem to Sperner’s lemma?
See also Equivalence of Brouwers fixed point theorem and Sperner's lemma, the same question for a proof in general (not necessarily combinatorial).