Aide 1

Aide 2

Aide 3

A = (8, 0)
B = (8, -10)
f = Line(A, B)
C = (17.918, -4.736)
C' = Mirror(C, f)
poly1, a, c, b, c' = Polygon(A, C, B, C')
g = OrthogonalLine(A, f)
h = OrthogonalLine(B, f)
d = false
i = LineBisector(A, B)
M = Intersect(f, i)
e = Circle(M, A)
E, F = Intersect(e, i)
j = false
k = false
l = Ray(A, C)
A' = Mirror(A, f)
C'_1 = Mirror(C, f)
l' = Ray(A', C'_1)
m = Ray(B, C)
B' = Mirror(B, f)
C'_2 = Mirror(C, f)
m' = Ray(B', C'_2)