AMKbook.Net Задачи должны иметь решение

Задача №2458

Условие

Доказать, что при любых целых \(\displaystyle{m}\), \(\displaystyle{n}\), \(\displaystyle{p}\) многочлен \(\displaystyle{x^{3m}+x^{3n+1}+x^{3p+2}}\) нацело делится на \(\displaystyle{x^2+x+1}\).

Решение

Сразу хотелось бы отметить, что числа \(\displaystyle{m}\), \(\displaystyle{n}\), \(\displaystyle{p}\) не могут быть совсем уж любыми целыми. Степени переменной \(\displaystyle{x}\) должны быть неотрицательными, ведь речь идёт о многочлене, поэтому ни один из упомянутых параметров не может быть меньше нуля. Для краткости обозначим

\[ P(x) =x^{3m}+x^{3n+1}+x^{3p+2} \]

Решать эту задачу можно по-разному. Для начала, сугубо для наглядности, рассмотрим вариант с непосредственным нахождением корней квадратного трёхчлена \(\displaystyle{x^2+x+1}\), не привлекая никаких дополнительных свойств. Решая соответствующее квадратное уравнение мы получим, что \(\displaystyle{x_1=-\frac{1}{2}+\frac{\sqrt{3}}{2}i}\) и \(\displaystyle{x_2=-\frac{1}{2}-\frac{\sqrt{3}}{2}i}\). Или в тригонометрической форме

\[ \begin{aligned} & x_1 = \cos\frac{2\pi}{3}+i\sin\frac{2\pi}{3};\\ & x_2 = \cos\left(-\frac{2\pi}{3}\right)+i\sin\left(-\frac{2\pi}{3}\right). \end{aligned} \]

Тогда при любом целом \(\displaystyle{k}\) имеем

\[ x_{1}^{3k} =\cos\left(\frac{2\pi}{3}\cdot{3k}\right)+i\sin\left(\frac{2\pi}{3}\cdot{3k}\right) =\cos{2\pi{k}} + i\sin{2\pi{k}} =1 \]

Аналогично и \(\displaystyle{x_{2}^{3k}=1}\). Кроме того, помним, что \(\displaystyle{x_1}\) и \(\displaystyle{x_2}\) – корни квадратного трёхчлена \(\displaystyle{x^2+x+1}\), т.е. \(\displaystyle{x_{1}^{2}+x_1+1=0}\) и \(\displaystyle{x_{2}^{2}+x_2+1=0}\).

Вернёмся к исходному многочлену \(\displaystyle{P(x)}\) и покажем, что \(\displaystyle{x_1}\) – корень данного многочлена:

\[ P(x_1) =x_{1}^{3m}+x_{1}^{3n+1}+x_{1}^{3p+2} =x_{1}^{3m}+x_1\cdot{x}_{1}^{3n}+x_{1}^{2}\cdot{x}_{1}^{3p} =x_{1}^{2}+x_1+1 =0 \]

Аналогично имеем \(\displaystyle{P(x_2)=0}\). Так как \(\displaystyle{x_1}\) и \(\displaystyle{x_2}\) – корни многочлена \(\displaystyle{P(x)}\), то многочлен \(\displaystyle{P(x)}\) можно представить в такой форме:

\[ P(x) =(x-x_1)(x-x_2)Q(x) =\left(x^2+x+1\right)Q(x) \]

Следовательно, многочлен \(\displaystyle{P(x)}\) нацело делится на \(\displaystyle{x^2+x+1}\).

Записанное выше решение, пусть и формально верное, приведено мною больше с целью наглядности. В данной задаче вовсе не обязательно было находить конкретные значения корней квадратного уравнения. Достаточно лишь обосновать, что эти корни, возведённые в третью степень, равны 1.

Для такого обоснования рассмотрим уравнение \(\displaystyle{x^3-1=0}\), решениями которого являются три корня кубических из единицы: \(\displaystyle{x_0}\), \(\displaystyle{x_1}\) и \(\displaystyle{x_2}\), т.е. для любого из этих чисел имеем \(\displaystyle{x_{i}^{3}=1}\).

\[ x^3-1=0 \Leftrightarrow (x-1)\left(x^2+x+1\right)=0 \Leftrightarrow \left[\begin{aligned} & x=1;\\ & x^2+x+1=0. \end{aligned}\right. \]

Таким образом, \(\displaystyle{x_0=1}\), а \(\displaystyle{x_1}\) и \(\displaystyle{x_2}\) – это корни квадратного трёхчлена \(\displaystyle{x^2+x+1}\). При этом для них сохраняется свойство \(\displaystyle{x_{i}^{3}=1}\), т.е. \(\displaystyle{x_{1}^{3}=1}\) и \(\displaystyle{x_{2}^{3}=1}\). А это, в свою очередь, означает, что подставляя любой из этих корней (например, \(\displaystyle{x_1}\)) в многочлен \(\displaystyle{P(x)}\), будем иметь

\[ P(x_1) =x_{1}^{3m}+x_{1}^{3n+1}+x_{1}^{3p+2} =\left(x_{1}^{3}\right)^m+x_1\cdot\left(x_{1}^{3}\right)^{n}+x_{1}^{2}\cdot\left(x_{1}^{3}\right)^{p} =x_{1}^{2}+x_1+1 =0 \]

Кстати, проверять, что \(\displaystyle{P(x_2)=0}\), вовсе не обязательно (хоть это и легко сделать). Дело в том, что \(\displaystyle{x_1}\) и \(\displaystyle{x_2}\) являются комплексно-сопряжёнными числами. А так как многочлен \(\displaystyle{P(x)}\) имеет действительные коэффициенты и \(\displaystyle{x_1}\) – его корень, то сопряжённое число \(\displaystyle{x_2}\) также будет его корнем.

Ответ:

Утверждение доказано.

Источники задачи

Задачник №2Кудрявцев "Сборник задач по математическому анализу" (том №1)
Параграф №6Многочлены. Алгебраические уравнения. Рациональные дроби
Задача №14