Dupla rotação
Author: Matemática 6.º ano

A = (-0.08, 5.08)
B = (-0.58, 4.06)
C = (-1.6, 3.56)
D = (-0.58, 3.06)
E = (-0.08, 2.06)
F = (0.42, 3.06)
G = (1.42, 3.5)
H = (0.42, 4.06)
polígono1, a, b, c, d, e, f, g, h = Polygon(A, B, C, D, E, F, G, H)
α = 0.4014257279586958 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
I = (5.86, 2.16)
O = (4.72, -0.28)
I' = Rotate(I, α, O)
β = Angle(I, O, I')
i = Line(I, O)
j = Line(I', O)
P = Point(i)
Q = Point(j)
A' = Mirror(A, j)
B' = Mirror(B, j)
C' = Mirror(C, j)
D' = Mirror(D, j)
E' = Mirror(E, j)
F' = Mirror(F, j)
G' = Mirror(G, j)
H' = Mirror(H, j)
polígono1', a', b', c', d', e', f', g', h' = Polygon(A', B', C', D', E', F', G', H')
A'' = Mirror(A', i)
B'' = Mirror(B', i)
C'' = Mirror(C', i)
D'' = Mirror(D', i)
E'' = Mirror(E', i)
F'' = Mirror(F', i)
G'' = Mirror(G', i)
H'' = Mirror(H', i)
polígono1'', a'', b'', c'', d'', e'', f'', g'', h'' = Polygon(A'', B'', C'', D'', E'', F'', G'', H'')
k = Segment(G, G'')
l = Segment(F, F'')
m = LineBisector(l)
n = LineBisector(k)