A simplex is a polytope of n+1 extreme points in $R^n$.
In linear programming, the algorithm of the simplex method works by iteratively constructing simplexes. Each iteration involves both an entering variable, which has the largest reduced cost, and an exiting variable, which is the variable which must leave in order to allow all of the constraints to be satisfied, when the entering variable enters.
Eventually we find a simplex which corresponds to the optimal solution. Each simplex corresponds to a basic feasible solution, with each
vertex of the simplex corresponding to a basic variable.
(this implies that all simplexes have n+1 extreme points). My question is - how do we know that the solution will have exactly n+1 basic variables?
Edits this is the resource i have been using: https://www.youtube.com/watch?v=Ci1vBGn9yRc