《几何原本》命题I.30 平行于同一直线的两条直线互相平行。 设 l 1 ∥ l 2 , l 1 ∥ l 3 l_1\parallel l_2,l_1\parallel l_3 l1∥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 则 l 2 ∥ l 3 l_2\parallel l_3 l2∥l3