Диагонализация матрицы

Онлайн-калькулятор диагонализации матрицы 2×2–4×4

Матрицы умеют делать вид, что всё просто. А потом внезапно появляется фраза «не диагонализируется», и ты сидишь с ощущением, что сделал что-то не так. Этот онлайн-инструмент устроен иначе: он не просто выдаёт ответ, а показывает, насколько ему можно доверять — и что делать дальше, если «не вышло».

Вы вводите матрицу 2×2, 3×3 или 4×4 (в привычном формате для России: 1,25, 1.25, 3/4) и нажимаете кнопку «Рассчитать». Дальше инструмент аккуратно раскладывает всё по полочкам: находит собственные значения, проверяет, возможна ли диагонализация над ℝ (вещественные числа) или над ℂ (комплексные числа), а если диагонализация невозможна — показывает Жорданову структуру и минимальный многочлен.

Главная фишка — «анти-самообман». Вместо сухого «✓/✗» вы видите невязки: max |p(λ)|, max rel ||Av−λv|| и, если разложение найдено, ||A−P·D·P⁻¹|| ÷ ||A||. Это честный индикатор качества: чем меньше число, тем спокойнее можно копировать результат в отчёт или дальше считать Aᵏ и e^A.

Плюс — удобства, которые экономят нервы: история расчётов (с удалением), восстановление матрицы, копирование результата одним кликом, экспорт в текст, CSV и «LaTeX-вид» (как текст для вставки в документ). Данные считаются прямо в браузере — ничего не отправляется на сервер.

Как пользоваться инструментом

Быстрый старт в 4 шага

1. Выберите размер матрицы (2×2, 3×3, 4×4).

2. Выберите режим: над ℝ или над ℂ.

3. Введите матрицу и нажмите «Рассчитать».

4. Сначала посмотрите невязки, затем — вкладки «Диагонализация» и «Жордан».

Что означает каждая настройка

1. Размер

• 2×2 / 3×3 / 4×4 — меняет количество ячеек ввода.

2. Поле вычислений

• Над ℝ — используйте по умолчанию. Подходит, если вы ожидаете вещественные собственные значения.

• Над ℂ — включайте, если:

  • видите комплексные λ (например, в задачах вращения/колебаний);

  • нужно понять структуру матрицы, даже когда над ℝ «не получается».

Подсказка по-hobo: начните с над ℝ. Если получаете «комплексные λ» или «не диагонализируется», переключайтесь на над ℂ и смотрите вкладку «Жордан».

3. Режим отчёта

• Коротко — быстро получить λ, итог и невязки.

• Подробно — дополнительно увидеть:

  • размеры Жордановых блоков;

  • значения nullity((A−λI)ᵏ);

  • минимальный многочлен.

4. Пример

• «Аккуратный пример» — нормальная матрица для проверки.

• «Уже диагональная» — идеальный тест на понимание.

• «Повторяющееся λ (Жордан)» — пример, когда диагонализация обычно невозможна.

• «Комплексные λ» — пример, где над ℝ будет отказ.

Как вводить числа без ошибок

• Десятичные: 1,25 или 1.25

• Дроби: 3/4

• Отрицательные: −2,5 или -2.5

Если ячейка стала красной — наведите на неё. Подсказка покажет причину: «пустое поле», «лишние символы», «деление на ноль».

Кнопки

• «Рассчитать» — запускает расчёт. Важно: вычисления происходят только по кнопке.

• «Вставить пример» — подставляет матрицу-пример.

• «Единичная» — вставляет I (удобно для самопроверки).

• «Очистить» — сбрасывает ввод и результаты.

Как читать результат и не сомневаться

После расчёта откройте блок «Проверка доверия (невязки)»:

• max |p(λ)| — насколько найденные λ действительно являются корнями характеристического многочлена.

• max rel ||Av−λv|| — насколько найденные векторы действительно собственные.

• ||A−P·D·P⁻¹|| ÷ ||A|| — главный тест разложения, если оно найдено.

Практическая шкала (без фанатизма):

• очень маленькие значения (вроде 0,000000000001) — результат обычно надёжен;

