Perpendicular Line through a Point

Circle-Diameter Method

E is the midpoint of CD
found by bisecting CD.

\overline{CF} \perp \overline{DF}

A = (-4.0200000000000005, -0.14)
B = (8.14, 2.7800000000000002)
a = Line(A, B)
C = (1.18, 3.94)
D = Point(a)
b = Segment(C, D)
E = Midpoint(b)
c = Circle(E, D)
F = Intersect(c, a, 2)
d = Line(C, F)