Формула обратного преобразования

В предыдущем параграфе нами была найдена формула (4) преобразования, обратного аффинному преобразованию (2). Покажем, что данное преобразование также является аффинным. Для этого достаточно доказать, что его определитель не равен нулю.

Рассмотрим определитель преобразования (4), он равен: , приведём к общему знаменателю и сократим на общий множитель, получим: , где , следовательно, определитель обратного преобразования (4) находится в следующей зависимости с определителем преобразования (2):  и он не равен нулю. Следовательно, обратное преобразование (4) также является аффинным, что и требовалось доказать.

Основная теорема теории аффинных преобразований

Докажем следующую теорему:

Существует одно и только одно аффинное преобразование, переводящее произвольные три точки А, В, С, не лежащие на одной прямой, в три произвольные точки А’, B', C', также не лежащие на одной прямой. [3]

Доказать единственность аффинного преобразования можно показав, что коэффициенты преобразования a, b, и c выражаются однозначно через координаты точек А(), В(), С()  и A'(a’), B’(b’), C’(c’).

Так как точки A', B', C' являются образами точек А, В и С, то их координаты можно выразить следующим образом:

Решим эту систему относительно коэффициентов преобразования a, b, c, получим их выражение через координаты точек А, В, С и A', B’, C’:

Таким образом, коэффициенты преобразования находятся однозначно. Опустив громоздкие выкладки, отметим, что определитель рассмотренного аффинного преобразования не равен нулю, таким образом, доказано существование и единственность искомого аффинного преобразования.

Глава III. Частные виды аффинных преобразований в сопряжённых комплексных координатах