3.1.2等式的性质最终版