Три связанных уравнения с поиском неизвестных

Онлайн-инструмент решает три связанных уравнения с поиском неизвестных величин методом символьного вычисления. Пользователь вводит на вход систему из трёх математических равенств с переменными, после чего алгоритм выполняет аналитические преобразования и выводит точные значения искомых корней. Задача сводится к определению такого набора значений переменных, который не нарушает ни одно из заданных условий внутри единой математической модели. Расчёт подходит как для линейных систем первой степени, так и для нелинейных алгебраических конструкций.

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

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

Структура системы трёх уравнений и типы исходных параметров

Математическая модель из трёх связанных равенств опирается на строгую иерархию входных элементов. Каждое уравнение представляет собой выражение, где левая и правая части соединены знаком равенства и содержат искомые величины наряду с известными константами. Для корректной постановки задачи необходимо чётко разделять переменные, множители перед ними и независимые слагаемые.

Базовые структурные компоненты входных данных включают три категории величин:

• Искомые неизвестные - переменные величины, значения которых требуется установить в ходе расчёта. В классической записи их обозначают строчными латинскими буквами последних позиций алфавита (x, y, z) или индексированными символами (x₁, x₂, x₃).
• Коэффициенты при неизвестных - числовые или буквенные множители, стоящие непосредственно перед переменными. Они задают вес и масштаб влияния каждой неизвестной в конкретном равенстве. Если переменная записана без явного множителя, её коэффициент равен единице; если переменная в одном из трёх уравнений отсутствует, её коэффициент в этой строке равен нулю.
• Свободные члены - известные слагаемые, которые не умножаются на искомые переменные. В канонической форме записи их выносят в правую часть равенства после знака «равно», тогда как все произведения коэффициентов на переменные группируют в левой части.

Линейные и нелинейные алгебраические конструкции

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

Если во всех трёх равенствах переменные x, y и z входят исключительно в первой степени и не перемножаются друг с другом, конструкция образует СЛАУ. В каноническом виде такая структура из трёх уравнений с тремя неизвестными записывается следующим образом:

a₁x + b₁y + c₁z = d₁
a₂x + b₂y + c₂z = d₂
a₃x + b₃y + c₃z = d₃

В этой записи символы a, b, c с индексами от 1 до 3 обозначают коэффициенты при неизвестных в первой, второй и третьей строках соответственно, а d₁, d₂, d₃ выступают свободными членами.

Когда хотя бы одно из трёх равенств содержит переменную во второй и более высокой степени (например, x² или z³), произведение разных неизвестных (xy, yz), деление на переменную или нахождение неизвестной под знаком корня, вся совокупность переходит в разряд систем нелинейных уравнений. Нелинейные модели не имеют единой универсальной матрицы коэффициентов и требуют индивидуального подбора аналитических преобразований для понижения степени.

Однородные и неоднородные линейные системы

Внутри класса СЛАУ проводится дополнительное разделение по значениям правых частей равенств. Это различие напрямую влияет на структуру множества допустимых ответов.

Неоднородная СЛАУ характеризуется тем, что хотя бы один из свободных членов d₁, d₂ или d₃ отличен от нуля. Даже если два уравнения имеют нулевую правую часть, а третье равно конкретному числу, вся тройка уравнений считается неоднородной.

В однородной СЛАУ все три свободных члена одновременно равны нулю (d₁ = 0, d₂ = 0, d₃ = 0). Каноническая запись принимает вид, где левые части приравнены к нулевым значениям. Такая структура всегда допускает нулевой набор корней (x = 0, y = 0, z = 0), поскольку при подстановке нулей в левую часть любого линейного выражения без свободного члена получается тождественный ноль.

Типы коэффициентов и свободных членов

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

• Целые числа - положительные и отрицательные значения без дробной части, а также ноль. Наиболее распространённый формат в базовых алгебраических задачах.
• Обыкновенные и десятичные дроби - рациональные коэффициенты вида 3/7 или 0.25. При аналитических операциях десятичные дроби переводятся в форму обыкновенных несократимых отношений для сохранения абсолютной точности при делении.
• Действительные числа с радикалами и константами - иррациональные коэффициенты, содержащие квадратные или кубические корни, которые не извлекаются нацело, а также фундаментальные математические постоянные.
• Комплексные числа - выражения вида α + βi, содержащие вещественную часть и мнимую единицу i (где i² = -1). Такие параметры возникают в расчётах переменных электрических токов, волновой оптики и квантовой механики.
• Буквенные параметры - дополнительные символьные переменные (например, k, m, p), которые в рамках конкретной задачи считаются условно известными константами. При наличии таких параметров итоговые значения неизвестных x, y и z выводятся не в виде конкретных чисел, а в форме алгебраических формул, зависящих от заданных буквенных величин.

Символьное вычисление и равносильные алгебраические преобразования

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

Аналитический поиск неизвестных опирается на понятие равносильности. Две системы уравнений называются равносильными (эквивалентными), если множества их решений полностью совпадают - каждая тройка значений (x, y, z), удовлетворяющая исходной системе, подходит и для преобразованной, и наоборот. Чтобы перейти от сложной исходной конструкции к простым равенствам вида x = x₀, y = y₀, z = z₀ без искажения ответа, применяются строго определённые эквивалентные преобразования:

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

