α

A = (7, 5)
B = (11, 6)
C = (13, 3)
D = (10, 2)
E = (11, 4)
poligon1, a, b, c, d, e = Polygon(A, B, C, D, E)
F = (6, 3)
α = 1.710422666954443 rad (slider from 0° to 6.283185307179586)
A' = Rotate(A, α, F)
B' = Rotate(B, α, F)
C' = Rotate(C, α, F)
D' = Rotate(D, α, F)
E' = Rotate(E, α, F)
poligon1', a', b', c', d', e' = Polygon(A', B', C', D', E')
f = Segment(B, F)
g = Segment(F, B')
β = Angle(B, F, B')