Droites parallèles

Deux droites sont dites parallèles si elles n'ont aucun point commun ou si elles sont confondues. Deux droites ayant un et un seul point commun sont dites sécantes.

Propriétés utiles

• Axiome de Playfair (reformulation du cinquième postulat d'Euclide): Par un point A n'appartenant pas à une droite D, on ne peut faire passer qu'une droite parallèle à D
• Soit deux droites parallèles D et D', toute droite sécante à D est sécante à D'
• Soit deux droites parallèles D et D', toute droite perpendiculaire à D est perpendiculaire à D'
• Soit deux droites parallèles D et D', toute droite parallèle à D est parallèle à D'

Deux droites sont parallèles si elles ont la même direction, c’est-à-dire si elles ont des vecteurs directeurs colinéaires

Le complété projectif d'un espace affine est l'espace affine auquel on rajoute des points à l'infini, un point à l'infini par direction de droites. Une droite affine est complétée en une droite projective en lui rajoutant le point à l'infini correspondant à sa direction.

Deux droites projectives obtenues par complétion de deux droites affines parallèles distinctes ont un point d'intersection unique ; c'est le point à l'infini de chacune des deux droites projectives.