α

β

b''

β

Zentrische Streckung

A = (-18, -2)
B = (-12, -2)
c = Segment(A, B)
C = (-16, 2)
a = Segment(B, C)
b = Segment(C, A)
α = Angle(B, A, C)
β = Angle(C, B, A)
γ = Angle(A, C, B)
k = 1.5 (slider from 0 to 5)
A' = (-6.925194796594307, -0.8223813091770087)
B' = Point(Circle[A', (c * k)])
c' = Segment(A', B')
C'_1 = Rotate(B', α, A')
δ = Angle(B', A', C'_1)
b'_1 = Ray(A', C'_1)
D = Point(Circle[A', (b * k)])
f = Segment(A', D)
d = Circle(A', D)
C' = Intersect(d, b'_1)
b' = Segment(A', C')
a' = Segment(C', B')
ε = Angle(C', B', A')
g = Ray(A, B)
h = Ray(A, C)
B'' = Point(Circle[A, (c * c' / c)])
c'' = Segment(A, B'')
e = Circle(A, (b * c' / c))
C'' = Intersect(e, h)
i = Segment(A, C'')
a'' = Segment(B'', C'')
ζ = Angle(C'', B'', A)
l = Segment(A, C)
j = true