Soma das amplitudes dos ângulos externos de um polígono convexo