Trisectrices interiores

Triángulo

polígono1, c, a, b = Polygon(A, B, C)
D = Point(c)
E = Point(c)
F = Point(a)
G = Point(a)
H = Point(b)
I = Point(b)
d = Line(D, E)
e = Line(F, G)
f = Line(I, H)
A' = Intersect(f, d)
B' = Intersect(e, d)
C' = Intersect(f, e)
α = Angle(C', A', B')
β = Angle(A', B', C')
γ = Angle(B', C', A')
C'' = Rotate(C', α / 3.0, A')
g = Ray(A', C'')
J = Intersect(a, g)
C''' = Mirror(C'', b)
h = Ray(A', C''')
J' = Intersect(a, h)
JJ = If(Defined[J], J, J')
i = Segment(A', JJ)
A'' = Rotate(A', β / 3.0, B')
j = Ray(B, A'')
K = Intersect(b, j)
A''' = Mirror(A'', c)
k = Ray(B, A''')
K' = Intersect(b, k)
KK = If(Defined[K], K, K')
l = Segment(B', KK)
m = AngularBisector(JJ, A', B')
B'' = Rotate(B', γ / 3.0, C')
p = Ray(C, B'')
N = Intersect(c, p)
B''' = Mirror(B'', a)
q = Ray(C, B''')
N' = Intersect(c, q)
NN = If(Defined[N], N, N')
r = Segment(C', NN)
n = AngularBisector(KK, B', C')
t = AngularBisector(NN, C', A')
Q = Intersect(m, a)
R = Intersect(t, c)
S = Intersect(n, b)
s = Segment(A, Q)
a_1 = Segment(C, R)
b_1 = Segment(B, S)