做几何证明时,等式性质和等量代换有什么区别?

如：
∵BC=1/2 AB
∴2BC=AB （等式的性质）
∵BC=1/2 AB
AC=1/2 AB
∴BC=AC （等量代换）
等式的性质有：
1、等式两边都加上（或减去）同一个数或整式,等式仍然成立；
2、等式两边都乘以（或除以）同一个数（除数不为0）,等式仍然成立；
3、对称性：若a=b,则b=a;
4、传递性：若a=b,b=c.则a=c.
这里 等式的传递性就是等量代换!如果拿捏不清的话都填“等式性质”也可.