Я то же самое считал. Сумма корней равна 0, если найдётся делитель d, что все корни представляются в виде фактор множества по подгруппе корней степени d:
. Всего таких подмножеств содержащих заданное множество есть количество подмножеств фактормножества, содержащих заданный элемент, т.е.
вычитываем отсюда полное (содержащее все элементы) множество и получаем вышеуказанную формулу. Однако, я здесь упустил подмножества которые являются непересекающимся объединением разных классов фактор элементов по разным d и не сводятся к подмножеству классов по оединому d. Поэтому моя формула является оценкой снизу, дающей точное значение когда k является степенью простого числа или произведением двух простых чисел.