构造函数证明二元不等式