Поэтому ортогональное преобразование всегда является аффинным. Теорема 9.4. При ортогональных преобразованиях
сохраняются расстояния между точками. Доказательство. Пусть точки M1(x1, y1) и
M2(x2, y2) посредством ортогонального преобразования (9.6.1) переводятся соответствено в точки M'1
(x'1, y'1) и M'2(x'2, y'2). Требуется доказать, что отрезки
M1M2 и M'1M'2 имеют равные длины. С помощью формул (9.6.1) и (9.6.2) получаем
Итак, |M1M2| = |M'1M'2|. Теорема доказана. Замечание.Так как при ортогональных преобразованиях расстояния сохраняются, то любая фигура на плоскости
преобразуется в равную ей фигуру. Свойства ортогонального преобразования. 1.
Последовательное выполнение двух ортогональных преобразований есть ортогональное преобразование. 2. Тождественное преобразование
x' = x, y' = y является ортогональным преобразованием. 3. Преобразование, обратное ортогональному, также является
ортогональным. Линейное преобразование в пространстве
(9.6.3)
называется ортогональным, если выполняются соотношения
(9.6.4)
Ортогональные
преобразования являются аффинными. Справедливо следующее основное свойство ортогональных преобразований: при таких преобразованиях сохраняются расстояния между точками.
Свойства ортогональных преобразований в пространстве. 1.
Последовательное выполнение ортогональных преобразований является ортогональным преобразованием. 2. Тождественное преобразование
x' = x, y' = y, z' = z - ортогональное преобразование. 3. Преобразование, обратное ортогональному, также является
ортогональным.