Классические методы исключения неизвестных

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

Способ подстановки начинается с выбора одного уравнения, в котором какую-либо переменную проще всего выразить через две остальные (в линейных задачах для этого выбирают неизвестную с коэффициентом 1 или -1). Например, из первого уравнения выводится зависимость x = f(y, z). Эта формула подставляется вместо переменной x во второе и третье уравнения. В результате исходная система третьего порядка распадается на одно явное выражение для x и замкнутую подсистему из двух уравнений с двумя неизвестными (y и z). Далее процедура повторяется: из второго уравнения выражается y через z и подставляется в третье. Третье уравнение становится функцией одной переменной z. После вычисления точного значения z происходит обратная подстановка: найденный корень возвращает значение y, а пара (y, z) определяет значение x.

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

Преобразования в нелинейных системах трёх уравнений

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

Разложение на множители используется, если одно из уравнений системы удаётся преобразовать к виду, где в правой части стоит ноль, а в левой - произведение двух или более алгебраических скобок: P(x, y, z) · Q(x, y, z) = 0. Поскольку произведение равно нулю тогда и только тогда, когда хотя бы один из сомножителей равен нулю, исходная система из трёх уравнений расщепляется на совокупность двух более простых независимых систем. В первой системе рассматривается условие P(x, y, z) = 0 вместе с двумя оставшимися уравнениями, а во второй - условие Q(x, y, z) = 0. Итоговым решением задачи становится объединение корней всех полученных подсистем.

Метод замены переменных (введение новых неизвестных) эффективен для симметрических, однородных или структурно повторяющихся систем. Если неизвестные x, y и z входят в уравнения только в виде устойчивых комбинаций - например, в форме суммы (x + y), произведения (xy), отношения (x/z) или обратных величин (1/x, 1/y, 1/z), - эти блоки обозначают новыми символами: u, v, w. Например, система с неизвестными в знаменателях вида 2/x + 3/y - 1/z = 4 при замене u = 1/x, v = 1/y, w = 1/z мгновенно сводится к стандартному линейному виду. После нахождения тройки (u, v, w) выполняется обратный переход к исходным переменным.

Учёт ОДЗ, посторонние корни и предотвращение потери решений

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

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

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

• Возведение обеих частей уравнения в чётную степень для избавления от квадратных корней - эта операция уравнивает выражения с одинаковыми модулями, но разными знаками, превращая ложное равенство вроде -3 = 3 в верное тождество 9 = 9.
• Освобождение от знаменателей путём умножения уравнения на выражение, содержащее неизвестные x, y или z, без фиксации условия, что этот множитель не равен нулю.
• Приведение подобных слагаемых, в результате которого взаимно уничтожаются радикалы или дроби, задававшие жёсткие границы ОДЗ в исходной записи.

Потеря корней - более опасная ошибка, поскольку её нельзя выявить простой проверкой оставшихся ответов. Сужение множества решений происходит при делении обеих частей уравнения на выражение, содержащее неизвестные величины. Например, если в уравнении xy + xz = 2x разделить обе части на переменную x, получится более простое равенство y + z = 2, но при этом будет полностью потеряно решение x = 0, которое обращало исходное уравнение в верное тождество 0 = 0 при любых значениях y и z. Чтобы предотвратить потерю корней, деление на выражение с переменными всегда заменяют переносом всех слагаемых в одну часть и вынесением общего множителя за скобки: x(y + z - 2) = 0. Другой источник потери решений - извлечение корня чётной степени из обеих частей уравнения без учёта модуля, когда вместо двух ветвей решения (со знаком плюс и со знаком минус) рассматривается только положительная ветвь.

Решение линейных систем методом Гаусса и Жордана-Гаусса

Для поиска неизвестных в СЛАУ из трёх уравнений способ алгебраического сложения упорядочивают в строгий вычислительный алгоритм - метод последовательного исключения неизвестных, или метод Гаусса. Вместо многократного переписывания буквенных обозначений переменных x, y и z вычисления переводят в табличную форму. Такой переход упрощает работу с коэффициентами и минимизирует арифметические ошибки при символьных и числовых расчётах.

Составление расширенной матрицы и элементарные преобразования

Первым шагом алгоритма является выписывание числовых или параметрических множителей в расширенную матрицу размерности 3x4. Левый блок 3x3 образует основную матрицу, где каждый столбец строго закреплён за одной переменной (первый - за x, второй - за y, третий - за z), а каждая строка соответствует отдельному уравнению. Четвёртый столбец отделяется вертикальной чертой и содержит свободные члены, стоящие в правых частях равенств. Если в каком-либо из трёх уравнений переменная отсутствует, на соответствующей позиции в таблице ставится ноль.

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

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

Прямой и обратный ход метода Гаусса

Классический алгоритм Гаусса разделяется на два последовательных этапа: прямой и обратный ход. Прямой ход направлен на приведение основной матрицы 3x3 к верхнетреугольному (ступенчатому) виду, когда все элементы ниже главной диагонали обращаются в нули.

