Teorema do Ângulo Externo
Author: OBMEP_ SRG

A: (-2, 0)
B = (1.24, 5.64)
C: (9, 0)
pol1, c, a, b = Polygon(A, B, C)
D: (11, 0)
d = Segment(C, D)
α = Angle(C, A, B)
β = Angle(A, B, C)
λ = Angle(D, C, B)
s = Sum({α, β})
γ = Angle(B, C, A)