嵌入不等式的三元推广（一）

用二次判别式来证明这个不等式 由轮换对称性由局部取等条件得到完整版取等条件，就是计算量稍微有些大