SOS是Sum of squares的縮寫，也叫差分配方法，即指不等式證明中的平方和方法。基本思路是把不等式通過變形和處理從而獲得“Σ Sa（b-c）`2>=0”型的顯然成立式。SOS不是一種定理，而是一種方法
