Я то же самое считал. Сумма корней равна 0, если найдётся делитель d, что все корни представляются в виде фактор множества по подгруппе корней степени d:
![$x_kexp(\frac{2\pi ji}{d}), j=0,1,...,d-1$ $x_kexp(\frac{2\pi ji}{d}), j=0,1,...,d-1$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190d501257903e47f0b2fe03a5be934982.png)
. Всего таких подмножеств содержащих заданное множество есть количество подмножеств фактормножества, содержащих заданный элемент, т.е.
![$2^{k/d-1}$ $2^{k/d-1}$](https://dxdy-01.korotkov.co.uk/f/4/c/6/4c64daf265ab834768c11545ffb3fa8d82.png)
вычитываем отсюда полное (содержащее все элементы) множество и получаем вышеуказанную формулу. Однако, я здесь упустил подмножества которые являются непересекающимся объединением разных классов фактор элементов по разным d и не сводятся к подмножеству классов по оединому d. Поэтому моя формула является оценкой снизу, дающей точное значение когда k является степенью простого числа или произведением двух простых чисел.