Математика / Прямые, плоскости
Обратное аффинное преобразование
Обратное аффинное преобразование восстанавливает исходную точку из образа, если матрица линейной части A невырождена и обратима.
Формула
Обратный ход отменяет сдвиг, а затем отменяет линейную часть через обратную матрицу.
Обратное аффинное преобразование выполняется в обратном порядке.
Обозначения
- $\mathbf{x}'$
- известный образ точки, единицы длины
- $A^{-1}$
- обратная матрица линейной части, зависит от A
- $\mathbf{b}$
- вектор сдвига прямого преобразования, единицы длины
Условия применения
- Матрица A квадратная и невырожденная.
- Вектор b известен и задан в координатах образа.
- Размерности всех векторов согласованы.
Ограничения
- Если det A=0, обратного преобразования для всех точек не существует.
- Сначала нужно вычесть b, а только потом применять A^{-1}.
- Численное обращение плохо обусловленной матрицы может давать большие ошибки.
Подробное объяснение
Обратная формула получается из x'=Ax+b. Сначала переносим b влево: x'-b=Ax. Затем применяем обратную матрицу к обеим частям. Существование A^{-1} означает, что линейная часть не схлопывает пространство и каждая точка образа имеет единственный прообраз. Координатные и аффинные преобразования нужны для того, чтобы описывать один и тот же геометрический объект в удобной системе отсчета. Перенос меняет начало координат, поворот меняет направление осей, масштабирование меняет единицы вдоль осей, а аффинное преобразование объединяет линейную часть и сдвиг. В аналитической геометрии это не декоративный прием: правильно выбранное преобразование упрощает уравнение прямой, плоскости, коники или поверхности второго порядка и позволяет увидеть, какие свойства сохраняются. Поэтому каждую формулу нужно сопровождать проверкой: что именно сохраняется, что меняется и можно ли вернуться обратно. Для этой страницы главная проверка такая: после восстановления исходной точки прямое преобразование должно снова дать исходный образ x'. Если проверка не проходит, значит перепутан знак, порядок матричного умножения или смысл преобразования.
Как пользоваться формулой
- Проверьте det A≠0.
- Вычтите вектор b из известного образа x'.
- Умножьте результат на A^{-1}.
- Проверьте ответ прямой подстановкой в x'=Ax+b.
Историческая справка
Обратимость преобразований стала одной из центральных идей матричного языка: геометрическая операция полезна настолько, насколько ясно, что она сохраняет и можно ли ее отменить. Исторически эти формулы продолжают линию координатного метода, связанную с Рене Декартом и Пьером Ферма: геометрические задачи переводятся на язык чисел и уравнений. Позже, с развитием линейной алгебры, стало ясно, что переносы, повороты, масштабирования и более общие аффинные преобразования удобно записывать через матрицы и векторы. Барицентрические координаты связаны с классической геометрией масс и центров тяжести, а инварианты расстояний и углов стали важной частью строгого описания евклидовой геометрии. Современная учебная форма этих записей является итогом общей традиции, а не результатом одного изолированного открытия.
Историческая линия формулы
У формулы нет единственного автора в современном учебном смысле. Корректнее связывать ее с развитием координатного метода у Декарта и Ферма, а матричную запись - с более поздней традицией линейной алгебры и аналитической геометрии.
Пример
Пусть x'=2x+(1,1) в двумерной записи с A=2I. Если образ точки равен (7,5), сначала вычитаем b: (6,4), затем умножаем на A^{-1}=1/2 I. Получаем исходную точку (3,2). Если бы сначала поделить (7,5) на 2 и только потом вычесть b, ответ был бы неверным. После вычисления полезно выполнить обратный ход или проверить инвариант. Например, после переноса можно вернуться к старым координатам, после поворота проверить длину вектора, а после барицентрического разложения убедиться, что сумма коэффициентов равна единице. Такая проверка особенно важна, потому что ошибки знака в преобразованиях часто дают внешне правдоподобный ответ.
Частая ошибка
Главная ошибка - менять порядок обратных действий. Прямое преобразование сначала умножает на A, потом прибавляет b; обратное сначала вычитает b, потом умножает на A^{-1}. Также нельзя использовать формулу при вырожденной матрице. Еще одна частая ошибка - смешивать преобразование точки и преобразование системы координат. При активном преобразовании точка реально перемещается, а при смене координат меняется способ описания той же точки. Формулы похожи, но знаки угла или сдвига могут отличаться. Перед решением нужно явно зафиксировать, какой смысл используется в задаче.
Практика
Задачи с решением
Восстановить точку
Условие. A=diag(2,3), b=(1,-1), x'=(5,8). Найдите x.
Решение. x'-b=(4,9). Делим координаты на 2 и 3: x=(2,3).
Ответ. (2,3)
Проверить обратимость
Условие. Существует ли обратное преобразование при A=[[1,2],[2,4]]?
Решение. det A=1·4-2·2=0. Матрица вырождена, обратного преобразования нет.
Ответ. Нет
Дополнительные источники
- MIT OpenCourseWare. Linear Algebra and Multivariable Calculus, coordinate transformations.
- OpenStax. Calculus Volume 3, Vectors and the Geometry of Space.
Связанные формулы
Математика
Аффинное преобразование точки
Аффинное преобразование точки состоит из линейного преобразования A и последующего сдвига b, сохраняя прямые и отношения точек на одной прямой.
Математика
Масштабирование координат
Масштабирование координат умножает каждую координату на свой коэффициент и растягивает или сжимает объект вдоль выбранных осей.
Математика
Перенос начала координат в пространстве
Перенос начала координат в пространстве заменяет старые координаты точки на новые относительно начала O'(a,b,c), не меняя саму геометрию.
Математика
Критерий вырожденной коники через определитель
Если детерминант квадратичной формы с линейными и свободным членом равен нулю, возможна вырождённая коника (две прямые, точка, пустое множество).