AFBE est un rectangle
lorsque ABCD est un losange

Démonstration: \ Les\;diagonales\;d'un\;losange\;sont\;perpendiculaires\
Donc\;[AE]⊥[EB]\
Or\;un\;parallélogramme\;qui\;a\;un\;angle\;droit\;est\;un\;rectangle.\
Donc\;quand\;ABCD\;est\;un\;losange\;AFBE\;est\;un\;rectangle.\
CQFD

A = (5.16, 4.02)
C = (5.16, -3.24)
a = Line(A, C)
b = LineBisector(A, C)
E = Intersect(a, b)
B = Point(b)
D = Mirror(B, E)
poly1, a_1, b_1, c, d = Polygon(A, B, C, D)
e = Segment(B, D)
f = Segment(A, C)
α = Angle(D, E, A)
F_1 = Midpoint(B, A)
F = Mirror(E, F_1)
poly2, a_2, e_1, b_2, f_1 = Polygon(A, E, B, F)