文化伟人代表作图释书系:几何原本
上QQ阅读APP看书,第一时间看更新

命题I.15

两条直线相交,对顶角相等。

设:AB、CD两条直线相交于Ε点。

求证:∠AΕC等于∠DΕB,∠CΕB等于∠AΕD

因为:射线立在直线CD上,构成∠CΕA、∠AΕD,∠CΕA、∠AΕD的和等于两个直角(命题I.13)

又,线段立在线段AB上,构成∠AΕD、∠DΕB,∠AΕD、∠DΕB的和等于两个直角(命题I.13)。又:∠CΕA、∠AΕD的和也能证明出等于两个直角。

所以:∠CΕA、∠AΕD的和等于∠AΕD、∠DΕB的和(公设I.4、公理I.1)

令:从各角中减去∠AΕD

于是:剩余∠CΕA等于剩余∠BΕD(公理I.3)

同理可证:∠CΕB、∠DΕA也相等。

所以:两条直线相交,对顶角相等。

证完

推论

此命题也表明:两条直线相交,在相交点形成的角等于四个直角的和(360°)。

注解

虽然欧几里得并未定义“直角”,但其意义却明确地应用在本命题中。关于“推论”有这样一种说法:这可能是后人的插入。因为如果它是欧几里得所作,那么它应该被绑定在命题本身里,或者干脆成为另一命题。

本命题被利用在以后的几个命题中,并在II.10及IV.15中被利用。