Constr P

Hyperbole

A = (-2, 7)
B = (-4, -1)
C = (5, -1)
bc = Line(B, C)
ab = Line(A, B)
ac = Line(A, C)
AB = Segment(A, B)
AC = Segment(A, C)
BC = Segment(B, C)
U = Point(bc)
f = OrthogonalLine(U, BC)
V' = Intersect(ac, f)
B' = Dilate(A, 1 / 3, C)
g = Segment(B, B')
h = Segment(U, B')
i = Line(B, h)
V'' = Intersect(ac, i)
j = Segment(U, V'')
c = Semicircle(V', C)
k = OrthogonalLine(V'', AC)
D = Intersect(c, k, 1)
d = Circle(V', D)
P = Intersect(d, f, 1)
l = OrthogonalLine(P, AC)
V = Intersect(ac, l)
q1, p, v, c_1, u = Polygon(P, V, C, U)
ABC, c_2, a, b = Polygon(A, B, C)
D' = Rotate(D, 20°, V')
P'_{1} = Rotate(P, (-(20°)), V')
e = CircleArc(V', P'_{1}, D')
D'_{1} = Dilate(D, 1.4, V'')
m = Segment(V'', D'_{1})
V''' = Dilate(V'', 1.2, B)
n = Segment(B, V''')
q = Segment(P, V)
E_{1} = (-43.03865339586938, -22.67828814226309)
r = Line(C, E_{1})
s = OrthogonalLine(C, r)
t = AngularBisector(A, C, B)
t' = Rotate(t, 45°, C)
f_1 = OrthogonalLine(C, t')
d_1 = Circle(C, B')
B'' = Intersect(d_1, bc, 2)
e_1 = Semicircle(B'', B)
g_1 = OrthogonalLine(C, BC)
E = Intersect(e_1, g_1, 1)
h_1 = Circle(C, E)
H = Intersect(h_1, f_1, 1)
i_1 = OrthogonalLine(H, f_1)
F = Intersect(t, i_1)
J, I = Intersect(h_1, t)
F' = Mirror(F, C)
k_1 = Hyperbola(F, F', I)
j_1 = Segment(H, F)
p_1 = CircleArc(C, B'', B')
A' = Dilate(A, 1 / 3, B)
q_1 = Circle(B, A')
G = Intersect(q_1, bc, 1)
r_1 = Semicircle(C, G)
l_1 = OrthogonalLine(B, bc)
K = Intersect(r_1, l_1, 1)
s_1 = Circle(B, K)
m_1 = AngularBisector(C, B, A)
n_1 = Rotate(m_1, 45°, B)
L = Intersect(s_1, n_1, 2)
t_1 = OrthogonalLine(L, n_1)
M = Intersect(t_1, m_1)
N = Intersect(bc, BC)
O, Q = Intersect(s_1, m_1)
M' = Mirror(M, B)
d_2 = Hyperbola(M, M', Q)
T = Intersect(h_1, r, 2)
a_1 = Segment(F, T)
e_2 = CircleArc(C, I, E)
S = Intersect(k_1, d_2, 4)
P' = Intersect(d_2, f, 1)
b_1 = OrthogonalLine(P', AB)
W = Intersect(ab, b_1)
q2, w, t_2, u_1, b_2 = Polygon(W, P', U, B)
f_2 = Segment(W, P')
o = false
o_1 = false
PU: U