A_1(3)

B_1(1)

C_1(5)

D_1(1)

K_1(4)

L_1(8)

a_1

b_1

s_1

s'_1

7

5

7

h_1^{\alpha}(7)

h_1^{\alpha}(5)

h_1^{\alpha}(1)

h_1^{\beta}(5)

h_1^{\beta}(1)

r_1

Q_1

R_1

A = (-4, -6)
B = (0, -6.5)
C = (-1, 0)
D = (3, -5)
K = (-3, -4.5)
L = (1, 0)
a = Line(A, B)
b = Line(C, D)
c = Line(L, K)
t = Line(A, c)
vzdalenostKL = Distance(K, L)
TextKL: Name[K] + (Name[L]) + " = " + vzdalenostKL
d = Circle(A, vzdalenostKL)
E, F = Intersect(d, t)
B' = Mirror(B, A)
A' = Mirror(A, B')
e = Line(A', E)
f = Line(B', e)
g = Line(B, f)
G = Point(f)
h = Line(C, G)
i = Line(D, h)
H = Intersect(g, i)
j = Line(H, G)
I = Intersect(b, j)
k = Line(I, t)
J = Intersect(a, k)
l = Segment(J, I)