垂直角度定理

证明：

$\angle 1\text{和}\angle 2$形式A.线性对，所以由此补充假设， 他们是补充。那是，

$m\angle 1+m\angle 2=180.°$。

$\angle 2\text{和}\angle 3.$形成一个线性对，所以

$m\angle 2+m\angle 3.=180.°$。

减去$m\angle 2$从两个方程的两侧，我们得到

$m\angle 1=180.°-m\angle 2=m\angle 3.$。

所以，

$\angle 1\cong \angle 3.$。

您可以使用类似的参数来证明这一点$\angle 2\cong \angle 4.$。