Теорема Безу и её применения¶
Теорема Безу — утверждение алгебры многочленов, согласно которому остаток от деления многочлена \(P(x)\) на линейный двучлен \(x - a\) равен значению этого многочлена в точке \(a\), то есть \(P(a)\). Теорема названа в честь французского математика Этьена Безу (1730–1783), сформулировавшего её в работе о теории уравнений. Из неё непосредственно вытекает важный частный случай — критерий делимости многочлена на \(x - a\) без остатка: это возможно тогда и только тогда, когда \(a\) является корнем многочлена.
¶Формулировка
Пусть \(P(x)\) — многочлен произвольной степени с коэффициентами из некоторого поля (например, из поля действительных или комплексных чисел), а \(a\) — элемент этого поля. Тогда остаток \(R\) от деления \(P(x)\) на двучлен \(x - a\) вычисляется по формуле:
\[ R = P(a). \]
Иными словами, если разделить \(P(x)\) на \(x - a\), получится представление
\[ P(x) = (x - a)\,Q(x) + P(a), \]
где \(Q(x)\) — многочлен степени на единицу меньше степени \(P(x)\), называемый неполным частным.
¶Доказательство
Доказательство опирается на алгоритм деления многочленов с остатком. При делении на многочлен первой степени \(x - a\) остаток всегда является константой, поскольку его степень должна быть меньше степени делителя. Запишем тождество:
\[ P(x) = (x - a)\,Q(x) + R, \]
где \(R\) — некоторое число. Подставив в это равенство \(x = a\), получаем:
\[ P(a) = (a - a)\,Q(a) + R = 0 \cdot Q(a) + R = R. \]
Тем самым \(R = P(a)\), что и требовалось доказать. Доказательство не требует вычисления самого частного \(Q(x)\) и потому даёт простой способ находить остаток.
¶Следствия
Из теоремы Безу вытекают несколько практически значимых утверждений.
- Критерий корня. Число \(a\) является корнем многочлена \(P(x)\) тогда и только тогда, когда \(P(x)\) делится на \(x - a\) без остатка.
- Понижение степени. Если известен один корень \(a\), многочлен можно представить в виде произведения \((x - a)\,Q(x)\), что позволяет свести задачу к решению уравнения меньшей степени.
- Теорема о числе корней. Многочлен степени \(n\) над полем имеет не более \(n\) корней. Это следует из того, что каждый корень соответствует линейному множителю в разложении.
- Схема Горнера. Теорема лежит в основе практического алгоритма вычисления значения многочлена и коэффициентов частного — схемы Горнера, позволяющей выполнять деление на \(x - a\) за линейное число операций.
¶Схема Горнера
Схема Горнера — вычислительный приём, напрямую связанный с теоремой Безу. Если многочлен задан коэффициентами \(a_n, a_{n-1}, \dots, a_0\), то для вычисления \(P(a)\) и коэффициентов частного применяется последовательность операций:
\[ b_n = a_n, \quad b_{k} = a_{k} + a \cdot b_{k+1}. \]
Последнее полученное число \(b_0\) равно \(P(a)\). Промежуточные значения \(b_n, \dots, b_1\) служат коэффициентами неполного частного. Метод требует лишь сложений и умножений, что делает его удобным при ручных расчётах и в программировании.
¶Применение
Теорема Безу используется в нескольких разделах математики и её приложений.
¶Решение алгебраических уравнений
При поиске корней многочлена теорема позволяет проверять предполагаемые корни: достаточно вычислить значение многочлена в точке. Если оно равно нулю, найден корень, и многочлен можно понизить в степени делением на \(x - a\). Такой подход применяется при решении кубических и уравнений более высоких степеней, особенно когда один из корней удаётся угадать среди делителей свободного члена (для многочленов с целыми коэффициентами).
¶Разложение на множители
Теорема даёт теоретическую основу для разложения многочленов на линейные множители. Над полем комплексных чисел любой многочлен степени \(n\) раскладывается в произведение \(n\) линейных множителей (основная теорема алгебры), и теорема Безу связывает каждый такой множитель с соответствующим корнем.
¶Интерполяция
Родственные идеи лежат в основе интерполяционных формул, в частности интерполяционного многочлена Лагранжа: построение многочлена, принимающего заданные значения в наборах точек, опирается на свойства делимости на \(x - x_i\).
¶Вычислительная математика
В численных методах схема Горнера применяется для устойчивого и быстрого вычисления значений многочленов, что важно при работе с приближёнными вычислениями и в компьютерной алгебре.
¶Связь с другими результатами
Теорема Безу тесно связана с теоремой о делении с остатком для многочленов и является её частным случаем для делителя первой степени. Она также перекликается с понятием кратности корня: если \(P(x)\) делится на \((x - a)^k\), но не делится на \((x - a)^{k+1}\), то \(a\) — корень кратности \(k\). Для проверки кратности применяют производные и условия обращения в нуль значения многочлена и его производных в точке.
Отдельно следует отличать теорему Безу от теоремы Безу — Кантора, относящейся к теории множеств и касающейся мощности множеств, а также от других результатов, носящих имя Безу, что иногда вызывает путаницу.
¶Значение
Теорема Безу относится к базовым результатам элементарной и высшей алгебры. Несмотря на простоту формулировки, она служит рабочим инструментом при решении уравнений, разложении многочленов и в вычислительных алгоритмах. Её изучение входит в стандартные курсы алгебры средней и высшей школы, а схема Горнера, основанная на этой теореме, широко применяется в программировании и инженерных расчётах.
Источники: учебники по алгебре для средней школы; курсы высшей алгебры; справочники по вычислительной математике; материалы по истории математики.