Cho d'∥d, d"∥d, a\(⊥\)d
a\(⊥\)d (gt)
\(\Rightarrow\) a\(⊥\)d' (từ vuông góc đến song song) (1)d" ∥ d (gt)
a\(⊥\)d (gt)
\(\Rightarrow\) a\(⊥\)d" (từ vuông góc đến song song) (2)Từ (1) và (2) \(\Rightarrow\)d' ∥ d" (từ vuông góc đến song song)
d' ∥ d (gt), d" ∥ d (gt)
\(\Rightarrow\)d ∥ d' ∥ d"