-等式的基本性质