A = (-1.1333333333333333, -5.8)
B = (7.166666666666667, -1.7)
AB = Segment(A, B)
b = OrthogonalLine(B, AB)
C = Point(b)
AC = Segment(A, C)
BC = Segment(B, C)
T1: "AB{^2}=" + (AB²)
T2: "BC{^2}=" + (BC²)
T3: "AC{^2}=" + (AC²)
T4: "AB{^2} + BC{^2}=" + (AB² + BC²)
c = Circle(B, 0.5)
D = Intersect(c, AB)
E = Intersect(c, BC)
a = Line(E, AB)
d = Line(D, BC)
F = Intersect(d, a)
e = Segment(D, F)
f = Segment(E, F)