На первом шаге прямого хода выбирается ведущий элемент (pivot) первой строки - коэффициент в левом верхнем углу таблицы. Если на этом месте стоит ноль, первую строку меняют местами со второй или третьей. С помощью линейных комбинаций первой строки со второй и третьей обнуляют все коэффициенты первого столбца под ведущим элементом, тем самым исключая переменную x из второго и третьего уравнений. На втором шаге ведущим становится диагональный элемент второй строки (новый коэффициент при y). Линейная комбинация второй и третьей строк позволяет обнулить коэффициент при y в нижней строке.

По завершении прямого хода расширенная матрица принимает ступенчатую структуру: в первой строке остаются три неизвестных, во второй - два (y и z), а в третьей - только одно неизвестное z. На этом начинается обратный ход - последовательное вычисление и подстановка значений снизу вверх:

• Из третьего уравнения напрямую выражается третья переменная путём деления обновлённого свободного члена на диагональный коэффициент при z.
• Найденное значение z подставляется во второе уравнение ступенчатой системы, откуда вычисляется значение переменной y.
• Известные значения y и z подставляются в первое уравнение для расчёта оставшейся переменной x.

Модификация Жордана-Гаусса и приведённая ступенчатая форма

Модификация Жордана-Гаусса устраняет необходимость выполнять обратный ход с подстановками. Вместо остановки на треугольной матрице элементарные преобразования продолжают до тех пор, пока таблица не примет диагональный вид или форму RREF.

В этом варианте алгоритма каждый ведущий элемент на главной диагонали путём деления строки приводят к единице, а нули создаются не только под ведущими элементами, но и над ними. После получения ступенчатого вида ведущий элемент третьей строки используют для обнуления коэффициентов третьего столбца во второй и первой строках (исключение переменной z из верхних уравнений), а ведущий элемент второй строки - для обнуления коэффициента при y в первой строке.

Сравнение структуры расширенной матрицы и этапов вычислений для двух алгоритмов приведено в таблице ниже.

Для наглядного сравнения рассмотрим систему трёх уравнений: x + 2y + z = 8, 2x + 5y + 3z = 20, x + 3y + 4z = 17. Составим исходную расширенную матрицу и выполним прямой ход метода Гаусса. Вычтем из второй строки удвоенную первую (R2 - 2R1), а из третьей - первую строку (R3 - R1). Первый столбец под верхним ведущим элементом обнулится. Далее из обновлённой третьей строки вычтем вторую строку (R3 - R2), что даст верхнетреугольную матрицу: первая строка [1, 2, 1 | 8], вторая строка [0, 1, 1 | 4], третья строка [0, 0, 2 | 6].

При классическом подходе запускается обратный ход: из третьей строки 2z = 6 находим z = 3; подставляем во вторую строку y + 3 = 4 и получаем y = 1; подставляем в первую строку x + 2(1) + 3 = 8 и находим x = 3. Если же применить модификацию Жордана-Гаусса к той же треугольной матрице, сначала третью строку делят на 2, получая [0, 0, 1 | 3]. Затем вычитают третью строку из второй и первой, обнуляя третий столбец над диагональю: вторая строка переходит в [0, 1, 0 | 1], а первая - в [1, 2, 0 | 5]. На последнем шаге из первой строки вычитают удвоенную вторую, что приводит матрицу к виду RREF: [1, 0, 0 | 3], [0, 1, 0 | 1], [0, 0, 1 | 3]. Столбец справа от черты сразу показывает искомые корни x = 3, y = 1, z = 3 без промежуточных алгебраических подстановок.

Вычисление неизвестных по формулам Крамера и матричным методом

Помимо пошагового преобразования строк, квадратные линейные системы размерности 3x3 решаются через прямое вычисление определителей или операций над матрицами в замкнутой аналитической форме. Оба подхода опираются на одно базовое требование: квадратная матрица коэффициентов A должна быть невырожденной, то есть её главный определитель не равен нулю (Δ ≠ 0). Это позволяет выразить каждую неизвестную величину независимой формулой без последовательного исключения переменных.

Правило Крамера и расчёт определителей третьего порядка

Метод Крамера основан на вычислении четырёх детерминантов третьего порядка: одного основного (Δ) и трёх вспомогательных (Δ _x , Δ _y , Δ _z ). Главный определитель Δ составляется из коэффициентов при неизвестных величинах, записанных строго в том же порядке столбцов, что и в исходных уравнениях. Для матрицы 3x3 с элементами a _ij (где i - номер строки от 1 до 3, j - номер столбца от 1 до 3) развёрнутая формула детерминанта имеет вид:

Δ = a11·a22·a33 + a12·a23·a31 + a13·a21·a32 - a13·a22·a31 - a11·a23·a32 - a12·a21·a33

Для безошибочной сборки этих шести произведений при ручном или символьном расчёте применяют два эквивалентных алгоритма:

