替代外部角度定理

证明。

自从$\mathrm{K.}\parallel \mathrm{L.}$，由此对应的角度假设那

$\angle 1\cong \angle 5.$。

而且，通过垂直角度定理，

$\angle 5.\cong \angle 7.$。

然后，通过同一年的传递性质，

$\angle 1\cong \angle 7.$。

你可以证明这一点$\angle 4.$和$\angle 6.$使用相同的方法一致。