Theoreme de Morley
Author: Yvan Monka
Date: 27/11/2005

A = (7.933333333333334, 9.133333333333333)
C = (13.833333333333334, -4.166666666666667)
B = (-3.5, -3.3)
P_1, c, a, b = Polygon(A, C, B)
α = Angle(A, C, B)
β: α / 3
D = Rotate(A, β, C)
γ = Angle(A, C, D)
d = Ray(C, D)
E = Rotate(D, β, C)
δ = Angle(D, C, E)
e = Ray(C, E)
ε = Angle(B, A, C)
ζ = Angle(A, B, C)
F = Rotate(B, ε / 3, A)
η = Angle(B, A, F)
f = Ray(A, F)
G = Rotate(F, ε / 3, A)
θ = Angle(F, A, G)
g = Ray(A, G)
H = Rotate(A, (-ζ) / 3, B)
ι = Angle(H, B, A)
h = Ray(B, H)
I = Rotate(H, (-ζ) / 3, B)
κ = Angle(I, B, H)
i = Ray(B, I)
N = Intersect(e, i)
M = Intersect(f, h)
P = Intersect(g, d)
Q, k, l, j = Polygon(P, N, M)