Énoncé 13 
Tous les diamètres d’un cercle sont isométriques. 

Tracer un cercle de rayon AB ; 
Placer un point C sur la circonférence ; 
Tracer la droite CA ; 
Placer le point D à l’intersection de la droite et du cercle ; 
Masquer la droite ; 
Tracer un segment de droite CD et mesurez-le. 
À partir de cette réalisation, prouvez que tous les diamètres d’un cercle sont isométriques. 

A = (5.64, -1.16)
B = (7.22, 1.22)
c = Circle(A, B)
C = Point(c)
a = Line(A, C)
D = Intersect(c, a, 2.0)
b = Segment(C, D)
distanceCD = Distance(C, D)
TexteCD: Name[C] + (Name[D]) + " \, = \, " + distanceCD
E = Point(c)
d = Line(A, E)
F = Intersect(c, d, 2.0)
e = Segment(E, F)
distanceFE = Distance(F, E)
TexteFE: Name[F] + (Name[E]) + " \, = \, " + distanceFE

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

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