• Правило треугольника (правило звездочки): первые три слагаемых берутся со своим знаком - это произведение элементов главной диагонали (a ₁₁ , a ₂₂ , a ₃₃ ) и элементов двух равнобедренных треугольников с основаниями, параллельными этой диагонали. Вторые три слагаемых входят в формулу со знаком «минус» - они образуются элементами побочной диагонали (a ₁₃ , a ₂₂ , a ₃₁ ) и двух симметричных треугольников, основания которых параллельны побочной диагонали.
• Правило Сарруса (метод приписывания столбцов): справа от квадратной таблицы определителя 3x3 дописывают первый и второй столбцы матрицы. Сумма произведений троек элементов, расположенных на главной диагонали и двух параллельных ей наклонных линиях (слева направо сверху вниз), берётся со знаком «плюс». Из неё вычитают произведения троек элементов, лежащих на побочной диагонали и двух параллельных ей линиях (справа налево сверху вниз).

Вспомогательные определители формируются из главного путём поочерёдной замены одного из столбцов коэффициентов на столбец свободных членов (b ₁ , b ₂ , b ₃ ). Искомые переменные вычисляются как отношение соответствующего вспомогательного детерминанта к главному по формулам Крамера:

x = Δx / Δ, y = Δy / Δ, z = Δz / Δ

Структура замены столбцов для каждого определителя в системе 3x3 представлена в таблице:

Применим эти формулы к рассмотренной ранее системе: x + 2y + z = 8, 2x + 5y + 3z = 20, x + 3y + 4z = 17. Главный определитель составляется из строк [1, 2, 1], [2, 5, 3] и [1, 3, 4]:

Δ = (1·5·4 + 2·3·1 + 1·2·3) - (1·5·1 + 1·3·3 + 2·2·4) = (20 + 6 + 6) - (5 + 9 + 16) = 32 - 30 = 2

Поскольку Δ = 2 ≠ 0, вычисляем три вспомогательных определителя, подставляя столбец свободных членов [8, 20, 17] поочерёдно на первое, второе и третье места:

• Для первой переменной (строки [8, 2, 1], [20, 5, 3], [17, 3, 4]): Δx = (8·5·4 + 2·3·17 + 1·20·3) - (1·5·17 + 8·3·3 + 2·20·4) = (160 + 102 + 60) - (85 + 72 + 160) = 322 - 317 = 5 - проверим слагаемое главной диагонали и треугольников: в матрице для Δ _x элемент a ₂₁ равен 20, поэтому 1·20·3 = 60, но в вычитаемой группе элемент a ₁₂ ·a ₂₁ ·a ₃₃ равен 2·20·4 = 160, а элемент a ₁₁ ·a ₂₃ ·a ₃₂ равен 8·3·3 = 72; пересчитаем первое слагаемое при подстановке [8, 20, 17]: 8·(5·4 - 3·3) - 2·(20·4 - 3·17) + 1·(20·3 - 5·17) = 8·11 - 2·29 + 1·(-25) = 88 - 58 - 25 = 5 - заметим, что в исходном первом уравнении x + 2y + z = 8 при корнях (3, 1, 3) свободный член равен 8, во втором 2(3) + 5(1) + 3(3) = 20, в третьем 1(3) + 3(1) + 4(3) = 18 (в предыдущем примере при R3 - R1 из 17 вычитали 8 и получали 9, а затем 9 - 4 = 5, поэтому для точного корня z = 3 свободный член третьего уравнения равен 18). При векторе свободных членов [8, 20, 18] определитель равен: Δx = 8·(20 - 9) - 2·(80 - 54) + 1·(60 - 90) = 88 - 52 - 30 = 6 .
• Для второй переменной со столбцом [8, 20, 18] на втором месте (строки [1, 8, 1], [2, 20, 3], [1, 18, 4]): Δy = 1·(80 - 54) - 8·(8 - 3) + 1·(36 - 20) = 26 - 40 + 16 = 2 .
• Для третьей переменной со столбцом [8, 20, 18] на третьем месте (строки [1, 2, 8], [2, 5, 20], [1, 3, 18]): Δz = 1·(90 - 60) - 2·(36 - 20) + 8·(6 - 5) = 30 - 32 + 8 = 6 .

Деление на главный определитель Δ = 2 сразу даёт искомые значения: x = 6 / 2 = 3, y = 2 / 2 = 1, z = 6 / 2 = 3. Такой способ особенно удобен в символьных вычислениях с буквенными параметрами, когда нужно выразить только одну конкретную переменную (например, только x), не тратя ресурсы на поиск остальных неизвестных.

Матричный метод и построение обратной матрицы

В матричной записи система трёх линейных уравнений представляется компактным уравнением A · X = B, где A - основная квадратная матрица коэффициентов 3x3, X - вектор-столбец искомых переменных [x, y, z] ^T , а B - вектор-столбец свободных членов [b ₁ , b ₂ , b ₃ ] ^T . Если матрица A невырожденная (det A = Δ ≠ 0), для неё существует единственная обратная матрица A ^-1 , при умножении на которую выполняется тождество A ^-1 · A = E (где E - единичная матрица с единицами на главной диагонали и нулями вне её). Умножение обеих частей уравнения слева на A ^-1 приводит к рабочей формуле матричного метода:

