对偶定理是数学中一类揭示成对对象之间对称关系的定理的统称。在逻辑代数中，它指两个逻辑式相等时其对应的对偶式也相等；在射影几何中，它指把命题里的点与直线互换后得到的对偶命题同样成立[1]；在线性规划中，它描述原始问题与对偶问题解之间的关系，其中强对偶定理表明两者的最优目标函数值相等[2]。其意义在于，证明一个命题往往可以同时确立它的对偶命题，从而减少重复论证[3]。
定义
对偶定理并非某一个单独的命题，而是数学中结构相近的一类定理的统称，它们的共同特征是把命题中的成对概念互换后，所得的新命题同样成立[4]。在逻辑代数中，它指两个逻辑式相等时，它们的对偶式也相等；对偶式的做法是把逻辑乘与逻辑加互换，并把 0 与 1 互换[3]。
在射影几何中，它指把命题里的点与直线及其关联关系对换后得到的对偶命题，与原命题一样成立；从代数角度看，这两个命题的证明步骤完全相同[1]。
在线性规划中，它是刻画原始问题与对偶问题解之间关系的一组结论，包括弱对偶定理、最优准则、无界解定理和强对偶定理等[5][3]。
原理
射影几何的对偶建立在点与直线互为对偶元素这一事实之上，命题中的共线关系与共点关系同样互为对偶[6]。借助一条圆锥曲线可以建立配极对应，把平面上的每个点映为一条直线、每条直线映为一个点，并保持点在直线上的关系，因此互为对偶的命题具有相同的真假[6]。例如德沙格定理与其逆定理互为对偶，它本身属于自对偶定理[4]。
在逻辑与集合运算中，对偶式通过替换得到：把合取换成析取、析取换成合取，并把恒真式与恒假式互换；在集合运算里则是把并换成交、交换成并，全集与空集互换。只要原式是恒等式，它的对偶式同样是恒等式[3]。德摩根定律的两个等式恰好互为对偶，它体现的正是这种对称性[7]。
线性规划的对偶关系可用公式表述：设原问题为 $\max z = c^{T}x$，约束为 $Ax \leq b$、$x \geq 0$，则对偶问题为 $\min w = b^{T}y$，约束为 $A^{T}y \geq c$、$y \geq 0$[2]。原始问题与对偶问题的约束系数矩阵互为转置，原问题目标函数的系数成为对偶问题约束的右端项，反之亦然。弱对偶定理说明原问题任一可行解的目标值不优于对偶问题任一可行解的目标值，强对偶定理则说明两者都有最优解时目标值相等[2][3]。
发展历程
对偶现象在射影几何中很早就被注意到。帕斯卡(Pascal)于 1640 年公布“神秘的六边形”定理，与之对偶的布里安昌(Brianchon)定理直到 1806 年才发表，两者相隔 150 多年。当时人们已经发现把平面图形命题中的点与直线互换后结论往往仍正确，却不清楚原因[8]。
首先把对偶作为研究工具并系统使用的是法国数学家彭赛列(Poncelet)。他在 1822 年出版的《论图形的射影性质》和 1824 年提交巴黎科学院的论文中，用极点与极线的对应解释对偶现象并据此建立了一批定理，但当时还需借助圆锥曲线作为中介[8]。稍后吉尔岗尼(Gergonne)认为对偶是普遍适用的原理，主张极点与极线并非必要的中介，“对偶性”一词由他引入，他还采用把原定理与对偶定理并排书写的方式[8][9]。
在逻辑与集合论方面，德摩根(De Morgan，1806—1871)提出的关于并、交与补的对偶性定律，后来成为逻辑代数中对偶讨论的基础[10]。19 世纪后期至 20 世纪初，随着公理化方法的发展，人们又从自对偶公理系统的角度为射影几何的对偶原理寻找逻辑依据，帕施(Pasch)在 1882 年的著作中用专门一节讨论对偶性[9]。
线性规划中的对偶理论由冯·诺依曼(von Neumann)于 1947 年提出，他在研究对策论时已注意到线性规划与对策论之间的联系；对偶定理随后由库恩与塔克尔证明，哥德曼与塔克尔于 1956 年比较系统地叙述了对偶规划理论[2]。1951 年丹齐克(Dantzig)运用对偶理论求解运输问题，1954 年莱姆基(Lemke)提出对偶单纯形法。
应用
在射影几何中，证明一个命题的同时也就证明了它的对偶命题，这使对偶成为节省工作量的一般方法[6]。
在逻辑代数中，直接证明两个逻辑式相等较为麻烦时，可以先证明它们的对偶式相等，再由对偶定理推出原式相等。同一个电路按正逻辑和负逻辑写出的表达式互为对偶，因此两个电路在正逻辑下等价时，在负逻辑下也必然等价[3]。
在线性规划中，对偶问题的变量对应影子价格，可用于估计资源的使用价值；对偶理论还为灵敏度分析提供工具，当对偶问题的约束比原问题少时，求解对偶规划通常更方便。对偶单纯形法即是在这一背景下提出的求解方法，它后来成为管理决策中常用的分析手段。
局限
射影几何的对偶原则适用范围有限，它只对涉及几何元素结合关系与顺序关系的命题有效，涉及长度、角度一类度量关系的命题不属于其适用范围[6]。
对偶性的成立还依赖所采用的逻辑前提。在经典逻辑中，德摩根型的对偶律完整成立；在放弃排中律的直觉主义逻辑中，其中一部分形式不再作为定理成立[11]。
在线性规划中，并非每一对原问题与对偶问题都有最优解。若其中一方有可行解而目标函数无界，则另一方没有可行解；只有两者同时存在可行解时，才能保证两者都有最优解[3]。
参见
参考资料
- 射影几何学 . baidu.com [引用日期2026-09-29]
- [科普中国]-对偶规划 . kepuchina.cn [引用日期2026-09-29]
- 对偶定理 . baidu.com [引用日期2026-09-29]
- [科普中国]-对偶原理 - 版权归原作者所有，如有侵权，请联系我们 . kepuchina.cn [引用日期2026-09-29]
- [科普中国]-对偶定理 . kepuchina.cn [引用日期2026-09-29]
- [科普中国]-对偶命题 . kepuchina.cn [引用日期2026-09-29]
- 德摩根定理 | Bohrium . bohrium.com [引用日期2026-09-29]
- [科普中国]-对偶原则 . kepuchina.cn [引用日期2026-09-29]
- s11229-019-02421-4 . springer.com [引用日期2026-09-29]
- 德·摩根定律及其应用 . cnki.net [引用日期2026-09-29]
- 德摩根定律和对偶性 | Bohrium . bohrium.com [引用日期2026-09-29]
浏览次数：0 次
阅读量：0 次 · 阅读完成量：0 次
最近更新：2026-09-29T11:31:07Z
完成率 = 阅读完成量 ÷ 阅读量，分母是阅读量不是浏览次数 —— 关了 JS 的、秒退的都在浏览次数里、不在阅读量里。 详细口径在后台的「数据统计」页。