一个代数式用另一个与它恒等的表达式去代换，叫做恒等变形．