O número de diagonais de um polígono convexo de lados e dado por . Se o polígono possui 9 diagonais, seu número de lados é