Раскрыть и упростить:
Получим квадрат, считая пары индексов, а не перемножая 16 слагаемых. В коэффициент при равен числу упорядоченных пар , для которых и . Посчитаем: при — пара, при — , при — , при — (а именно ), при — , при — , при — .
Запишем квадрат:
Коэффициенты читаются одинаково слева направо и справа налево, что ожидаемо: квадрат палиндромного многочлена всегда тоже палиндромен.
Проверим квадрат при . Основание становится , значит, квадрат равен ; и . Любая ошибка в подсчёте пар проявилась бы здесь. (Для справки: при , так что квадрат также равен .)
Вычтем . Изменится только один коэффициент — при он уменьшится с до :
Запишем итог и проверим при . В порядке убывания степеней:
При исходное выражение даёт , а разложение — . Совпадает, значит, разложение верно.
Need to solve a different problem like this? Open the solver →