《几何原本》命题I.30 平行于同一直线的两条直线互相平行。 设 l1∥l2,l1∥l3l_1\parallel l_2,l_1\parallel l_3l1∥l2,l1∥l3 则 ∠1=∠2,∠1=∠3\angle 1=\angle 2,\angle 1=\angle 3∠1=∠2,∠1=∠3 则 ∠2=∠3\angle 2=\angle 3∠2=∠3 则 l2∥l3l_2\parallel l_3l2∥l3