Bonjour, je veux montrer la chose suivante :
Par un point donné; on peut mener une droite parallèle à une droite donnée.
C'est l'existence que je veux montrer, l'unicité étant actuellement un axiome d'Euclide.
Je définie une droite xx', un point O n'appartenant pas à la droite xx' et un point A appartenant à la droite xx'.
Les droites xx' et (OA) sont alors sécantes en A.
Je cherche une manière de définir le point B sur le dessin afin que les angles mis en évidence soient égaux et donc que les droites xx' et (OB) sont parallèles.