Теорема о рациональных корнях (англ. Rational Root Theorem), также известная как теорема Гаусса или теорема о рациональных нулях, является важным результатом алгебры, позволяющим находить возможные рациональные корни многочленов с целыми коэффициентами.
Впервые явно сформулирована Карлом Фридрихом Гауссом (1777–1855) в его работе «Disquisitiones Arithmeticae» (1801), где он исследовал свойства многочленов и их корней.
Однако идеи, лежащие в основе теоремы, встречаются ещё у Рене Декарта (1596–1650) в его «Правилах для руководства ума» (1628) и «Геометрии» (1637), где он рассматривал связь между делителями свободного члена и корнями уравнения.
В более ранней форме аналогичные рассуждения можно найти у Франсуа Виета (1540–1603), который изучал связь коэффициентов и корней уравнений.
В XIX веке теорема стала стандартным инструментом в теории уравнений благодаря работам Огюстена Луи Коши, Нильса Абеля и Эвариста Галуа.
📊 Теорема Гаусса: Поиск рациональных корней
📝 Что говорит теорема?
Если многочлен с целыми коэффициентами \(P(x) = a_nx^n + a_{n-1}x^{n-1} + … + a_1x + a_0\) имеет рациональный корень \(\frac{p}{q}\) (дробь несократима), то:
\(q\) делит старший коэффициент \(a_n\)
Теорема также известна как теорема о рациональных корнях или теорема Гаусса.
🔍 Алгоритм применения теоремы
Шаг 1: Коэффициенты целые: \(a_n = 2\), \(a_0 = 3\).
Шаг 2-3: Составляем таблицу делителей:
| Что ищем | Значение | Делители |
|---|---|---|
| \(p\) (делит \(a_0=3\)) | \(\pm 1, \pm 3\) | 1, -1, 3, -3 |
| \(q\) (делит \(a_n=2\)) | \(\pm 1, \pm 2\) | 1, -1, 2, -2 |
Шаг 4: Возможные корни \(\frac{p}{q}\):
Шаг 5: Проверяем (используем схему Горнера или прямую подстановку):
| Кандидат \(x\) | \(P(x)\) | Результат |
|---|---|---|
| 1 | \(2+3-8+3\) | ✅ 0 (корень) |
| \(\frac{1}{2}\) | \(0.25+0.75-4+3\) | ✅ 0 (корень) |
| -3 | \(-54+27+24+3\) | ✅ 0 (корень) |
| \(-\frac{1}{2}\) | \(-0.25+0.75+4+3\) | ❌ 7.5 |
Особенность: Если свободный член \(a_0 = 0\), то \(x = 0\) — всегда корень!
Решение:
- Выносим \(x^2\): \(P(x) = x^2(x^2 — 3x + 2)\)
- Корень \(x = 0\) имеет кратность 2
- Ищем корни квадратного трехчлена \(x^2 — 3x + 2\):
\(x^2 — 3x + 2 = (x-1)(x-2)\)
Все рациональные корни:
| Корень | Кратность | Как найден |
|---|---|---|
| 0 | 2 | Из-за \(a_0 = 0\) |
| 1 | 1 | Делитель свободного члена (2) |
| 2 | 1 | Делитель свободного члена (2) |
Важное следствие: Если \(a_n = 1\), то все рациональные корни — целые!
Решение:
| Этап | Действие | Результат |
|---|---|---|
| 1 | \(a_n = 1\), значит \(q = \pm 1\) | Корни могут быть только целыми |
| 2 | \(a_0 = 6\), делители: \(\pm1, \pm2, \pm3, \pm6\) | Кандидаты: \(1, -1, 2, -2, 3, -3, 6, -6\) |
| 3 | Проверка подстановкой |
\(P(1) = 1 — 7 + 6 = 0\) ✅ \(P(2) = 8 — 14 + 6 = 0\) ✅ \(P(-3) = -27 + 21 + 6 = 0\) ✅ |
| 4 | Разложение на множители | \((x-1)(x-2)(x+3)\) |
Важно: Теорема дает только возможных кандидатов. Их отсутствие не означает, что корней нет вовсе — они могут быть иррациональными или комплексными.
Решение:
| Этап | Кандидаты | Проверка | Результат |
|---|---|---|---|
| 1 | \(a_n = 1\), \(a_0 = 1\) | Делители: \(\pm1\) | Кандидаты: \(1, -1\) |
| 2 | \(x = 1\) | \(1 — 2 + 1 = 0\) | ✅ Это корень! |
| 3 | Деление на \((x-1)\) | \(x^3 — 2x + 1 = (x-1)(x^2+x-1)\) | Квадратный множитель |
| 4 | Корни \(x^2+x-1=0\) | \(x = \frac{-1\pm\sqrt{5}}{2}\) | ❌ Иррациональные |
Вывод: Только один рациональный корень, остальные — иррациональные.
Условие: Производство остановится, когда \(V(t) = 0\). Найдем рациональные корни.
Решение с таблицей:
| Параметр | Значение | Пояснение |
|---|---|---|
| \(a_n\) | 1 | Корни целые |
| \(a_0\) | -6 | Делители: \(\pm1, \pm2, \pm3, \pm6\) |
| Кандидаты | \(1, -1, 2, -2, 3, -3, 6, -6\) | Только положительные \(t\) имеют смысл |
Проверка положительных кандидатов:
| \(t\) (время) | \(V(t)\) | Производство |
|---|---|---|
| 1 | \(1-6+11-6=0\) | ✅ Остановка в момент \(t=1\) |
| 2 | \(8-24+22-6=0\) | ✅ Остановка в момент \(t=2\) |
| 3 | \(27-36+33-6=18\) | ❌ Не корень |
| 6 | \(216-216+66-6=60\) | ❌ Не корень |
Разложение: \(V(t) = (t-1)(t-2)(t-3)\) — но \(t=3\) не корень? Проверим: \(V(3)=0\) действительно! Значит все три — корни.
Метод: Если \(x = -2\) — корень, то \(P(-2) = 0\) (теорема Безу).
Решение:
Приравниваем к нулю: \(4k + 8 = 0\) → \(k = -2\)
Проверим, рационален ли корень при \(k = -2\):
| Многочлен | \(P(x) = x^3 — 2x^2 — 4x + 8\) | |
|---|---|---|
| Кандидаты | \(\frac{p}{q}\): \(p|8\), \(q|1\) | \(\pm1, \pm2, \pm4, \pm8\) |
| Проверка | \(P(-2)=0\), \(P(2)=0\), \(P(4)\neq0\) | Корни: \(x=-2, x=2\) |
Введите свой многочлен
Быстрые примеры:
Как использовать теорему на практике
Убедитесь, что все коэффициенты - целые числа. Если нет, умножьте многочлен на подходящее число.
Это будут все возможные числители (p) рациональных корней.
Это будут все возможные знаменатели (q) рациональных корней.
Учитывайте как положительные, так и отрицательные варианты. Упрощайте дроби, если это возможно.
Используйте схему Горнера для эффективной проверки.
Разделите многочлен на (x - корень) и продолжайте поиск оставшихся корней.
Почему это работает?
Теорема о рациональных корнях основана на свойствах целых чисел и алгебраических уравнений. Если p/q - корень многочлена, то при подстановке в уравнение мы получим:
aₙ(p/q)ⁿ + aₙ₋₁(p/q)ⁿ⁻¹ + ... + a₁(p/q) + a₀ = 0
Умножив обе части на qⁿ, мы получим уравнение с целыми коэффициентами, из которого следует, что p должно делить a₀, а q должно делить aₙ.
Примеры применения
Важные замечания
- Не все кандидаты — корни! Теорема даёт только возможные варианты.
- Если an=1, все рациональные корни — целые.
- Если корень p/q найден, можно разложить многочлен на множители.
- Если корней нет среди рациональных чисел, то они иррациональные или комплексные.
Практическое значение
Теорема широко применяется в:
- алгебре — для поиска корней многочленов,
- теории чисел — в задачах диофантова анализа,
- компьютерной алгебре — в алгоритмах факторизации многочленов.