基本不等式之1的代换