Si deux droites sont perpendiculaires à une même troisième, alors elles sont parallèles entre elles.

On sait que :
• ($d_1$) ⊥ ($D$)
• ($d_2$) ⊥ ($D$)

On conclut que :
• ($d_1$) // ($d_2$)

Si deux droites sont parallèles, alors toute perpendiculaire à l'une est perpendiculaire à l'autre.

On sait que :
• ($d_1$) // ($d_2$)
• ($d_2$) ⊥ ($D$)

On conclut que :
• ($d_1$) ⊥ ($D$)

Si deux droites sont parallèles à une même troisième alors elles sont parallèles entre elles.

On sait que :
• ($d_1$) // ($d_2$)
• ($d_2$) // ($d_3$)

On conclut que :
• ($d_1$) // ($d_3$)