戴维宁定理（Davenport’s Constant）是与英国数学家哈罗德·戴维宁相对应的。戴维宁定理是一类在任意维度下的第二类积分单项式的上界问题，直到 1958 年都没有得到彻底的解决。1958 年，哈罗德·戴维宁提出了一种新的方法，得出了这个上界，并且是一个严格的界。这个界被称为戴维宁定理。戴维宁定理解决了当时一道难题：多项式方程是否有解。
戴维宁定理可以看作是数学中一道难题的解答。这道难题在戴维宁之前，伴随数学的发展数十年，历经无数学者的探索，却仍无人能够解答。而戴维宁凭借自己的才华，在 1958 年的那个秋季，提出了一个极其关键的概念，使得这道难题终得解决。
现在，戴维宁定理被广泛用于计算机代数领域和计算几何学中，正因为它的重要性，它在数学中幸运地被保留了下来，并开始变得受欢迎了。戴维宁定理成为了整个维度不等式的源泉，为将来的研究和应用埋下了伏笔。
