1: Animare. Spostare la retta rossa.
2: Completare

A = (-1.54, -0.6)
B = (4.84, 0.82)
C = (2.08, 4.18)
poly1, c, a, b = Polygon(A, B, C)
D = (0.32, 3.06)
E = (4.96, 1.72)
d = Line(D, E)
F = Intersect(d, b)
G = Intersect(a, d)
e = OrthogonalLine(F, b)
f = OrthogonalLine(G, a)
d'_1 = Mirror(d, f)
d' = Mirror(d, e)
H = Intersect(d'_1, d')
α = Angle(G, H, F)
g, h = AngularBisector(d', d'_1)