I = (-3.187984768233026, -5.188420058871079)
A = (-1.4830161733394864, -3.0069409223230252)
B = (0.2714830823601493, -3.2302408275938874)
f = Line(A, B)
g = OrthogonalLine(A, f)
C = Point(g)
α = Angle(B, A, C)
β = Angle(f, g)
t1, c, a, b = Polygon(A, B, C)
k = 3 (slider from -5 to 5, step 0.1)
A' = Dilate(A, k, I)
B' = Dilate(B, k, I)
C' = Dilate(C, k, I)
D = (7.704179929233152, -5.9417396773114985)
t2, c', a', b' = Polygon(A', B', C')
h = Segment(I, A')
i = Segment(I, C')
j = Segment(I, B')
γ = Angle(B', A', C')
l = Segment(I, B)
m = Segment(I, A)
n = Segment(I, C)