Énoncé 6 
Les diagonales d’un rectangle sont isométriques. 

Construire deux points quelconques A et B ; 
Construire un rectangle ABCD ; 
Construire les deux diagonales du parallélogramme ; 
Mesurer la longueur du segment passant par les deux côtés opposés 
Que peut-on conclure sur ces deux diagonales ?

A = (-0.28, 1.48)
B = (3.68, 2.02)
a = Segment(A, B)
b = OrthogonalLine(B, a)
c = OrthogonalLine(A, a)
C = Point(c)
d = Line(C, a)
D = Intersect(b, d)
poly1, d_1, c_1, a_1, b_1 = Polygon(D, C, A, B)
e = Segment(C, B)
f = Segment(D, A)
distanceCB = Distance(C, B)
TexteCB: Name[C] + (Name[B]) + " \, = \, " + distanceCB
distanceDA = Distance(D, A)
TexteDA: Name[D] + (Name[A]) + " \, = \, " + distanceDA

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

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