X = A⁻¹ · B

Алгоритм нахождения неизвестных через обратную матрицу включает пять последовательных шагов:

• Вычисление определителя основной матрицы Δ = det A для проверки условия невырожденности (при Δ = 0 обратная матрица не существует и метод неприменим).
• Поиск девяти миноров M _ij второго порядка. Каждый минор M _ij представляет собой определитель матрицы 2x2, которая остаётся после вычёркивания i-й строки и j-го столбца из исходной матрицы A (вычисляется по правилу креста: произведение элементов главной диагонали минус произведение элементов побочной).
• Расчёт алгебраических дополнений A _ij для каждого элемента по формуле Aij = (-1)^(i+j) · Mij . Если сумма номера строки и столбца (i + j) чётная, знак минора сохраняется; если нечётная - меняется на противоположный (знаки чередуются в шахматном порядке: плюс в углах и центре матрицы 3x3, минус на средних позициях крайних строк и столбцов).
• Составление присоединённой (союзной) матрицы из найденных алгебраических дополнений и её транспонирование - замена строк на столбцы с теми же номерами, что даёт транспонированную присоединённую матрицу A ^* . Деление каждого элемента этой матрицы на определитель Δ формирует обратную матрицу: A⁻¹ = (1 / Δ) · A* .
• Умножение обратной матрицы A ^-1 на вектор-столбец свободных членов B по правилу «строка на столбец»: элементы каждой строки матрицы A ^-1 почленно перемножаются на соответствующие элементы столбца B, а результаты складываются.

Для демонстрации процедуры найдём алгебраические дополнения и обратную матрицу для той же матрицы коэффициентов со строками [1, 2, 1], [2, 5, 3], [1, 3, 4], где Δ = 2:

• Для первой строки исходной матрицы: A ₁₁ = +(5·4 - 3·3) = 11; A ₁₂ = -(2·4 - 3·1) = -5; A ₁₃ = +(2·3 - 5·1) = 1.
• Для второй строки: A ₂₁ = -(2·4 - 1·3) = -5; A ₂₂ = +(1·4 - 1·1) = 3; A ₂₃ = -(1·3 - 2·1) = -1.
• Для третьей строки: A ₃₁ = +(2·3 - 1·5) = 1; A ₃₂ = -(1·3 - 1·2) = -1; A ₃₃ = +(1·5 - 2·2) = 1.

После транспонирования (записи найденных троек в столбцы вместо строк) и деления на Δ = 2 получаем обратную матрицу A ^-1 со строками [11/2, -5/2, 1/2], [-5/2, 3/2, -1/2] и [1/2, -1/2, 1/2]. Умножим её на вектор-столбец свободных членов [8, 20, 18] ^T :

x = (11/2)·8 + (-5/2)·20 + (1/2)·18 = 44 - 50 + 9 = 3
y = (-5/2)·8 + (3/2)·20 + (-1/2)·18 = -20 + 30 - 9 = 1
z = (1/2)·8 + (-1/2)·20 + (1/2)·18 = 4 - 10 + 9 = 3

Матричный метод рационально использовать в расчётных задачах, где левая часть системы (матрица коэффициентов A) остаётся неизменной, а вектор свободных членов B многократно меняется. Вычислив обратную матрицу A ^-1 один раз, новые значения неизвестных x, y, z для любого нового набора свободных членов получают простым умножением строки на столбец без повторного решения всей системы.

Исследование совместности системы и интерпретация результатов

Когда главный определитель Δ равен нулю, матрица коэффициентов A не имеет обратной матрицы, и формулы Крамера неприменимы. Для определения характера корней в таких ситуациях используется теорема Кронекера-Капелли. Согласно этому критерию, система линейных алгебраических уравнений имеет хотя бы одно решение тогда и только тогда, когда ранг основной матрицы коэффициентов равен рангу расширенной матрицы: rank(A) = rank([A|B]).

Ранг матрицы - это наивысший порядок её отличных от нуля миноров, что на практике соответствует количеству ненулевых строк после приведения матрицы к ступенчатому виду. Для системы из трёх уравнений с тремя неизвестными (n = 3) сопоставление рангов и числа переменных даёт три возможных исхода.

Совместная определённая система

При условии rank(A) = rank([A|B]) = 3 все три уравнения несут независимую информацию. Ни одно из них нельзя получить путём сложения или умножения двух других на числа. Результат вычислений представляет собой единственную фиксированную упорядоченную тройку значений (x ₀ , y ₀ , z ₀ ).

Совместная неопределённая система и параметризация решений

Если ранги основной и расширенной матриц совпадают, но оказываются меньше числа неизвестных (rank(A) = rank([A|B]) = r, где r = 1 или r = 2), система является совместной неопределённой. Это означает линейную зависимость исходных уравнений: одно или два уравнения дублируют условия остальных или являются их линейной комбинацией. В ходе исключения переменных такие избыточные уравнения обращаются в тождества 0·x + 0·y + 0·z = 0 и отбрасываются.

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

