Why can we be sure that every finite game has a Nash equilibrium? And how can we actually compute one? This chapter gives you the core mathematical tools that answer those questions: separating hyperplanes, linear programming duality, fixed‑point theorems, and Sperner’s lemma. They are the hidden backbone of almost every big result in game theory.