Énoncé 8 
Si deux droites sont parallèles à une troisième, alors elles sont aussi parallèles entre elles. 

Construire une droite à partir des points A et B ; 
Construire une deuxième droite passant par le point C et parallèle à la droite AB ; 
Construire une troisième droite passant par le point D et parallèle à la droite AB et C ; 
Déplacer le point A de haut en bas ; 
Déplacer le point D de haut en bas ; 
Que peut-on dire de la droite passant par le point D par rapport à la droite passant par les points AB ?

A = (-0.34, -2)
B = (1.86, 0.2)
a = Line(A, B)
C = (2.7, -1.36)
b = Line(C, a)
D = (-0.42, -0.72)
c = Line(D, a)

Tool: Outil1
Input: E, F, H
Output: γ

a = Segment(E, F)
G = Point(a)
α = Angle(E, G, H)
β = Angle(H, G, F)
γ: α + β