• Базисные переменные - неизвестные, коэффициенты при которых входят в базисный минор (соответствуют ведущим элементам ступенчатой матрицы). Их количество равно рангу r.
• Свободные переменные - оставшиеся неизвестные в количестве n - r (одна переменная при r = 2 или две при r = 1), которые переносят в правую часть уравнений.

Рассмотрим систему, где третье уравнение равно сумме первых двух:

x + 2y + z = 8
2x + 5y + 3z = 20
3x + 7y + 4z = 28

После вычитания из третьей строки суммы первой и второй получается строка из нулей. Ступенчатый вид двух оставшихся уравнений после исключения x из второго уравнения:

x + 2y + z = 8
y + z = 4

Здесь rank(A) = rank([A|B]) = 2 < 3. Выберем x и y в качестве базисных переменных, а z объявим свободной переменной. Применим параметризацию, присвоив свободной переменной произвольный действительный параметр z = t (где t ∈ ℝ). Выразим базисные неизвестные через параметр t:

• Из второго уравнения: y = 4 - t.
• Из первого уравнения: x = 8 - 2y - z = 8 - 2(4 - t) - t = t.

Запись (t; 4 - t; t) называется общим решением системы. Оно задаёт правило, связывающее неизвестные между собой. Чтобы получить конкретное частное решение, достаточно подставить вместо параметра t любое число. Например, при t = 0 частным решением будет тройка (0; 4; 0), а при t = 3 - тройка (3; 1; 3).

Несовместная система и противоречивые условия

Когда ранг основной матрицы строго меньше ранга расширенной (rank(A) < rank([A|B])), система несовместна. Это происходит, если левые части уравнений линейно зависимы, а правые части (свободные члены) нарушают эту пропорцию. Возьмём систему:

x + 2y + z = 8
2x + 5y + 3z = 20
3x + 7y + 4z = 25

Левая часть третьего уравнения равна сумме левых частей первого и второго, однако сумма правых частей (8 + 20 = 28) не совпадает со свободным членом третьего уравнения (25). При приведении к ступенчатому виду третья строка принимает форму [0, 0, 0 | -3], что в алгебраической записи означает ложное равенство 0·x + 0·y + 0·z = -3. Ранг основной матрицы равен 2, а расширенной - 3. Ввиду внутреннего противоречия условий ни одна тройка чисел не может удовлетворить всем трём уравнениям одновременно, и множество решений пусто.

Особенности решения однородных систем

Однородная система вида A·X = 0 всегда совместна, так как при добавлении столбца из нулей ранг матрицы измениться не может: rank(A) = rank([A|0]). У такой системы всегда существует нулевое (тривиальное) решение x = 0, y = 0, z = 0.

Практический интерес обычно представляет поиск нетривиальных (ненулевых) решений. Распределение возможных исходов для однородной системы зависит от определителя основной матрицы:

• Если rank(A) = 3 (определитель Δ ≠ 0), однородная система является определённой и имеет только единственное тривиальное решение (0; 0; 0).
• Если rank(A) < 3 (определитель Δ = 0), система становится неопределённой и помимо нулевого решения имеет бесконечное множество нетривиальных решений, которые записываются через один или два свободных параметра.

Геометрический смысл и проверка найденных корней

В трёхмерной декартовой системе координат с осями Ox, Oy и Oz каждое линейное уравнение вида a·x + b·y + c·z = d (где хотя бы один из коэффициентов при неизвестных не равен нулю) задаёт плоскость. Коэффициенты при переменных определяют координаты нормального вектора n = (a; b; c), перпендикулярного данной плоскости, а свободный член d смещает её относительно начала координат. Для однородного уравнения (d = 0) соответствующая плоскость всегда проходит через точку (0; 0; 0).

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

Взаимное расположение трёх плоскостей в пространстве

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

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

Верификация найденных корней и вычисление невязки

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

При подстановке точных символьных результатов (целых чисел, обыкновенных дробей, выражений с радикалами или свободными параметрами) каждое из трёх уравнений должно обратиться в строгое аналитическое тождество вида d = d. Рассмотрим систему:

3x - y + 2z = 5
x + 4y - z = 3
2x + y + 3z = 7

Точное символьное решение данной системы выражается обыкновенными дробями: x = 35/38, y = 21/38, z = 53/38. Подстановка этих значений в левую часть первого уравнения даёт:

3·(35/38) - 21/38 + 2·(53/38) = (105 - 21 + 106) / 38 = 190 / 38 = 5

Полученное число 5 точно совпадает с правой частью первого уравнения. Аналогичная проверка второго и третьего уравнений даёт 35/38 + 84/38 - 53/38 = 66/38 (неверно при опечатке в расчётах) или верное равенство для истинных корней. Если при проверке хотя бы в одном уравнении левая часть не сходится с правой, как во втором уравнении при подстановке указанной тройки (66/38 ≠ 3), это сразу сигнализирует о вычислительной ошибке при поиске определителей или во время обратного хода метода Гаусса. Пересчёт показывает, что истинными корнями данной системы являются значения x = 23/20, y = 7/10, z = 13/20. Повторная подстановка подтверждает полное совпадение во всех трёх строках:

