Author: Batmath

T12 = (-1.3885631526719113, 5.016071376588612)
T23 = (8.283591026034633, 2.7840357968871015)
T34 = (8.423093249765978, -2.284544998685078)
T45 = (5.400545068920183, -4.516580578386589)
T = (-1.9930727888410704, -0.47101609017760093)
a = Line(T12, T23)
b = Line(T23, T34)
c = Line(T34, T45)
d = Line(T12, T)
e = Line(T45, T)
f = Line(T12, T45)
O = Midpoint(T12, T45)
g = OrthogonalLine(O, f)
h = Circle(O, 1)
A = Intersect(h, g, 2)
k = Circle(A, O)
B = Intersect(k, g, 2)
t = 0 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
B' = Rotate(O, t, A)
i = Ray(B, B')
I = Intersect(f, i)
j = Line(T34, I)
l = Line(T23, I)
T56 = Intersect(e, l)
T61 = Intersect(d, j)
m = Line(T61, T56)