AFBE est un carré
lorsque ABCD est un carré

Démonstration: \ Les\;diagonales\;d'un\;carré\;ont\;même\;longueur\
et\;sont\;perpendiculaires\
Donc\;AE=EB\;et\;[AE]⊥[EB]\
Or\;un\;parallélogramme\;qui\;a\;deux\;côtés\;consécutifs\;égaux\
et\;un\;angle\;droit\;est\;un\;losange\
Donc\;quand\;ABCD\;est\;un\;carré\;AFBE\;est\;un\;carré.\
CQFD

A = (3.82, 5.28)
B = (2.96, -1.6)
poly1, a, b, c, d, C, D = Polygon(A, B, 4)
E = Midpoint(A, C)
F_1 = Midpoint(A, B)
F = Mirror(E, F_1)
poly2, a_1, e, b_1, f = Polygon(A, E, B, F)
g = Segment(F, E)
h = Segment(A, B)
G = Intersect(g, h)
α = Angle(E, G, A)