根据解方程的过程，完成下面的填空。 0.5+x=1.2 解：0.5+x-0.5=1.2→方程的两边同时。 x= 检验：把x=代入方程，左边= = =方程的右边，所以，x=是方程的解。

72－x=3×(6＋1.5)

因为：∠1+∠2=180°，∠2+∠3=180°（平角等于180° ）

所以：∠1+∠2=∠2+∠3，

也就有：∠1=∠3 ，这里运用了（）。

$\text{[math]}$ ， $\text{[math]}$