P_1

A_1(3)

C_1(-2)

(A)

(C)

P'_1

p_1^α

s_1^α

[A]

r

A_0

C_0

S_0

B_0

D_0

S_1

I

B_1

D_1

A = (0, -3)
B = (1, -1)
C = (6, -4)
a = Line(B, C)
b = OrthogonalLine(B, a)
c = OrthogonalLine(C, a)
d = Circle(B, 3)
D = Intersect(d, b, 1)
e = Circle(C, 2)
E = Intersect(e, c, 2)
f = Line(D, E)
F = Intersect(a, f)
g = Line(A, F)
h = OrthogonalLine(B, g)
G = Intersect(g, h)
i = Line(B, g)
k = Circle(B, 3)
H = Intersect(k, i, 1)
j = Segment(H, G)
p = Circle(G, H)
I = Intersect(p, h, 1)
l = Line(I, F)
m = OrthogonalLine(C, g)
J = Intersect(l, m)
K = Midpoint(I, J)
n = OrthogonalLine(K, l)
q = Circle(K, J)
L = Intersect(q, n, 2)
M = Intersect(q, n, 1)
r = Segment(I, L)
s = Segment(L, J)
t = Segment(M, J)
a_1 = Segment(I, M)
b_1 = OrthogonalLine(K, g)
N = Intersect(a, b_1)
O = Intersect(g, n)
c_1 = Line(O, N)
d_1 = OrthogonalLine(L, g)
P = Intersect(c_1, d_1)
e_1 = OrthogonalLine(M, g)
Q = Intersect(c_1, e_1)
f_1 = Segment(B, P)
g_1 = Segment(P, C)
h_1 = Segment(C, Q)
i_1 = Segment(Q, B)