α

α

β

β

T = (-2.757758206202588, 3.8122701188155297)
P' = (1, -1)
C_1 = Midpoint(T, P')
c = Circle(C_1, T)
P = Point(c)
B = Midpoint(P, P')
C = Mirror(B, P)
d = Circle(C, T, B)
a = Segment(T, P')
A_1, A = Intersect(d, a)
e = Circle(P, A, P')
D = Intersect(d, a, 2.0)
b = OrthogonalLine(A, a)
E, A' = Intersect(d, e)
f = Segment(T, A')
g = Segment(B, A)
h = Segment(C, P')
Q, R = Intersect(c, b)
k = Circle(C, B, R)
i = Segment(A', B)
j = Segment(A', C)
α = Angle(C, A, Q)
β = Angle(Q, A, B)
γ = Angle(Q, P, B)
l = Segment(C, T)
m = Segment(T, R)
poly1, c_1, a_1, b_1 = Polygon(A, B, C)
poly2, r, p, q = Polygon(P, Q, R)
δ = Angle(B, P, R)
B' = Mirror(B, a)
R' = Mirror(R, f)
n = Segment(A, B')
s = Segment(B', B)
t = Segment(P, R')
d_1 = Segment(R', R)
F, M = Intersect(c, d)
H = Intersect(b, h)
ε = Angle(H, A, T)
η = Angle(a, s)
ι = Angle(c_1, p)
κ = Angle(H, A, C)
e_1 = Segment(A, H)
f_1 = Segment(P, T)
g_1 = Segment(P, C)
θ = Angle(d_1, f)
ζ = Angle(g_1, f_1)
h_1 = Segment(R, A')
i_1 = Segment(P, Q)
j_1 = Segment(P, R)
k_1 = Segment(P, H)
λ = Angle(Q, P, H)
μ = Angle(H, P, R)