K_1(-1)

L_1(3)

M_1(2)

(K)

(L)

P_1

[K]

[M]

P'_1

p_1^ρ

h_1^ρ(2)

h_1^ρ(3)

A = (-1, -4)
B = (3, -1)
C = (4, -4)
a = Line(A, B)
b = Line(C, B)
c = Line(A, C)
d = OrthogonalLine(A, c)
e = OrthogonalLine(C, c)
f = Circle(A, 1)
D = Intersect(f, d, 1)
g = Circle(C, 3)
E = Intersect(g, e, 2)
h = Line(D, E)
F = Intersect(c, h)
i = OrthogonalLine(A, a)
j = OrthogonalLine(B, a)
k = Circle(A, 1)
G = Intersect(k, i, 2)
p = Circle(B, 2)
H = Intersect(p, j, 1)
l = Line(G, H)
I = Intersect(a, l)
m = Line(I, F)
n = Line(B, m)
q = Line(C, m)