相交线与平行线起源于什么

相交线与平行线起源于什么

相交线与平行线起源于欧式几何。

欧氏几何的平行公理，可以等价的陈述为“过直线外一点有唯一的一条直线和已知直线平行”。而其否定形式“过直线外一点没有和已知直线平行的直线”或“过直线外一点至少有两条直线和已知直线平行”，则可以作为欧氏几何平行公理的替代，而演绎出独立于欧氏几何的非欧几何。

欧氏几何中平行线的性质和判定

平行线的性质

1.经过直线外一点，有且只有一条直线与已知直线平行。

2.两条平行线被第三条直线所截，同位角相等，内错角相等，同旁内角互补。

3.两条直线平行于第三条直线时，两条直线平行。

4.平行线分三角形对应边成比例。

这几条命题依赖于欧氏几何的第五公设（平行公理），所以在非欧几何中不成立。

平行线的判定

1、同位角相等，两直线平行。

2、内错角相等，两直线平行。

3、同旁内角互补，两直线平行。

4、在同一平面内，垂直于同一直线的两条直线互相平行。

5、在同一平面内，平行于同一直线的两条直线互相平行。

6、同一平面内永不相交的两直线互相平行。

在欧几里得几何原本的体系中，这几条判定法则不依赖于第五公设（平行公理），所以在非欧几何中也成立。

相交线概念

如果两条直线只有一个公共点时，我们称这两条直线相交。相对的，我们称这两条直线为相交线。

性质

相交线

∠1和∠2有一条公共边AB，它们的另一边互为反向延长线(∠1和∠2互补)，具有这种关系的两个角，互为邻补角（adjacent angles on a straight line）。

∠1和∠3有一个公共顶点O，并且∠1的两边分别是∠3的两边的反向延长线，具有这种位置关系的两个角，互为对顶角（verl ticaangles）。

∠1与∠2互补，∠3与∠2互补，由“同角的补角相等”，可以得出∠1=∠3.类似地,∠2=∠4.这样，我们得到了对顶角的性质：对顶角相等.

垂直是相交的一种特殊情况