Podaire

A = (-4, 1)
B = (0, 1)
C = (-3.609585449541113, 4.227765741013296)
ab = Line(A, B)
bc = Line(B, C)
ac = Line(C, A)
A' = Rotate(B, 60°, C)
B' = Rotate(C, 60°, A)
C' = Rotate(A, 60°, B)
c = Circle(C, B', A)
d = Circle(C, A', B)
e = Circle(C', A, B)
g = Segment(C, A')
h = Segment(A', B)
i = Segment(B, C')
j = Segment(C', A)
k = Segment(B', A)
l = Segment(B', C)
m = Segment(C, C')
n = Segment(A, A')
p = Segment(B', B)
S = Intersect(p, n)
f = Line(C, Rotate[B, Angle[S, C, A], C])
q = Line(B, Rotate[C, Angle[S, B, A], B])
R = Intersect(f, q)
α = Angle(A, C, S)
β = Angle(R, C, B)
r = Line(A, R)
s = OrthogonalLine(R, ab)
t = OrthogonalLine(R, bc)
a = OrthogonalLine(R, ac)
D = Intersect(ab, s)
E = Intersect(ac, a)
F = Intersect(bc, t)
t1, e_1, f_1, d_1 = Polygon(F, D, E)
b = Segment(R, E)
g_1 = Segment(R, D)
h_1 = Segment(R, F)
o = false