P=(2,3)

H = (5.1841831892478005, -2.429936612663565)
K = (5.1841831892478005, -1.4371970982022162)
h = Line(H, K)
M = Point(h)
N = Point(h)
s = Vector(N, M)
j = Vector(H, K)
a = OrthogonalLine(H, j)
B = Point(a)
C = Point(a)
c = Circle(H, K)
A = Intersect(c, a, 1)
D = Intersect(c, a, 2)
E = Point(a)
F = Point(a)
v = Vector(E, F)
i = Vector(H, A)
A' = Translate(A, i)
w = Vector(A, A')
A'' = Translate(A', w)
z = Vector(A', A'')
K' = Translate(K, j)
b = Vector(K, K')
K'' = Translate(K', b)
d = Vector(K', K'')
e = OrthogonalLine(A', v)
f = OrthogonalLine(K'', s)
P = Intersect(e, f)
g = Segment(K'', P)
k = Segment(P, A')
G: H - j