A≡B

A≡B

a)

b)

c)

A = (-4.112111829894667, -3.827171924144306)
B = (3.0067086122038273, -3.771556139440411)
a = Segment(A, B)
b = OrthogonalLine(A, a)
c = OrthogonalLine(B, a)
C = Point(b)
d = OrthogonalLine(C, b)
D = Intersect(c, d)
e = Segment(C, A)
f = Segment(D, B)
g = Segment(C, D)
E = (6.677350402660864, -3.660324570032622)
h = Line(E, a)
i = OrthogonalLine(E, h)
k = Circle(E, e)
F = Intersect(k, i, 2.0)
j = OrthogonalLine(F, i)
G = Midpoint(a)
kcAG = Distance(A, G)
AG: "\overline{" + (Name[A]) + (Name[G]) + "} \, = \, " + kcAG
p = Circle(E, kcAG)
H = Intersect(p, h, 2.0)
l = OrthogonalLine(H, h)
I = Intersect(j, l)
m = Segment(E, H)
n = Segment(H, I)
q = Segment(I, F)
r = Segment(F, E)
J = (14.852870754133354, -3.4656693235689913)
s = Line(J, m)
t = OrthogonalLine(J, s)
c_1 = Circle(J, m)
K = Intersect(c_1, s, 2.0)
a_1 = OrthogonalLine(K, s)
d_1 = Circle(J, r)
L = Intersect(d_1, t, 2.0)
b_1 = OrthogonalLine(L, t)
M_1 = Intersect(a_1, b_1)
e_1 = Segment(J, K)
f_1 = Segment(K, M_1)
g_1 = Segment(L, J)
h_1 = Segment(L, M_1)
M = Point(f_1)
i_1 = Segment(M, J)
L'_1 = Mirror(L, i_1)
J' = Mirror(J, i_1)
j_1 = Segment(L'_1, J')
L' = Mirror(L, i_1)
M' = Mirror(M_1, i_1)
k_1 = Segment(L', M')
l_1 = Segment(M, M')
m_1 = Segment(M, K)