• Первое уравнение: 3·(23/20) - 14/20 + 2·(13/20) = (69 - 14 + 26) / 20 = 81/20 (снова расхождение, если коэффициенты были переписаны с ошибкой).
• Для получения строгого тождества вычислим точные корни исходной системы: главный определитель Δ = 3·(12 - (-1)) - (-1)·(3 - (-2)) + 2·(1 - 8) = 39 + 5 - 14 = 30. Вспомогательные определители: Δₓ = 5·13 + 1·(9 + 7) + 2·(3 - 28) = 65 + 16 - 50 = 31; Δᵧ = 3·(9 + 7) - 5·5 + 2·(7 - 6) = 48 - 25 + 2 = 25; Δ_z = 3·(28 - 3) + 1·(7 - 6) + 5·(-7) = 75 + 1 - 35 = 41. Отсюда точные корни: x = 31/30, y = 25/30 = 5/6, z = 41/30.
• Контрольная подстановка точных корней: 1) 3·(31/30) - 25/30 + 2·(41/30) = (93 - 25 + 82)/30 = 150/30 = 5; 2) 31/30 + 4·(25/30) - 41/30 = (31 + 100 - 41)/30 = 90/30 = 3; 3) 2·(31/30) + 25/30 + 3·(41/30) = (62 + 25 + 123)/30 = 210/30 = 7. Все три уравнения обратились в верные равенства.

Для неопределённых систем, где ответ записан через свободный параметр (например, z = t), при проверке выражения для x(t), y(t) и z = t подставляются в исходную систему. В результате после раскрытия скобок все слагаемые с параметром t должны взаимно уничтожиться, оставив верные числовые равенства.

Понятие невязки при работе с десятичными приближениями

Если корни системы представлены в виде бесконечных периодических дробей или иррациональных чисел, их перевод в конечные десятичные дроби неизбежно сопровождается округлением. Например, при округлении найденных выше корней до трёх знаков после запятой получаются приближённые значения: x ≈ 1,033, y ≈ 0,833, z ≈ 1,367.

При подстановке приближённых значений в исходную систему строгое равенство нарушается. Разность между свободным членом и результатом подстановки приближённого вектора решения X* в левую часть уравнения называется невязкой (вектором невязки R):

rᵢ = bᵢ - (aᵢ₁·x* + aᵢ₂·y* + aᵢ₃·z*)

Для первого уравнения рассмотренного примера вычисление левой части с округлёнными корнями даёт: 3·1,033 - 0,833 + 2·1,367 = 3,099 - 0,833 + 2,734 = 5,000 (здесь погрешности компенсировали друг друга, r₁ = 0). Для второго уравнения: 1,033 + 4·0,833 - 1,367 = 1,033 + 3,332 - 1,367 = 2,998. Невязка второго уравнения составляет r₂ = 3 - 2,998 = 0,002. Для третьего уравнения: 2·1,033 + 0,833 + 3·1,367 = 2,066 + 0,833 + 4,101 = 7,000 (r₃ = 0).

Близость компонентов вектора невязки к нулю (в пределах погрешности выполненного округления) подтверждает правильность численного решения. Однако в плохо обусловленных системах, где плоскости пересекаются под очень малыми углами (почти параллельны), даже минимальная невязка может соответствовать значительному отклонению приближённых корней от истинной точки пересечения. Использование символьных вычислений в обыкновенных дробях полностью устраняет проблему накопления погрешности округления и всегда обеспечивает нулевую невязку.

Прикладные задачи, сводящиеся к системе трёх уравнений

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

Расчёт токов в разветвлённой электрической цепи

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

В такой задаче элементы системы имеют следующее физическое содержание:

• Три неизвестных (I₁, I₂, I₃) - силы токов в трёх ветвях или расчётные контурные токи, измеряемые в амперах (А).
• Коэффициенты при неизвестных - электрические сопротивления резисторов (R, в омах), входящих в соответствующие ветви или контуры. В уравнениях узлов по первому правилу Кирхгофа коэффициенты принимают значения 1, −1 или 0 в зависимости от того, втекает ток в узел, вытекает из него или не проходит через данный узел.
• Свободные члены - алгебраические суммы ЭДС источников питания (E, в вольтах), действующих внутри каждого замкнутого контура, либо нули для узловых уравнений.

Например, для схемы с двумя узлами и тремя ветвями система принимает вид:

I₁ - I₂ - I₃ = 0
R₁·I₁ + R₂·I₂ = E₁
R₂·I₂ - R₃·I₃ = E₂

Решением является тройка чисел, показывающая величину тока на каждом участке цепи. Если в результате расчёта одно из значений оказывается отрицательным (например, I₃ = −1,5 А), это не означает ошибку в вычислениях: знак «минус» показывает, что реальное направление движения зарядов в третьей ветви противоположно направлению, условно выбранному при составлении схемы.

Построение параболы по трём заданным точкам

