23.对称不等式的证明策略