S_1(4)

A_1(6)

(S)

(A)

r

(s^ρ)

s_1^ρ

P_1

p_1^ρ

A = (0, -3)
B = (3, -5)
a = Line(A, B)
b = OrthogonalLine(A, a)
c = OrthogonalLine(B, a)
d = Circle(A, 4)
C = Intersect(d, b, 2)
e = Circle(B, 6)
D = Intersect(e, c, 2)
f = Segment(C, D)
g = Line(C, D)
h = Circle(A, f)
i = OrthogonalLine(D, f)
E = Intersect(a, i)
j = OrthogonalLine(E, a)