U'V'W'

tout

A = (-3, 2)
B = (1, 2)
C = (-2, 5)
bc = Line(C, B)
ab = Line(A, B)
ac = Line(C, A)
a = Segment(C, B)
b = Segment(C, A)
c = Segment(A, B)
U = Point(bc)
V = Point(ac)
W = Point(ab)
PU: U
PV: V
PW: W
d = Circle(C, V, U)
e = Circle(U, W, B)
f = Circle(A, V, W)
D = Center(d)
E = Center(f)
g = Segment(D, E)
Q = Mirror(V, g)
h = Segment(V, U)
i = Segment(U, W)
j = Segment(W, V)
k = Ray(Q, V)
l = Ray(Q, U)
m = Ray(Q, W)
n = Segment(Q, A)
p = Segment(Q, B)
q = Segment(Q, C)
o = false
r = Line(Q, bc)
s = Circle(Q, B)
F, G = Intersect(s, r)
t = Semicircle(F, G)
P = Point(t)
a_1 = Ray(Q, P)
PP: P
U' = Intersect(a_1, bc)
b_1 = Ray(Q, Rotate[P, Angle[U, Q, W], Q])
c_1 = Ray(Q, Rotate[P, Angle[U, Q, V], Q])
W' = Intersect(b_1, ab)
V' = Intersect(c_1, ac)
d_1 = Segment(V', U')
e_1 = Segment(U', W')
f_1 = Segment(W', V')
g_1 = Circle(C, V', U')
h_1 = Circle(U', B, W')
k_1 = Circle(A, W', V')
u = false