【目的】研究利用CVX软件有效求解球约束下的加权极大极小离差问题的SDP松弛模型。【方法】应用半定规划的强对偶定理和Gershgorin圆盘定理。【结果】证明了Haines等人给出的球形约束下离差问题的SDP松弛的解的存在性；同时提出了另一个球形约束下的离差问题，并给出了它的SDP松弛模型的解的存在性证明。【结论】提出的新的证明方法为CVX中嵌入的SeDuMi和SDPT3这两种内点算法提供了有效求解SDP松弛模型的理论依据。