Gauss había deducido la fórmula que da la suma de "n" términos de una progresión aritmética de la que se conocen el primero y el último término: