I originally asked this question: Does solving the LP dual SOLVE the primal LP?
It was answered using an example of how the primal and dual solve each other (because of knowledge from strong duality).
However, I wanted to ask a follow up question about proving that the equations can be solved.
$A x \preceq b$ is a polytope of $n$ variables and $k$ constraints, and the slack form is $A x + x_s = b$, where $x_s \succeq 0$.
This problem has $n$ variables with $k$ constraints (so $k$ slack variables), where $u≤n$ of those variables are nonzero and $v≤k$ slack variables are nonzero. The dual has $k$ variables with $n$ constraints ($n$ slack variables); b/c of complementary slackness, $u$ of those $k$ variables and $v$ of those $n$ slack variables must all equal zero.
To prove solving the original LP solves the dual, you must show that after solving the original LP, all variables in the dual must be determined by the slack form equation for the dual. How can you guarantee the number of unknowns in the dual does not exceed the number of equations in the dual ($k−u+n−v≤n$ i.e. $k≤u+v$).
Thanks a lot for your help, this is going to bother me until I know why.