S_1(5)

T_1=T'_1

(S)

(T)

(s^α)

s_1^α

P_1

p_1^α

(T')

(s^β)

P'_1

p_1^β

=

s_1^β

A = (0, -3.5)
c = Circle(A, 3)
B = (2, -2)
a = Line(A, B)
b = OrthogonalLine(A, a)
d = OrthogonalLine(B, a)
e = Circle(A, 5)
C = Intersect(e, b, 2)
f = Circle(C, 3)
D, E = Intersect(f, d)
g = Line(E, C)
h = OrthogonalLine(E, g)
F = Intersect(a, h)
i = OrthogonalLine(F, a)
j = Line(C, D)
k = OrthogonalLine(D, j)
G = Intersect(a, k)
l = OrthogonalLine(G, a)