Обобщение метода Крамера на систему третьего порядка
Методы решения систем линейных уравнений второго порядка можно распространить и на системы более высокого порядка. Для системы третьего порядка с тремя неизвестными (x₁, x₂, x₃) решение по аналогии с правилом Крамера записывается в виде:
- x₁ = Δ₁ / Δ
- x₂ = Δ₂ / Δ
- x₃ = Δ₃ / Δ
Здесь Δ — определитель матрицы системы (главный определитель), составленный из коэффициентов при неизвестных, а Δ₁, Δ₂, Δ₃ — определители, полученные заменой соответствующего столбца в Δ на столбец свободных членов.
Вычисление определителя третьего порядка
Определитель матрицы 3×3 можно вычислить по правилу Саррюса (правило треугольников). Для матрицы:
a₁₁ a₁₂ a₁₃
a₂₁ a₂₂ a₂₃
a₃₁ a₃₂ a₃₃
Выражение для определителя выглядит так:
Δ = a₁₁·a₂₂·a₃₃ + a₁₂·a₂₃·a₃₁ + a₁₃·a₂₁·a₃₂ – a₁₃·a₂₂·a₃₁ – a₁₁·a₂₃·a₃₂ – a₁₂·a₂₁·a₃₃
Этот метод прямого вычисления становится громоздким для систем более высокого порядка, что подводит к необходимости более общего подхода.
Разложение определителя по строке или столбцу
Для упрощения вычислений вводится понятие минора и алгебраического дополнения.
- Минор Mᵢⱼ элемента aᵢⱼ — это определитель второго порядка, получаемый из исходного определителя вычёркиванием i-й строки и j-го столбца.
- Алгебраическое дополнение Aᵢⱼ элемента aᵢⱼ вычисляется по формуле: Aᵢⱼ = (-1)ⁱ⁺ʲ · Mᵢⱼ.
С их помощью можно свести вычисление определителя третьего порядка к вычислению определителей второго порядка. Справедлива теорема о разложении:
Определитель третьего порядка равен сумме произведений элементов любой его строки (или любого столбца) на их алгебраические дополнения.
Например, разложение по элементам второй строки будет иметь вид:
Δ = a₂₁·A₂₁ + a₂₂·A₂₂ + a₂₃·A₂₃
Этот метод является более универсальным и открывает путь для вычисления определителей любого порядка.