312等式的性质(1)