只要相交线的定义,定理,公理.

定义：两条直线只有一个公共点时,我们称这两条直线相交.相对的,我们称这两条直线为相交线
相交线∠1和∠2有一条公共边OC,它们的另一边互为反向延长线(∠1和∠2互补),具有这种关系的两个角,互为邻补角（adjacent angles on a straight line）.∠1和∠3有一个公共顶点O,并且∠1的两边分别是∠3的两边的反向延长线,具有这种位置关系的两个角,互为对顶角（verl ticaangles）.∠1与∠2互补,∠3与∠2互补,由“同角的补角相等”,可以得出∠1=∠3.类似地,∠2=∠4.这样,我们得到了对顶角的性质：对顶角相等.
垂直是相交的一种特殊情况.