定义和含义

三角形的外角大于不相邻的内角。

辅助理解的解释

通过利用尺规作图作辅助线和全等三角形，我们可以证明三角形的外角大于不相邻的内角。

当然，也可以利用三角形内角和公理进行证明。利用三角形内角和公理之后，我们不仅可以证明外角大于不相邻的内角，还可以证明外角等于两个不相邻的内角的和。在这里，我们发现，相比前面运用三角形全等的证明来说，就更加容易证明了。但是，要注意，作为一个数学的概念体系，我们在证明每一个定理的时候，都尽量要用最少的定义和公理。这样才能保证将来的概念体系具有更大的适用范围。例如，没准有一天发现你要去掉三角形内角和公理，那个时候，不依赖这条公理的结论还是成立的，但是依赖这条公理证明出来的结论就需要重新考虑了。

通过这个定理的证明过程，可以更深刻体会，作为一个数学的概念体系，我们在证明每一个定理的时候，都尽量要用最少的定义和公理。