7.2. Двойные прямые аффинных преобразований

Найдём условие, при котором прямая при аффинном преобразовании (2) перейдёт сама в себя, то есть будет являться инвариантом аффинного преобразования.

Возьмём уравнение прямой (3), которая при аффинном преобразовании перейдёт в прямую . Для того, чтобы прямая (3) перешла сама в себя, необходимо выполнение следующих условий: где R. (14) Преобразуем первые два равенства системы (14) к виду Приравняем теперь первые два равенства и после преобразования получим: представим первое равенство системы в виде совокупности двух условий теперь эту систему можно представить как совокупность двух систем (15) Рассмотрим каждую систему полученной совокупности отдельно.

1) Первая система совокупности приводится к виду и теперь уже она может быть представлена в виде совокупности двух систем Отметим, что если для прямой (3) выполняется первая система, то нет и самой прямой (3). Решая вторую систему, также получим, что нет самой прямой (оба коэффициента равны нулю). Таким образом получили, что первая система совокупности (15) не имеет решений.

2) Рассмотрим вторую систему совокупности (15) . Выразим из второго равенства системы коэффициент q и воспользуемся тем, что (из второго равенства (14)), тогда рассматриваемая система будет выглядеть следующим образом:

Преобразуем отдельно каждое равенство системы (16).

А) Первое равенство системы после некоторых преобразований примет вид , откуда и выполнение этого условия является очевидным, следовательно, первое равенство системы (16) ничего существенного нам не давало.

Б) Рассмотрим теперь второе равенство, преобразуем его правую часть , тогда полученное соотношение на коэффициенты прямой (2): (17) является условием того, что прямая (3) - двойная прямая аффинного преобразования (2).

Докажем, что если для коэффициентов прямой (3) p и q верно равенство (17), то она является двойной прямой аффинного преобразования с коэффициентами a, b, c и определителем .Возьмём прямую . При аффинном преобразовании с коэффициентами a, b, c она перейдёт на прямую . Покажем, что будут выполняться равенства где k - коэффициент пропорциональности. Найдём k из последнего равенства системы . Подставим вместо q его выражение через коэффициенты аффинного преобразования и коэффициент р, упростим выражение и получим . Очевидно, что при таком k верны и два первых уравнения системы, следовательно, прямая является двойной, что и требовалось доказать.