5. Каноническая форма рациональных выражений

Определения и обозначения

Рациональное выражение — выражение, составленное из чисел и переменных с помощью сложения, вычитания, умножения, деления и возведения в целую степень. Например, (x² − 1)/(x + 2) и 3a² − 1/a — рациональные выражения. Это общее понятие для записей, которые затем можно преобразовать в дробь.

Рациональная дробь — отношение двух многочленов, причём знаменатель не является нулевым многочленом. Многочленом называют сумму одночленов с неотрицательными целыми степенями переменных. Такое определение помогает отделить допустимую дробь от записи, у которой знаменатель тождественно равен нулю.

Взаимно простые многочлены — многочлены, не имеющие общего нетривиального множителя. Нетривиальный множитель отличается от постоянного ненулевого множителя, который лишь меняет масштаб записи. Это свойство показывает, что дальнейшее сокращение дроби невозможно.

Каноническая форма рационального выражения — дробь с взаимно простыми многочленами в числителе и знаменателе. При необходимости знаменатель дополнительно нормируют: его старший коэффициент делают равным 1, умножая числитель и знаменатель на одно и то же число. Такая запись позволяет однозначно сравнивать рациональные выражения.

Как это устроено

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

Разложение многочленов на множители показывает, какие части числителя и знаменателя совпадают. Если один и тот же множитель A не равен нулю, то A/B · A/C можно заменить на B/C, поэтому общий множитель сокращается. После этого остаются взаимно простые многочлены и исчезает возможность дальнейшего сокращения.

Ограничения нужно записывать до сокращения, потому что исходная дробь могла не существовать при некоторых значениях переменной. Например, множитель x + 3 можно сократить, но значение x = −3 всё равно запрещено: в исходном знаменателе он обращался в ноль. Сокращённая запись сама по себе не содержит всей информации об области допустимых значений.

Нормировка знаменателя нужна для устранения различий вроде P(x)/(−2Q(x)) и −P(x)/(2Q(x)). Числитель и знаменатель умножают на один и тот же ненулевой коэффициент, чтобы старший коэффициент знаменателя стал 1. Тогда после сокращения одна и та же рациональная дробь получает единственную стандартную запись.

Если два выражения имеют одинаковую каноническую форму и одинаковые допустимые значения, они дают один и тот же результат. Если канонические формы различаются, тождественного равенства нет, кроме отдельных совпадений при некоторых значениях переменной. Поэтому каноническая форма является удобным критерием тождественного равенства рациональных выражений.

Признаки канонической формы рационального выражения

Пользуйтесь таблицей как последовательным списком проверки после преобразований. Сначала убедитесь, что получены многочлены, затем проверьте множители и нормировку знаменателя. В конце сопоставьте область допустимых значений с исходной записью.

Разбор задач

Задача 1. Привести к канонической форме выражение (x² − 9)/(x² + 3x) и указать область допустимых значений. Сначала найдём значения, запрещённые исходным знаменателем. Затем выполним разложение и сокращение.

1. x² + 3x = x(x + 3), поэтому x ≠ 0 и x ≠ −3.
2. x² − 9 = (x − 3)(x + 3).
3. (x − 3)(x + 3)/(x(x + 3)) = (x − 3)/x, но ограничения сохраняются.

Ответ: каноническая форма — (x − 3)/x; ОДЗ: x ≠ 0, x ≠ −3.

Задача 2. Привести к канонической форме дробь (6x² − 24)/(3x² − 3x). Общие числовые множители сначала выносим за скобки, чтобы увидеть структуру многочленов. После сокращения проверяем, что знаменатель нормирован.

1. 6x² − 24 = 6(x − 2)(x + 2), а 3x² − 3x = 3x(x − 1).
2. Сокращаем общий множитель 3 и получаем 2(x − 2)(x + 2)/(x(x − 1)).
3. Общих множителей больше нет, старший коэффициент знаменателя равен 1; ограничения: x ≠ 0, x ≠ 1.

Ответ: 2(x − 2)(x + 2)/(x(x − 1)), x ≠ 0, 1.

Задача 3. Рассмотрим выражение (1/(x − 1) − 1/(x + 1))/(2/(x² − 1)). Здесь ограничения нужно определить до преобразований, поскольку присутствуют несколько знаменателей и деление на дробь. Только после этого можно упростить запись.

1. Из знаменателей получаем x ≠ 1 и x ≠ −1.
2. 1/(x − 1) − 1/(x + 1) = ((x + 1) − (x − 1))/(x² − 1) = 2/(x² − 1).
3. Деление на 2/(x² − 1) даёт 1. Дополнительного запрета не возникает, потому что числитель делителя равен 2 и не обращается в ноль.

Ответ: каноническая форма — 1; ОДЗ: x ≠ 1 и x ≠ −1. Число 1 является многочленом и записывается как дробь 1/1.

Типичные ошибки

Сокращение слагаемых. Нельзя удалить одинаковые части, соединённые сложением или вычитанием: сокращаются только множители. Ошибку предотвращает разложение всей суммы на множители и проверка обратным умножением.

Потеря ограничений. После сокращения знаменатель выглядит проще, поэтому запрещённое значение легко забыть. Записывайте ОДЗ до преобразований и переносите её в ответ.

Незавершённое сокращение. Дробь считают канонической сразу после первого сокращения, хотя общий множитель может остаться. Разложите оба многочлена на множители и сравните их множители.

Изменение знака только в одной части. Если знак меняют лишь у числителя или лишь у знаменателя, значение дроби меняется на противоположное. Знак можно перенести только одновременно в числитель и знаменатель либо вынести один минус перед всей дробью.

Связь с другими темами

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

Что запомнить

• Рациональное выражение можно представить как отношение двух многочленов.
• Каноническая форма не содержит общих нетривиальных множителей у числителя и знаменателя.
• Общие множители сокращают только после разложения на множители.
• Ограничения исходного выражения нельзя восстанавливать по сокращённой дроби — их нужно записывать заранее.
• Знаменатель канонической формы нормируют по старшему коэффициенту.
• Каноническая форма позволяет однозначно сравнивать рациональные выражения.