Énoncé 19
Si une droite coupe deux droites parallèles, alors les angles alternes-internes, 
alternes-externes et correspondants sont respectivement isométriques. 

Tracer deux points A et B sur le plan ; 
Tracer une droite passant par ces deux points ; 
Tracer une parallèle à cette droite passant par un point quelconque C ; 
Tracer une droite passant par C et coupant la droite AB en un point D ;
Mesurer tous les angles;
Que peut-on conclure des différents angles de couleur marqués dans cette figure ? 
Pouvez-vous appuyer vos observations avec des mesures d’angle ?

A = (-1.0296108374655897, 1.7392828292500568)
B = (6.05136509529025, -3.076927521774158)
a = Line(A, B)
C = (-1.60296921258752, -1.7008674214815251)
b = Line(C, a)
D = Point(a)
c = Line(C, D)
E = Point(b)
F = Point(c)
G = Point(b)
H = Point(c)
α = Angle(F, D, A)
β = Angle(B, D, F)
γ = Angle(C, D, B)
δ = Angle(A, D, C)
ε = Angle(E, C, D)
ζ = Angle(H, C, E)
η = Angle(G, C, H)
θ = Angle(D, C, G)

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

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