«Квант» — научно-популярный физико-математический журнал (издаётся с 1970 года)
Старый сайт журнала: kvant.ras.ru

Задача М806

Условие задачи (1983, № 6) Задача М806 // Квант. — 1983. — № 6. — Стр. 43; 1983. — № 9. — Стр. 42—43.

  1. Докажите, что если $$ a_1+\dfrac{a_2}{2}+\dfrac{a_3}{3}+\ldots+\dfrac{a_n}{n}=0, $$ то многочлен $a_nx^{n-1}+a_{n-1}x^{n-2}+\ldots+a_2x+a_1$‍‍ имеет корень между 0 и 1.
  2. Докажите, что если для некоторого $p\gt0$‍‍ $$ \dfrac{a_1}{p+1}+\dfrac{a_2}{p+2}+\dfrac{a_3}{p+3}+\ldots+\dfrac{a_n}{p+n}=0, $$ то этот многочлен также имеет корень между 0 и 1.

А. Гохберг, ученик 10 класса, (Донецк), М. Овецкий, ученик 10 класса (Донецк)


Решение задачи (1983, № 9) Задача М806 // Квант. — 1983. — № 6. — Стр. 43; 1983. — № 9. — Стр. 42—43.

Докажем сначала такое утверждение: если дифференцируемая функция $f(x)$‍‍ обращается в ноль в точках $x=0$‍‍ и $x=1$‍,‍ то её производная должна обратиться в ноль в некоторой внутренней точке отрезка $[0; 1]$‍.

Это очевидно, если функция $f(x)$‍‍ тождественно равна 0 на отрезке $[0; 1]$‍.‍ В противном случае рассмотрим точки, в которых она принимает своё наибольшее и наименьшее значения на этом отрезке. (Такие точки существуют по теореме Вейерштрасса — см. учебник «Алгебра и начала анализа 9‍—‍10», п. 28 — ибо функция $f(x)$‍,‍ будучи дифференцируемой, непрерывна.) Одно из этих значений должно быть отлично от нуля и, следовательно, принимается в точке $x_0$‍,‍ лежащей внутри отрезка $[0; 1]$‍.‍ Таким образом, $x_0$‍‍ — точка экстремума функции $f(x)$‍‍ на интервале $(0; 1)$‍,‍ и по теореме Ферма («Алгебра и начала анализа 9‍—‍10», п. 26) $f'(x_0)=0$‍.

Воспользуемся доказанным утверждением для решения задачи.

а) Рассмотрим функцию $$ f(x)=a_1x+\dfrac{a_2}{2}x^2+\ldots+\dfrac{a_n}{n}x^n. $$ По условию $$f(1)=a_1+\dfrac{a_2}{2}+\ldots+\dfrac{a_n}{n}=0, $$ кроме того, $f(0)=0$‍.‍ Согласно доказанному утверждению $f'(x_0)=0$‍‍ при некотором $x_0$‍‍ из интервала $(0; 1)$‍.‍ Остаётся заметить, что $$ f'(x)=a_1+a_2x+\ldots+a_nx^{n-1}. $$

б) Доказательство такое же, как в п. а), с той разницей, что вместо функции $f(x)$‍‍ надо взять $$ g(x)=\dfrac{a_1}{p+1}x^{p+1}+\dfrac{a_2}{p+2}x^{p+2}+\ldots+\dfrac{a_n}{p+n}x^{p+n} $$ и учесть, что в равенстве $$ g'(x_0)=x_0^p\bigl(a_1+a_2x_0+\ldots+a_nx_0^{n-1}\bigr)=0 $$ множитель $x_0^p$‍‍ ненулевой.

А. Гохберг, М. Овецкий


Метаданные Задача М806 // Квант. — 1983. — № 6. — Стр. 43; 1983. — № 9. — Стр. 42—43.

Предмет
Математика
Условие
,
Решение
,
Номера

1983. — № 6. — Стр.  [условие]

1983. — № 9. — Стр.  [решение]

Описание
Задача М806 // Квант. — 1983. — № 6. — Стр. 43; 1983. — № 9. — Стр. 42‍—‍43.
Ссылка
https://www.kvant.digital/problems/m806/