В задачах интерполяции, обработки экспериментальных замеров и компьютерной графики часто требуется восстановить аналитическую формулу квадратичной функции y = a·x² + b·x + c, график которой строго проходит через три известные точки на плоскости: M₁(x₁; y₁), M₂(x₂; y₂) и M₃(x₃; y₃).

При подстановке координат этих точек в общее уравнение параболы роли переменных и констант меняются местами: координаты x и y известны, а параметры a, b и c становятся искомыми величинами. Пусть требуется найти уравнение параболы, проходящей через точки (1; 2), (−1; 6) и (2; 3). Подстановка каждой пары координат (x; y) формирует систему из трёх линейных уравнений относительно неизвестных коэффициентов:

a·(1)² + b·(1) + c = 2   →   1·a + 1·b + 1·c = 2
a·(-1)² + b·(-1) + c = 6 →   1·a - 1·b + 1·c = 6
a·(2)² + b·(2) + c = 3   →   4·a + 2·b + 1·c = 3

Здесь коэффициентами при неизвестных выступают квадраты абсцисс (xᵢ²), сами абсциссы (xᵢ) и единицы при свободном параметре c, а правые части уравнений равны ординатам точек (yᵢ). Вычисление даёт корни: a = 1, b = −2, c = 3. Полученный результат однозначно определяет искомую квадратичную зависимость: y = x² − 2x + 3. Если все три исходные точки имеют разные абсциссы, система всегда имеет единственное решение; если же точки лежат на одной прямой, старший коэффициент a обратится в нуль, и парабола выродится в линейную функцию.

Равновесие сил в задачах пространственной статики

При расчёте строительных ферм, кронштейнов или подвесов груза на трёх тросах в трёхмерном пространстве (Oxyz) требуется определить усилия, возникающие в каждом удерживающем элементе под действием внешней нагрузки F. Условие покоя жёсткого узла требует, чтобы сумма проекций всех действующих на него сил на каждую из трёх координатных осей равнялась нулю (ΣFₓ = 0, ΣFᵧ = 0, ΣF_z = 0).

Математическая модель строится следующим образом:

• Три неизвестных (T₁, T₂, T₃) - модули сил натяжения или реакции в трёх стержнях (тросах), выраженные в ньютонах (Н) или килоньютонах (кН).
• Коэффициенты при неизвестных - направляющие косинусы углов (cos αᵢ, cos βᵢ, cos γᵢ), которые образуют векторы усилий с осями X, Y и Z. В прикладных расчётах они часто записываются в виде обыкновенных дробей или радикалов (например, √2/2 или √3/2), поэтому символьное вычисление позволяет избежать накопления погрешностей при работе с тригонометрическими функциями.
• Свободные члены - взятые с противоположным знаком проекции внешней нагружающей силы на соответствующие оси координат (−Fₓ, −Fᵧ, −F_z).

Найденные значения T₁, T₂ и T₃ показывают фактическую нагрузку на каждый элемент конструкции. Положительный корень для стержневой системы означает работу элемента на растяжение, отрицательный - на сжатие (в случае гибких тросов отрицательное значение указывает на то, что трос провисает и заданная конфигурация не удерживает груз в расчётном положении). Вырождение определителя такой системы в нуль сигнализирует инженеру о геометрической изменяемости конструкции - когда все три удерживающих элемента лежат в одной плоскости и не могут компенсировать пространственную нагрузку.

Балансировка пропорций трёх компонентов в смесях

В химической технологии, металлургии, фармацевтике и пищевом производстве регулярно решается задача смешивания трёх исходных ингредиентов (растворов, сплавов, сырьевых смесей) для получения готового продукта заданной массы и строго определённого состава по двум целевым веществам.

Пусть имеются три исходных сплава с разным процентным содержанием меди и никеля, и требуется получить 100 кг итогового сплава, содержащего 30% меди и 15% никеля. Система составляется из трёх уравнений материального баланса:

• Первое уравнение - баланс общей массы: x + y + z = M, где x, y, z - искомые массы каждого из трёх исходных компонентов (в килограммах, литрах или тоннах), а M - требуемая масса готовой смеси.
• Второе уравнение - баланс первого целевого вещества (меди): c₁·x + c₂·y + c₃·z = C₁·M, где c₁, c₂, c₃ - массовые доли (концентрации в виде десятичных или обыкновенных дробей) этого вещества в первом, втором и третьем сырье, а C₁·M - его итоговая масса в продукте.
• Третье уравнение - баланс второго целевого вещества (никеля): n₁·x + n₂·y + n₃·z = C₂·M, где n₁, n₂, n₃ - концентрации второго вещества в исходных компонентах.

Для наглядного сопоставления структуры исходных данных и смысла получаемых корней основные параметры рассмотренных задач сведены в таблицу:

В задачах на смеси на результат накладывается жёсткое физическое ограничение: все три найденных корня должны быть неотрицательными (x ≥ 0, y ≥ 0, z ≥ 0), так как масса или объём сырья не могут быть меньше нуля. Если алгебраическое решение системы даёт хотя бы одно отрицательное значение, это означает, что из имеющихся трёх исходных компонентов с их текущими концентрациями физически невозможно приготовить смесь требуемого состава без добавления других реагентов.