Что такое уравнения, приводящиеся к однородным, и как их решать?
Уравнение, приводящееся к однородному, имеет вид y′ = f((a₁x + b₁y + c₁)/(a₂x + b₂y + c₂)), где свободные члены c₁ и c₂ не равны нулю одновременно. Если прямые в числителе и знаменателе пересекаются в точке (x₀; y₀), перенеси туда начало координат: x = ξ + x₀, y = η + y₀. Получится обычное однородное ОДУ первого порядка. Если прямые параллельны, помогает замена z = a₁x + b₁y: переменные разделяются.
Почему замена y = ux не работает, когда в дроби появились числа?
Знакомая картина: однородные уравнения ты решаешь уверенно, а потом в задачнике встречаешь дробь вроде (x + y − 3)/(x − y − 1). Тип будто тот же, и рука сама пишет y = ux. Подставляешь, и вместо аккуратной функции от u получаешь выражения, где остались и x, и число три. Переменные не разделяются, и кажется, что ты ошибся в вычислениях. На самом деле ошибки нет: просто уравнение не однородное.
Дело в свободных членах. Однородность означает, что при замене x на tx и y на ty правая часть не меняется. Прямая x + y − 3 = 0 не проходит через начало координат, и масштабирование её ломает: числитель превращается в tx + ty − 3, а это уже не число t, умноженное на исходный числитель. Пока чисел без x и y нет, всё работает. Как только они появились, уравнение сначала нужно привести к однородному.
Хорошая новость в том, что приводится оно всегда одним из двух способов, а выбор зависит от одной короткой проверки. Если ты помнишь метод для однородных уравнений, здесь добавляется только один шаг в самом начале. Всё остальное решение полностью совпадает с тем, что ты уже делал на практических занятиях по дифурам, так что бояться нового типа не стоит.
В чём идея приведения: что значит перенос начала координат?
Прямая a₁x + b₁y + c₁ = 0 и прямая a₂x + b₂y + c₂ = 0 на плоскости обычно пересекаются в одной точке. Назовём её (x₀; y₀). Если сдвинуть систему координат так, чтобы новое начало оказалось в этой точке, обе прямые будут проходить через ноль, а свободные члены исчезнут. В этом геометрический смысл всего приёма, и он помогает не путаться в формулах.
Формально сдвиг записывается так: x = ξ + x₀ и y = η + y₀. Тогда dx = dξ и dy = dη, поэтому производная не меняется: dy/dx = dη/dξ. Числитель превращается в a₁ξ + b₁η, знаменатель в a₂ξ + b₂η, потому что c₁ + a₁x₀ + b₁y₀ = 0 по выбору точки. Получаем однородное уравнение: dη/dξ = f((a₁ξ + b₁η)/(a₂ξ + b₂η)). Дальше работает привычная замена η = uξ.
Что делать, если прямые не пересекаются? Тогда они параллельны, а определитель Δ = a₁b₂ − a₂b₁ равен нулю. Точки пересечения нет, сдвигать нечего, и мы попадаем во второй случай, который решается иначе. Поэтому именно определитель Δ нужно считать первым: это занимает несколько секунд и сразу показывает, по какой ветке идти.
Есть и более простой родственник этого типа: уравнение y′ = f(ax + by + c) без дроби. Здесь помогает та же идея, что и в случае параллельных прямых. Новая функция z = ax + by + c даёт z′ = a + b · f(z), и переменные разделяются. Если такое уравнение попалось на контрольной, сразу узнавай его по аргументу: под f стоит одна линейная комбинация x и y, а не дробь из двух разных прямых.
Как решать уравнения, приводящиеся к однородным, по шагам?
Алгоритм для первого случая, Δ ≠ 0. Шаг первый: вычисли Δ = a₁b₂ − a₂b₁ и убедись, что он не ноль. Шаг второй: реши систему a₁x + b₁y + c₁ = 0, a₂x + b₂y + c₂ = 0 и найди точку (x₀; y₀). Шаг третий: сделай замену x = ξ + x₀, y = η + y₀ и запиши уравнение в новых переменных. Шаг четвёртый: реши полученное однородное уравнение заменой η = uξ.
Дальше всё стандартно. Подстановка η = uξ даёт η′ = u + ξu′, а правая часть становится функцией одного u. Обозначим её g(u) = f((a₁ + b₁u)/(a₂ + b₂u)). Тогда переменные разделяются: ξu′ = g(u) − u. Интегрируешь, возвращаешься к u = η/ξ, затем к ξ = x − x₀ и η = y − y₀. Не забудь проверить корни уравнения g(u) − u = 0: каждый корень k даёт решение η = kξ, то есть прямую через точку (x₀; y₀), которая могла потеряться при делении.
Алгоритм для второго случая, Δ = 0. Тогда коэффициенты знаменателя пропорциональны коэффициентам числителя: a₂x + b₂y = k(a₁x + b₁y). Вводишь новую функцию z = a₁x + b₁y. Её производная z′ = a₁ + b₁y′ выражается через z, и уравнение превращается в уравнение с разделяющимися переменными. Решаешь его, подставляешь z обратно и записываешь ответ.
Если c₁ = c₂ = 0, уравнение уже однородное, и ничего приводить не нужно: сразу ставь y = ux. Если одна из прямых вертикальная или горизонтальная, схема не меняется, система для точки пересечения всё равно решается за секунды. Главное — не пропустить проверку определителя. Если прямые совпадают целиком, дробь равна постоянному числу k, и уравнение y′ = f(k) решается обычным интегрированием: y = f(k)x + C.
Как решить пример, где прямые пересекаются?
Возьмём уравнение: y′ = (x + y − 3)/(x − y − 1). Определитель Δ = 1 · (−1) − 1 · 1 = −2, он не ноль, значит, прямые пересекаются. Решаем систему: x + y = 3 и x − y = 1. Складываем уравнения: 2x = 4, откуда x₀ = 2, а тогда y₀ = 1. Делаем сдвиг: x = ξ + 2, y = η + 1. Свободные члены сокращаются: числитель становится ξ + η, знаменатель ξ − η.
Получаем однородное уравнение: dη/dξ = (ξ + η)/(ξ − η). Ставим η = uξ, тогда η′ = u + ξu′, а дробь превращается в (1 + u)/(1 − u). Переносим u: ξu′ = (1 + u)/(1 − u) − u = (1 + u²)/(1 − u). Разделяем переменные: (1 − u)/(1 + u²) du = dξ/ξ. Интегрируем: arctg u − ½ ln(1 + u²) = ln|ξ| + C. Потерянных решений нет: 1 + u² никогда не равно нулю, а прямая ξ = 0, то есть x = 2, уравнению не удовлетворяет.
Теперь возвращаемся к исходным переменным. Так как ½ ln(1 + u²) + ln|ξ| = ln√(ξ² + η²), получаем ответ: arctg((y − 1)/(x − 2)) = ln√((x − 2)² + (y − 1)²) + C. Проверить его удобно в полярных координатах: ответ означает θ = ln r + C, то есть dr/dθ = r. Тогда dy/dx = (cos θ + sin θ)/(cos θ − sin θ), и это в точности правая часть уравнения после сдвига.
А если прямые параллельны: как решить такой пример?
Рассмотрим уравнение: y′ = (x + y + 1)/(2x + 2y − 1). Определитель Δ = 1 · 2 − 1 · 2 = 0, прямые параллельны, и сдвиг не поможет. Знаменатель равен 2(x + y) − 1, то есть выражается через сумму x + y. Вводим z = x + y. Тогда z′ = 1 + y′, и уравнение принимает вид: z′ = 1 + (z + 1)/(2z − 1).
Приводим к общему знаменателю: z′ = (2z − 1 + z + 1)/(2z − 1) = 3z/(2z − 1). Разделяем переменные: (2z − 1)/(3z) dz = dx, то есть (2/3 − 1/(3z)) dz = dx. Интегрируем: (2/3)z − (1/3) ln|z| = x + C. Умножаем на три и переобозначаем константу: 2z − ln|z| = 3x + C₁. Остаётся вернуться к исходным переменным.
Подставляем z = x + y: 2x + 2y − ln|x + y| = 3x + C₁. Приводим подобные: 2y − x − ln|x + y| = C₁. Это общее решение в неявном виде. Отдельно проверим деление на z: прямая z = 0, то есть y = −x, тоже решение, ведь y′ = −1, а правая часть равна 1/(−1) = −1. При конечном C₁ она в формулу не входит, поэтому записываем её в ответ отдельно. Проверка дифференцированием: 2y′ − 1 − (1 + y′)/(x + y) = 0, откуда y′ = (x + y + 1)/(2x + 2y − 1).
Какие ошибки чаще всего делают в таких уравнениях?
Первая ошибка — арифметика в системе для точки пересечения. Всё дальнейшее решение тогда неверно, а заметишь ты это поздно. Есть хороший сигнал самопроверки: после сдвига в числителе и знаменателе должны остаться только слагаемые с ξ и η. Если где-то торчит число, вернись к системе. Сверить свой ход решения можно и с пошаговым калькулятором дифференциальных уравнений Prepodoff.
Вторая ошибка — забыть вернуться к исходным переменным. Ответ в ξ и η не засчитают: нужно подставить ξ = x − x₀ и η = y − y₀. Третья — пропустить случай Δ = 0 и искать точку пересечения у параллельных прямых. Система тогда не имеет решения или имеет бесконечно много, и это подсказка, что пора вводить замену z.
Четвёртая ошибка — потеря решений. При делении на ξ, на выражение 1 − u или на z можно потерять прямые вроде y = −x из второго примера. Проверяй такие значения подстановкой в исходное уравнение. Пятая — неаккуратное обращение с константой под логарифмом: если переобозначаешь C, делай это явно и коротко, без лишних преобразований, и тогда ответ совпадёт с ответом преподавателя.
Можно ли проверить решение калькулятором и не списать?
Можно, если использовать калькулятор как проверку. Калькулятор дифференциальных уравнений Prepodoff бесплатный, работает онлайн и без регистрации. Он решает пошагово, как на парах, и разбирает в том числе уравнения, приводящиеся к однородным. Сначала реши сам на бумаге, потом введи то же уравнение и сравни ход решения: нашёл ли ты ту же точку пересечения, так ли сделал замену.
Каждый ответ калькулятор проверяет подстановкой и строит график, поэтому видно, совпадает ли твоё решение с найденным. Зарегистрированные пользователи могут скачать PDF-отчёт с решением. Калькулятор есть и в Telegram-боте @prepodoff_bot: там PDF присылает бот, а решением можно поделиться с однокурсником. Преподавателю важен твой собственный ход, поэтому ответ нужен для сверки, а не для переписывания.
Что делать, если ответ не совпал? Не переписывай чужой, а найди первый шаг, где ваши записи разошлись: чаще всего это система для точки пересечения или знак при переносе. К экзамену удобно готовиться вместе с «Моим планом»: это бесплатный планировщик студента в Telegram, где ИИ-тренер составляет план подготовки и объясняет теорию, а расписание и дедлайны не теряются. Подробности на странице /bot.
