在线性代数中，Van der Waerden猜想是一个关于积和式的命题，其具体内容如下：注意到该下界在所有元素均为formula_1时成立。该猜想由在1926年提出，在1980年由B. Gyires，1981年由G. P. Egorychev和D. I. Falikman独立证明，其中Egorychev的证明用到了。由于这项工作，Egorychev和Falikman赢得了1982年的。