Шелковый путь олимпиада по математике 2020 года | Казахстанские олимпиады

Многочлен $Q(x) = k_n x^n + k_{n-1} x^{n-1} + \ldots + k_1 x + k_0$ с действительными коэффициентами назовём мощным, если выполнено равенство $|k_0| = |k_1| + |k_2| + \ldots + |k_{n-1}| + |k_n|$, и невозрастающим, если $k_0 \geq k_1 \geq \ldots \geq k_{n-1} \geq k_n$.
Пусть для многочлена $P(x) = a_d x^d + a_{d-1} x^{d-1} + \ldots + a_1 x + a_0$ с ненулевыми действительными коэффициентами, где $a_d > 0$, многочлен $P(x)(x-1)^t(x+1)^s$ является мощным для некоторых неотрицательных целых $s$ и $t$ ($s + t > 0$). Докажите, что хотя бы один из многочленов $P(x)$ и $(-1)^d P(-x)$ является невозрастающим.