Добавлю опять банальность, но когда стоит задача для произвольного
(здесь наибольшей степени многочленов), есть часто смысл прикинуть, что с ней выходит для небольших
.
. Тут возможны все комбинации, имеет ли каждый из
бесконечное количество корней или не имеет, и зависимость простая:
. Будем дальше вырожденные случаи опускать.
. Допустим,
, а
не обязательно. Пусть
,
. Корень
,
, не выражается через только
и
: если домножить
на разные числа,
останутся такими же как были, но
изменится. Более того, если
,
вообще дают нам любой линейный многочлен.
И не успели мы дойти до
как получили общий и пессимистичный результат: восстановить корни суммы по одним только корням слагаемых нельзя, потому что можно получить много разных многочленов, беря исходные слагаемые с другими весами (от чего их корни никак не поменяются), которые не будут кратными друг другу в общем случае; и кроме того нетрудно иметь ситуацию, когда мы можем получить вообще любой многочлен (но тут для общего случая придётся попыхтеть с доказательством; а меня и текущий слабый результат удовлетворяет).
P. S. То есть понятно, что велосипеды строить не нужно, но нырнуть в поисках дна всегда стоит. Вот тут оно оказалось (для исходной формулировки про корни, а не про коэффициенты) неожиданно близко, а вместо этого ждать какую-то несуществующую литературу было бы плохой стратегией.