SOMME DES ANGLES DANS UN TRIANGLE

La droite (d1) est parallèle à la droite (BC)

A = (1.825056463672458, 4.0058010622389535)
B = (-0.41113185169906546, 1.1307017996184185)
C = (5.658522147166502, 0.3520290826586908)
poly1, c, a, b = Polygon(A, B, C)
d1 = Line(A, a)
BCA = Angle(A, C, B)
BAC = Angle(B, A, C)
CBA = Angle(C, B, A)
D = Point(d1)
E = Point(d1)
CAE = Angle(C, A, E)
DAB = Angle(D, A, B)
sommeABC: Angle[C, B, A] + Angle[C, A, E] + Angle[B, A, C]
d2 = Line(B, C)