A_1(0)

B_1(4)

C_1(2)

D_1(1)

M_1(1)

a_1

b_1

h_1^{\alpha}(1)

0

p_1^{\alpha}

1

p_1^{\beta}

h_1^{\beta}(1)

r_1

E_1

F_1

A = (-7, 0)
B = (0, -5)
C = (0, 3)
D = (2, 0)
E = (-1.052435853404964, -1.056637033524418)
a = Line(A, B)
b = Line(C, D)
c = Line(E, D)
C' = Mirror(C, D)
d = Line(C', c)
F = Midpoint(A, B)
G = Midpoint(A, F)
H = Point(d)
e = Line(A, H)
f = Line(G, e)
I = Intersect(c, f)
g = Line(H, I)
J = Intersect(a, g)
h = Line(J, E)
K = Intersect(b, h)
i = Segment(J, K)