Dual pairs of linear programs are in "strong duality" if both are possible. The theorem was first conceived by John von Neumann. The first written proof was an Air Force report by George Dantzig, but credit is usually given to Tucker, Kuhn, and Gale.
Duality Theorem
See also
Linear ProgrammingExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Duality Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/DualityTheorem.html