Énoncé 17 
Les angles opposés par le sommet sont isométriques. 

Tracer une droite AB ; 
Tracer une droite AC ; 
Placer un point D sur la droite AB (sur le prolongement de la droite BA) ; 
Placer un point E sur la droite AC (sur le prolongement de la droite CA) ; 
Marquer la mesure des angles BAC et DAE. 
À partir de cette réalisation, prouvez que les angles opposés par le sommet sont isométriques.

A = (-1.3, -0.98)
B = (5.38, 1.7)
a = Line(A, B)
C = (2.3000000000000003, -1.94)
b = Line(A, C)
D = Point(a)
E = Point(b)
α = Angle(C, A, B)
β = Angle(E, A, D)

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

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