摘要： 运用非线性规划的Lagrange对偶原理，对线性规划的弱对偶、强对偶进行了证明，并通过极小－极大对偶性Lagrange函数详细证明了线性规划在不同的约束条件下的对偶形式。