В неявном виде (как тождество двух форм представления общей суммы углов всех граней) эта формула была доказана Декартом около 1630 г. Содержание утерянной статьи Декарта известно из копии, сделанной Лейбницем в 1676 г. и найденной среди его бумаг в 1860 г. Эйлер независимо открыл формулу в 1752 г. – Прим. науч. ред.
