F（x）是在（1，＋∞）上单调增的，注意到 α＋β＝x1＋x2，所以分类讨论如下①当0≤m≤1时，有 x1≤α，β≤x2，②当m＜0时，有 β＜x1＜x2＜α③当m＞1时，有 α＜x1＜x2＜β从而由单调增的性质，要使得成为优化分解函数，需满足m∈［0，1］
