homework prob

Prove that given points A, B, and D not on line AB, the line DX is perpendicular to line AB.
You can use axioms, the theorem that a triangle is isosceles if and only if the base angles are congruent, theorems about supplementary angles, vertical angles, and the triangle congruence theorems (SAS, ASA, AAS, and SSS)

A = (-1, 0)
B = (5, 0)
a = Line(A, B)
D = (1, 3)
c = Circle(A, D)
d = Circle(B, D)
E = Intersect(c, d, 2)
b = Segment(E, D)
X = Intersect(a, b)
e = Segment(A, D)
f = Segment(A, E)
g = Segment(E, B)
h = Segment(B, D)