求助这个不等式

t=1+√3

loydman的珍贵的前几楼不见了，我照着知乎上留存的思路重新算了一遍

九楼用SOS定理
(24abcs(a)3+s(a2b)s(a)3-243abcs(a2b))*s(a)2 = s((6a2-17ab+29ac-4b2+37bc+12c2)(2a3+10a2b+23a2c-31ab2-23ac2-3b3+13b2c+8bc2+c3)2)/294
——
整理得
28s(a)2s(2a2+7ab)(24abcs(a)3+s(a2b)s(a)3-243abcs(a2b))
=
s(4a3b+a2b2+22a2bc)s((2a3+10a2b+23a2c-31ab2-23ac2-3b3+13b2c+8bc2+c3)2)
+
3s((13a4b+3a4c+a3b2+29a3bc+5a3c2-4a2b3-93a2b2c+69a2bc2-38a2c3-ab4-68ab3c+24ab2c2+39abc3-4ac4-9b4c+37b3c2-b2c3-2bc4)2)
——
附另一个配方：
f(a,b,c)*s(ab) =
1/6s((2a^3b-a^2b^2+5a^2bc-4a^2c^2-16ab^2c+11abc^2-ac^3-b^3c+5b^2c^2)^2)
+
s(ab(2a^2b-ab^2-abc-5ac^2-6b^2c+10bc^2+c^3)^2)

求柯西