A = (4, 5)
B = (4, 2)
a = Segment(A, B)
b = OrthogonalLine(A, a)
C = Point(b)
c = Circle(A, C)
d = Circle(C, A)
D, E = Intersect(c, d)
e = Ray(A, E)
f = OrthogonalLine(B, a)
F = Intersect(e, f)
g = Circle(B, F)
G, H = Intersect(g, f)
h = Segment(A, H)