• заметные значения (например, 0,0001 и выше) — стоит перепроверить ввод, попробовать режим над ℂ, либо оценить, не слишком ли большие числа в матрице.

Если диагонализация не найдена:

1. Переключитесь на над ℂ.

2. Откройте вкладку «Жордан» — там будет структура и объяснение «почему».

3. Посмотрите минимальный многочлен — он подскажет, насколько «сложный» случай.

Экспорт, копирование и история

• Вкладка «Экспорт/Копирование»:

  • «Скопировать полный результат» — готовый текст отчёта;

  • «Скопировать CSV(A)» — удобно для таблиц;

  • «Скопировать LaTeX-вид» — текст для вставки в документ с формулами.

• История расчётов:

  • сохраняет результаты прямо в браузере;

  • можно удалять записи, очищать историю полностью;

  • можно восстановить матрицу и повторить расчёт.

Примеры использования

Пример 1. Быстрая проверка «диагонализация точно есть»

1. Задача: убедиться, что разложение A = P·D·P⁻¹ действительно работает.

2. Шаги:

• Размер: 3×3

• Поле: над ℝ

• Введите A = diag(2, 3, 5)

• Нажмите «Рассчитать»

3. Результаты:

• Собственные значения: 2, 3, 5

• Диагонализация: ✓

• Невязка ||A−P·D·P⁻¹|| ÷ ||A||: должна быть очень маленькой (часто практически нулевой)

4. Практика: идеальный случай для вычислений Aᵏ и e^A: всё считается по диагонали.

Пример 2. Почему над ℝ не работает, а над ℂ — работает

1. Задача: матрица вращения, где появляются комплексные λ.

2. Шаги:

• Размер: 2×2

• Введите A = [[0, −1], [1, 0]]

• Поле: над ℝ, нажмите «Рассчитать»

• Поле: над ℂ, нажмите «Рассчитать» ещё раз

3. Результаты:

• Над ℝ: диагонализация ✗, потому что λ комплексные

• Над ℂ: диагонализация ✓, появляются λ вида 0 + 1i и 0 − 1i, плюс матрицы P, D, P⁻¹

4. Практика: полезно в задачах колебаний, вращений, спектрального анализа.

Пример 3. Жорданов случай: λ повторяется, а векторов не хватает

1. Задача: понять причину «не диагонализируется» и получить структуру.

2. Шаги:

• Размер: 3×3

• Введите A = [[2, 1, 0], [0, 2, 1], [0, 0, 2]]

• Поле: над ℂ

• Нажмите «Рассчитать»

3. Результаты:

• Собственные значения: λ ≈ 2 (кратность ≈ 3)

• Диагонализация: ✗

• Жордановы блоки: размер 3

• Минимальный многочлен: (x − 2)³

4. Практика: если нужно считать степени/экспоненту — смотрят уже на жорданову структуру, а не на диагональ.

Пример 4. Симметричная матрица для оптимизации и квадратичных форм

1. Задача: понять «кривизну» квадратичной формы и признаки выпуклости.

2. Шаги:

• Размер: 2×2

• Введите A = [[3, 1], [1, 3]]

• Поле: над ℝ

• Нажмите «Рассчитать»

3. Результаты:

• Собственные значения: 4 и 2

• Диагонализация: ✓

• Невязки: должны быть очень маленькими

4. Практика: оба λ положительные — форма “выпуклая”, это удобно для задач минимизации.

Пример 5. Прикладной сценарий: итерационный процесс и устойчивость

1. Задача: оценить, будет ли итерация xₖ₊₁ = A·xₖ «затухать» или «разгоняться».

2. Шаги:

• Размер: 2×2

• Введите A = [[0,6, 0], [0, 0,4]]

• Поле: над ℝ

• Нажмите «Рассчитать»

3. Результаты:

• Собственные значения: 0,6 и 0,4

• Диагонализация: ✓ (в типичном случае)

4. Практика: если |λ| меньше 1, итерации обычно затухают. Это полезно для понимания сходимости.

Таблица: быстрые решения типичных ситуаций