基本公式，a_1x+b_1≤c_1a_2x+b_2≥c_2a_3x+b_3≤c_3上述三个不等式组成的是一个所谓的三次不等式，表达的意思是，变量x乘以不等式的系数a_1，a_2，a_3，加上b_1，b_2，b_3后，所得到的结果必须小于或者等于c_1，c_2，c_3。即，a_1×x+b_1≤c_1，a_2×x+b_2≥c_2，a_3×x+b_3≤c_3。当三次不等式中的三个系数a_1，a_2，a_3都为正数时，该三次不等式可以被确定为有界解，即存在两个实数m和n，使得c_1/≤m≤c_2/a_2，c_3/≤n≤c_2/a_2。
