D = (-1.8666666666666667, 3.2)
F = (1.3666666666666667, 1.4666666666666666)
a = Line(D, F)
φ_1 = 0.6981317007977318 rad
Hi = Rotate(D, φ_1, F)
φ = Angle(D, F, Hi)
b = Line(F, Hi)
c = OrthogonalLine(D, a)
A = Intersect(c, b)
E = Point(b)
d = OrthogonalLine(E, b)
C = Intersect(c, d)
B = Intersect(d, a)
P, c_1, a_1, b_1 = Polygon(A, B, C)
γ = Angle(E, C, A)
ζ = Angle(A, D, F)
δ = Angle(C, E, F)
ε = Angle(B, A, F)