A_1(0)

B_1(3)

C_1(0)

D_1(7)

a_1

b_1

a'_1

4

4

h_1^{\alpha}(4)

p_1^{\alpha}

s_1^{\alpha}=k_1

(D)

(s^{\alpha})

(k)

P_1

p_1^{\rho}

3

h_1^{\rho}(3)

p_1^{\beta}

h_1^{\beta}(3)

r_1

U_1

o_1

V_1

A = (-5.3578, 0.6876)
B = (0, 0)
C = (3, -2)
D = (8, -5)
a = Line(A, B)
b = Line(C, D)
c = Line(D, a)
d = Circle(D, 6.5)
E, F = Intersect(d, c)
C' = Dilate(C, 0.42857142857142855, D)
e = Line(E, C')
f = Line(C, e)
g = OrthogonalLine(D, f)
G = Intersect(f, g)
h = OrthogonalLine(D, g)
k = Circle(D, 7)
H = Intersect(k, h, 1)
i = Line(G, H)
j = OrthogonalLine(H, i)
I = Intersect(g, j)
l = Line(I, C)
J = Midpoint(C', C)
K = Midpoint(J, C')
m = Line(K, l)
L = Point(l)
n = Line(A, L)
p = Line(B, n)
M = Intersect(m, p)
q = Line(L, M)
N = Intersect(a, q)
r = Line(N, g)
O = Intersect(b, r)
s = Segment(O, N)