Rotate around center

Vertices

Projection

Light beams

Coloured sides

K = (2, 4.070312205322519)
c_1 = Circle(K, 0.6)
K_1 = Point(c_1)
K_2 = Point(c_1)
a_1 = Angle(K_1, K, K_2)
A: (2 * cos(-a_1), 2 * sin(-a_1))
C: (-2 * cos(-a_1), -2 * sin(-a_1))
D: (2 * sin(-a_1), -2 * cos(-a_1))
B: (-2 * sin(-a_1), 2 * cos(-a_1))
b_1 = Segment(A, B)
d_1 = Segment(C, B)
e = Segment(C, D)
f = Segment(D, A)
E = Point(g)
F = Point(g)
h = Segment(E, F)
i = OrthogonalLine(B, g)
j = OrthogonalLine(A, g)
k = OrthogonalLine(D, g)
l = OrthogonalLine(C, g)
B' = Intersect(i, g)
A' = Intersect(j, g)
C' = Intersect(l, g)
D' = Intersect(k, g)
m = Ray(B', B)
n = Ray(A', A)
p = Ray(C', C)
q = Ray(D', D)
a = Segment(A, B)
a' = Segment(A', B')
b = Segment(B, C)
b' = Segment(B', C')
c = Segment(C, D)
c' = Segment(C', D')
d = Segment(D, A)
d' = Segment(D', A')
o = false
r = false
s = true
t = true
e_1 = Segment(A', B')
f_1 = Segment(B', C')
g_1 = Segment(C', D')
h_1 = Segment(D', A')