Énoncé 1
Dans tout triangle isocèle, les angles opposés aux côtés isométriques sont isométriques. 

Construire deux points quelconques A et B ; 
Construire un triangle isocèle ABC rectangle en B ; 
Marquer les deux angles aigus du triangle ; 
Mesurer les deux angles aigus du triangle ; 
Comparer les mesures des deux angles aigus du triangle ; 
Déplacer les points A et B ; 
Que dire des mesures des deux angles aigus du triangle ? 

A = (0.34066115702479355, 0.20644628099173581)
B = (4.649752066115702, 0.18826446280991765)
a = Segment(A, B)
b = OrthogonalLine(B, a)
c = Circle(B, A)
C, D = Intersect(c, b)
poly1, d, a_1, b_1 = Polygon(A, B, D)
α = Angle(B, A, D)
β = Angle(A, D, B)

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

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