视频字幕
相交线是几何学中的基本概念。当两条直线相交时，它们会在交点处形成四个角。这四个角按照位置关系可以分为对顶角和邻补角，它们具有重要的几何性质。
对顶角是相交线形成的重要角度关系。当两条直线相交时，相对的两个角叫做对顶角。角1和角3是对顶角，角2和角4也是对顶角。对顶角有一个重要性质：对顶角相等。
邻补角是相交线的另一个重要概念。邻补角是指有公共顶点和公共边的两个相邻角，它们的度数和等于一百八十度。在相交线中，任意两个相邻的角都是邻补角，比如角1和角2，角2和角3等等。
现在我们来证明对顶角相等这个重要性质。根据邻补角的定义，角1加角2等于180度，角3加角2也等于180度。因此角1加角2等于角3加角2，两边同时减去角2，得到角1等于角3。这就证明了对顶角相等。
相交线的性质在实际问题中有重要应用。例如，当我们知道其中一个角的度数时，可以利用对顶角相等和邻补角互补的性质求出其他角的度数。如果角1等于50度，那么角3作为对顶角也等于50度，角2和角4作为邻补角分别等于130度。