1

R⁺

x

y

( R⁺) i

y i

R⁻ = -R⁺

- ( R⁺) i

-y

-x

x i

- y i

- x i

P_⊥

P⁻

- P

- P⁻

- P_⊥

- P_⊥⁻

P_⊥⁻

O = (0.011410061116061923, -0.20875063128114618)
U = (0.7718323787859619, -0.20010946858035178)
a = Ray(O, U)
i = (0.011410061116061923, 0.49118354748319315)
X = Point(a)
b = Segment(U, i)
Y = Point(a)
c = Ray(O, i)
d = Line(Y, b)
Yi = Intersect(c, d)
U' = Mirror(U, O)
i' = Mirror(i, O)
e = Ray(O, U')
f = Ray(O, i')
Y' = Mirror(Y, O)
X' = Mirror(X, O)
g = Line(X, c)
h = Line(Yi, a)
P = Intersect(g, h)
j = Line(X, b)
Xi = Intersect(c, j)
u = Vector(O, P)
k = Line(Xi, a)
l = Line(Y', c)
m = Line(X', c)
l' = Mirror(l, Yi)
O' = Mirror(O, Yi)
Yi' = Mirror(Yi, O)
Yi'' = Mirror(Yi', Xi)
Xi' = Mirror(Xi, O)
n = Line(Yi', a)
p = Line(Xi', a)
P' = Intersect(l, k)
v = Vector(O, P')
A = Intersect(g, n)
B = Intersect(m, n)
C = Intersect(h, m)
D = Intersect(l', p)
E = Intersect(k, l')
F = Intersect(l, p)
poli1, p_1, a_1, b_1, c_1 = Polygon(P, A, B, C)
poli2, p', f_1, d_1, e_1 = Polygon(P', F, D, E)