Énoncé 20 
Dans le cas d’une droite coupant deux droites, si deux angles correspondants 
(ou alternes-internes ou encore alternes-externes) sont isométriques, alors ils sont 
formés par des droites parallèles coupées par une sécante. 

Tracer trois points A, B et C sur le plan ; 
Tracer le point E représentant la symétrie de A par rapport à C ; 
Tracer le point F représentant la symétrie de B par rapport à C ; 
Tracer une droite passant par A et B ; 
Tracer une droite passant par E et F ; 
Tracer une sécante passant par C et coupant les deux droites. 
Mesurer les angles alternes-internes ; 
Mesurer les angles alternes-externes ;
Que peut-on conclure sur les deux droites AB et EF ?

A = (-0.54, -1.76)
B = (5, -4.7)
C = (1.56, -4.12)
E = Mirror(A, C)
F = Mirror(B, C)
a = Line(A, B)
b = Line(F, E)
D = Point(a)
c = Line(C, D)
α = Angle(C, D, B)
G = Intersect(b, c)
β = Angle(E, G, C)
γ = Angle(A, D, C)
δ = Angle(C, G, F)
H = Point(c)
I = Point(c)
ε = Angle(H, D, A)
ζ = Angle(I, G, E)
η = Angle(B, D, H)
θ = Angle(F, G, I)

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

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