Conjecture de Kevin : La somme vaut 180

A = (6.82, -1.8)
B = (10.02, -0.24)
c_2 = Circle(A, B)
C = Point(c_2)
D = Point(c_2)
E = Point(c_2)
poly1, c_1, d, e, b = Polygon(C, D, E, B)
a = Angle(C, B, E)
β = Angle(B, E, D)
c = Angle(E, D, C)
δ = Angle(D, C, B)
texte1: "angle = " + a + ""
texte2: "angle opposé = " + c + ""
α: a + c
texte5: "Démonstration : " + a + "+" + c + "= " + α + ""
texte6: "Démonstration : " + a + "+" + c + "= " + α + ""