迁移到一平面上,使它沿着一条给定了的射线,并且在这射线的给定了的一侧;又根据假设H
′和K
′在l
′的同一侧;从上文中的前两个关于角的合同式可知:H
′在线段L
′K
′上.因此根据公理Ⅲ
3
,易知:HK
≡H
′K
′.已经有了合同式OK
≡O
′K
′,HK
≡H
′K
′和∠OKL
≡∠O
′K
′L
′,再应用公理Ⅲ
5
,即证得本定理
[25]
.
类似地我们能推证下述事实:
定理16
设平面α
上的∠(h
,k
)合同于平面α
′上的∠(h
′,k
′),而且l
是平面α
上的,从角∠(h
,k
)的顶点起始的,在这角内的一条射线.这时平面α
′上恒恰有一条从∠(h
′,k
′)的顶点起始的在∠(h