5.1(2)等式的基本性质