Оглавление

Предисловие3

Введение4

§1. Композиции движений пространства. 4

1. Основные композиции движений пространства. 4

2. Композиции центральных симметрий пространства. 9

3. Композиция зеркальной и центральной

симметрий пространства. 11

4. Композиции осевых симметрий пространства. 12

5. Применение композиций движений

пространства к решению задач. 16

§2. Композиции подобий и аффинных преобразований

пространства 18

Литература22

Предисловие

Композиции геометрических преобразований пространства являются логическим продолжением темы композиций геометрических преобразований плоскости. И если последние освещены в литературе сравнительно полно, то для пространства литературы гораздо меньше.

Целью данной работы является рассмотрение и изучение некоторых композиций преобразований евклидова пространства. Эти композиции выбирались следующим образом: строился стереометрический аналог для некоторых теорем, задач из планиметрии (планиметрические задачи можно найти в [2]) , решались задачи из [3].

В настоящей работе рассмотрены и систематизированы 14 композиций преобразований евклидова пространства, оформленные в виде задач, поэтому эта работа может быть использована при проведении факультативных занятий в школе для детей с подходящим уровнем знаний и на первых курсах ВУЗов в курсе геометрии.

Введение

Пусть f и g – два преобразования множества X такие, что f(x)=y, g(y)=z для произвольного xОX, конечно, yОX и zОX. Отображение j определим законом j(x)=g(f(x)). Тогда отображение j является преобразованием множества X и называется композицией (произведением) преобразований f и g. В литературе принято следующее обозначение композиции преобразований: j= g◦f.

Композиции преобразований обладают следующими свойствами:

1°. Композиция преобразований ассоциативна, т. е. для любых преобразований f, g, h данного множества имеет место равенство:

h◦(g◦f)=(h◦g)◦f.

2°. Композиция преобразований антикоммутативна, но в частных случаях композиции преобразований могут быть коммутативными.

В дальнейшем будут рассматриваться композиции преобразований евклидова пространства.

§1. Композиции движений пространства

1. Основные композиции движений пространства

Рассмотрим композиции движений пространства, которые часто используются при нахождении других композиций движений и при решении геометрических задач.

Задача 1. Найти композицию поворота R_l^j и переноса пространства при условии, что вектор и ось поворота l не параллельны.

Решение. Представим оба движения композициями осевых симметрий:

R_l^j = S_b◦S_a , где a^l, b^l, Р(a, b)= (здесь и дальше будут рассматриваться ориентированные углы), aЗbЗl=O и =S_v◦S_u , где u║v, u^. Пользуясь имеющимся произволом в выборе осей симметрий, можно совместить оси u и b (рис. 1). Тогда ◦R_l^j=S_v◦S_u◦S_b◦S_a=S_v◦S_a . Если вектор не ортогонален оси l, то прямые a и v скрещиваются, и угол между ними равен углу между a и b, т.е. равен . Композиция S_v◦S_a есть винтовое движение с осью m, являющейся общим перпендикуляром прямых a и v, и вектором 2, где P=aЗm, Q=vЗm, m║l. Итак,

◦R_l^j =◦R_l^j , m║l.

Если ^l, прямые a и v пересекаются, поэтому =, и искомая композиция является поворотом R_m^j . Если при этом j =p, то имеем, что ◦R_l^j = S_m, ^l, m║l.

				m
	l
			Q
							v
				P		a
	O			u
			b

Рис. 1

Задача 2. Найти композицию двух поворотов пространства R_b^b◦R_a^a.

Решение. Сначала найдём композицию R_b^b◦R_a^a двух поворотов, оси которых скрещиваются. Построим общий перпендикуляр h прямых a и b и представим заданные повороты композициями осевых симметрий:

R_a^a=S_h◦S_u , R_b^b=S_v◦S_h , u^a, u^b, uЗhЗa=A, vЗhЗb=B,

Р(u, h)=, Р(h, v)= (рис. 2). Тогда

R_b^b◦R_a^a=S_v◦S_h◦S_h◦S_u=S_v◦S_u. Оси u и v скрещиваются, если бы они принадлежали одной плоскости, то прямые a и b, перпендикулярные этой плоскости, были бы параллельны. При таком расположении осей полученная композиция симметрий S_v◦S_u есть винтовое движение, осью которого является общий перпендикуляр l прямых u и v, угол w=2Р(u, v), а вектор =2, где P=uЗl, Q=vЗl.

b

h

a

B

b

v

uў

a

A

l

u

Рис. 2

Угол w винтового движения можно вычислить через углы a и b данных поворотов и угол g=. По теореме косинусов для трехгранного угла с вершиной B, ребрами которого являются лучи h, u^ў, v, справедливо следующее равенство:

cos = - coscos - sin sin cosg (доказательство данной формулы можно найти в [4], с. 26).

Рассмотрим случай, когда оси a и b пересекаются (в точке B). Тогда прямые u и v также будут пересекаться в точке B, и u^ў совпадет с прямой u. Искомая композиция R_b^b◦R_a^a есть поворот R_l^w, причем угол этого поворота подсчитывается по указанной выше формуле. При a║b и a+b№2p прямые u и v пересекаются в точке O. И рассматриваемая композиция R_b^b◦R_a^a есть поворот R_l^a+b, ось l которого проходит через точку O параллельно прямым a и b.

При a║b и a+b=2p будет u║v. В этом случае композиция поворотов является переносом.

Задача 3. Найти композицию трех зеркальных симметрий.

Решение. Выделим случай, когда композиция трех зеркальных симметрий является зеркальной симметрией, S_g◦S_b◦S_a=S_w . Это равенство эквивалентно равенству S_b◦S_a=S_g◦S_w . Если плоскости a и b имеют общую прямую l, то S_b◦S_a=R_l^j и поэтому S_g◦S_w=R_l^j. Следовательно, все четыре плоскости имеют общую прямую l. Если же плоскости a и b параллельны, то S_b◦S_a= и S_g◦S_w=. Следовательно, все четыре плоскости параллельны.

Нетрудно доказать обратное. Таким образом, если плоскости зеркальных симметрий пересекаются по одной прямой или параллельны, то их композиция является зеркальной симметрией, плоскость которой соответственно содержит прямую пересечения или параллельна плоскостям, исходных симметрий.

Пусть плоскости a, b, g имеют единственную общую точку O. В этом случае она является единственной неподвижной точкой композиции этих симметрий (предположение о существовании другой неподвижной точки приводит к предыдущему случаю). Следовательно, композиция f=S_g◦S_b◦S_a есть поворотная симметрия. Найдем ее компоненты: плоскость, ось и угол поворота. Обозначим прямые пересечения плоскостей следующим образом: bЗg=a, gЗa=b, aЗb=c (рис. 3).

Пусть f(c)=c₁, тогда прямые c и c₁ симметричны относительно плоскости g, и S_a(a)=a₀, тогда f(a₀)=a. Поскольку плоскость w поворотной симметрии f делит каждый отрезок, соединяющий соответственные точки, пополам, то ей принадлежат ортогональные проекции m и n прямых a и c соответственно на плоскости a и g. Итак, w есть плоскость, проходящая через прямые m и n. Ось l поворота есть перпендикуляр к плоскости w в точке O, угол поворота j равен углу между ортогональными проекциями a₀ и a (или c и c₁) на плоскость w.

O

c

a

c1

a0

m

w

b

n

Рис. 3

Если плоскости a, b, g попарно перпендикулярны, то искомая композиция является центральной симметрией Z_o.

Рассмотрим случай, когда плоскости a, b, g исходных симметрий попарно пересекаются по параллельным прямым, т.е. a║b║c. Тогда в каждой плоскости, перпендикулярной этим прямым, композиция f=S_g◦S_b◦S_a индуцирует композицию осевых симметрий относительно прямых пересечения этой плоскости с плоскостями a, b, g. А она является переносной симметрией рассматриваемой плоскости с определенными осью l и вектором . Поэтому, учитывая род композиции, композиция f есть переносная симметрия пространства с вектором и плоскостью, проходящей через прямую l параллельно прямым a, b, c.

2. Композиции центральных симметрий пространства

Задача 4. Найти композицию: а) двух центральных симметрий пространства, б) центральной симметрии и переноса, в) трёх центральных симметрий пространства.

Решение. а) Найдём композицию центральных симметрий пространства с центрами A и B. Для этого найдём образ произвольной точки M после применения композиции Z_B◦Z_A:

(Z_B◦Z_A)(M)=P (рис. 4).

					M
		A
						P
				B
N

Рис. 4

Для треугольника MNP имеет место равенство: =2. Точки A и B заданы, следовательно, вектор - постоянный, и искомая композиция двух центральных симметрий Z_B◦Z_A есть параллельный перенос на вектор 2:

Z_B◦Z_A=. (1)

б) Найдем композицию центральной симметрии Z_O и переноса в пространстве. Представим перенос как композицию двух центральных симметрий: =Z_B◦Z_O, где =. Следовательно, ◦Z_O=(Z_B◦Z_O)◦Z_O . Это равенство эквивалентно равенству:

◦Z_O=Z_B . (2)

Таким образом, композиция центральной симметрии Z_O и переноса есть центральная симметрия Z_O , центр которой определяется условием =.

в) Найдем композицию трех центральных симметрий пространства f=Z_C◦Z_B◦Z_A . Композицию Z_C◦Z_B представим в виде переноса в соответствии с выводом (1): Z_C◦Z_B=. Тогда искомая композиция будет иметь следующий вид: f=◦Z_A. Воспользовавшись выводом (2), заметим, что правая часть равенства есть центральная симметрия Z_O , центр О которой определяется условием =. Таким образом, композиция трех центральных симметрий пространства является центральной симметрией.

Пользуясь ассоциативностью композиции и выводами, полученными ранее, обобщим:

1. композиция четного числа центральных симметрий пространства является переносом;

2. композиция нечетного числа центральных симметрий пространства является центральной симметрией.

Задача 5. Найти композицию центральных симметрий пространства относительно последовательно взятых вершин параллелограмма ABCD.

Решение. Требуется найти композицию f=Z_D◦Z_C◦Z_B◦Z_A (рис. 5).

			C							B
D							A

Рис. 5

Сгруппируем элементы композиции «удобным» образом и воспользуемся выводом (1) предыдущей задачи:

f=(Z_D◦Z_C)◦(Z_B◦Z_A)=◦. Векторы и являются противоположными, поскольку ABCD есть параллелограмм, следовательно искомая композиция является тождественным преобразованием E.

Обобщим эту задачу на случай четырех произвольных точек.

Задача 6. Найти композицию центральных симметрий пространства относительно четырех произвольных точек.

Решение. Требуется найти композицию f=Z_E◦Z_C◦Z_B◦Z_A (рис. 6). Воспользуемся результатом предыдущей задачи, для этого построим, например, в плоскости BCD точку D такую, что четырехугольник BCED является параллелограммом.

		A						B
C
										D
E

Рис. 6

Тогда равенству f=Z_E◦Z_C◦Z_B◦Z_A эквивалентно равенство f=Z_D◦Z_D◦Z_E◦Z_C◦Z_B◦Z_A. Композиция Z_D◦Z_E◦Z_C◦Z_B есть тождественное преобразование, т.к. BCED – параллелограмм. И искомая композиция имеет вид f=Z_D◦Z_A , а это перенос пространства (согласно выводу (1) ).

3. Композиции зеркальной и центральной симметрий

Задача 7. Найти композицию зеркальной и центральной симметрий, если плоскость первой не содержит центр второй.

Решение. Пусть даны плоскость a и точка О, не принадлежащая ей. Найдем композицию Z_O◦S_a. Центральная симметрия Z_O как частный случай поворотной симметрии представима композицией осевой и зеркальной симметрии: Z_O=S_l◦S_b , где l и b - перпендикулярные прямая и плоскость, причем lЗb=O. Выберем плоскость b таким образом, что a║b , тогда l будет являться перпендикуляром и к плоскости a (рис. 7). Тогда Z_O◦S_a=S_l◦S_b◦S_a . В силу того, что плоскости a и b параллельны, их композиция есть параллельный перенос , при этом ║l . А это по определению есть винтовое движение с осью l, углом 180°, вектором .

O

L

A

h

b

l

A

a

l

a

O

a

Рис. 7 Рис. 8

Итак, композиция зеркальной и центральной симметрий есть винтовое движение: Z_O◦S_a= S_l◦. (3)

Задача 8. Найти композицию Z_O◦S_a◦S_l , если прямая l параллельна плоскости a и точка О лежит в a.

Решение. На основании (3) композиция Z_O◦S_a в общем случае есть винтовое движение. В силу того, что ООa, вектор винтового движения будет нулевым, и само винтовое движение выродится в осевую симметрию S_a , где a^a и OОa (рис. 8). Тогда Z_O◦S_a◦S_l=S_a◦S_l, причем a^l.

Если прямые a и l скрещиваются, то искомая композиция является винтовым движением R_h^j◦, угол j которого равен 2Р(a, l)=p, ось h – общий перпендикуляр прямых a и l, вектор =2, где L=lЗh, A=aЗh (см. [3], с. 19).

Если прямые a и l пересекаются, то =, и композиция S_a◦S_l является осевой симметрией S_h , где h – это перпендикуляр к плоскости, проходящей через прямые a и l.

4. Композиции осевых симметрий пространства

Задача 9. Композиция трех осевых симметрий пространства является осевой симметрией: S_c◦S_b◦S_a=S_l. Какое взаимное положение могут иметь прямые a, b, c? Построить ось l этой композиции в каждом из возможных случаев.

Решение. Равенству S_c◦S_b◦S_a=S_l эквивалентно равенство

S_c◦S_b=S_l◦S_a . (*)

Если прямые b и c параллельны, то S_c◦S_b=. Тогда и правая часть равенства (*) является переносом: S_l◦S_a=. А значит прямые a и l также будут параллельными.

Таким образом, получили, что, если прямые b, c параллельны, то все оси a, b, c и l попарно параллельны (рис. 9а).

h

l

A

a

c

b

l

O

c

a

b

Рис. 9а Рис. 9б

Если прямые b и c пересекаются в точке O, то композиция S_c◦S_b является поворотом R_h^j (см. [3], c. 15), где h – перпендикуляр к плоскости, проходящей через прямые b и c, при этом точка O принадлежит оси h, угол j=2Р(b, c) (рис. 9б). Тогда и композиция S_l◦S_a является этим же поворотом R_h^j, значит h – перпендикуляр к плоскости, проходящей через прямые a и l, точка пересечения A которых принадлежит оси h, и ориентированный угол между a и l равен углу поворота j.

Таким образом, если оси b и c пересекаются, то прямая a параллельна плоскости, проходящей через b и c, пересекается с перпендикуляром h к этой плоскости, восстановленным в точке пересечения прямых b и c. Ось l удовлетворяет следующим условиям: точка пересечения A прямых a и h принадлежит l, l параллельна плоскости (b, c), ориентированные углы Р(a,l)=Р(b,c). Если точка A принадлежит прямой a, то точки A и O совпадают, т.е. ось l также походит через точку A.

Если прямые b и c скрещиваются, то композиция S_c◦S_b является винтовым движением R_h^2j◦, ось h которого есть общий перпендикуляр к прямым b и c, вектор коллинеарен оси h, угол j равен ориентированному углу между прямыми b и c (рис. 9в). В силу равенства (*) композиция S_l◦S_a является этим же самым винтовым движением: S_l◦S_a=R_h^2j◦, то есть h – общий перпендикуляр к скрещивающимся прямым a и l, и угол Р(a, l)=j .

	h				l
							a
						c
							b

Рис. 9в

Таким образом, если оси b и c - скрещивающиеся, то прямые a, b и c попарно скрещиваются и имеют общий перпендикуляр h. Ось l удовлетворяет следующим условиям: l и h - перпендикулярные прямые, расстояния между прямыми b, c и a, l равны, и углы между этими осями также равны.

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

Задача 10. Композиция трех осевых симметрий есть перенос: S_c◦S_b◦S_a=. Каково взаимное положение их осей?

Решение. Если прямые b и c параллельны, то композиция S_c◦S_b является переносом . Тогда ◦S_a=, полученное равенство эквивалентно равенству S_a=◦ или S_a= (этот факт легко доказывается по аналогии с композицией переносов в планиметрии, см. [2], с. 308). Это равенство противоречиво, а значит композиция S_c◦S_b◦S_a при параллельных b и c не может быть переносом.

Если прямые b и c пересекаются в точке O, то композиция S_c◦S_b является поворотом R_h^j, где h – перпендикуляр к плоскости, проходящей через прямые b и c, при этом точка O принадлежит оси поворота h, и угол j=2Р(b, c). Тогда исходная композиция S_c◦S_b◦S_a= будет эквивалентна следующей композиции R_h^j◦S_a=. Такое возможно только, если поворот R_h^j является осевой симметрией пространства, т.е. угол j=±p , при чем оси симметрий a и h параллельны, и расстояние между ними равно . В силу этих рассуждений, получили, что ось a перпендикулярна плоскости (b, c), а прямые b и c перпендикулярны между собой.

Таким образом, при пересекающихся осях b и c для выполнения исходного равенства необходимо, чтобы прямые a, b и c были попарно перпендикулярными.

Если b и c скрещиваются, то композиция S_c◦S_b является винтовым движением R_h^j◦, где h – общий перпендикуляр прямых b и c, угол j=2Р(b, c), =(рис. 10).

h

B

b

c

C

Рис. 10

Следовательно, S_c◦S_b◦S_a= эквивалентно равенству R_h^j◦=◦S_a. А это возможно, если угол j=±p, и прямые a и h параллельны, иначе говоря прямая a перпендикулярна b и c. Т.е. исходное равенство при скрещивающихся прямых b и c возможно, если все три оси взаимно перпендикулярны.

Таким образом, композиция трех осевых симметрий пространства есть перенос, если оси этих симметрий попарно перпендикулярны.

1.5. Применение композиций движений пространства к решению задач

Аппарат движений пространства, а в частности композиции движений пространства, можно эффективно применять для решения геометрических задач.

Задача 11. Докажите, что биссектрисы двух плоских углов трехгранного угла DABC и биссектриса угла, смежного с третьим плоским углом, лежат в одной плоскости.

Решение. Пусть DE, DF – биссектрисы плоских углов ADB и BDC, DH – биссектриса угла, смежного с углом ADC, т.е. РDAE=РEDC, РBDF=РFDC, РCDH=РHDK (рис.11).

			D		K				H
A
								C
E						F
			B

Рис. 11

Рассмотрим композицию f трех осевых симметрий: f=S_DH◦S_DF◦S_DE. Движение f – это движение первого рода, как композиция движений первого рода. К тому же композиция S_DH◦S_DF◦S_DE отображает прямую AK на себя, точка D при этом неподвижна. Следовательно, рассматриваемая композиция есть осевая симметрия.

Воспользовавшись выводами, полученными в задаче 8 для случая с пересекающимися осями симметрий, можно сказать, что прямые DE, DF и DH лежат в одной плоскости.

Задача 12. Через вершину D прямого трехгранного угла DABC внутри его проведен луч DO. Доказать, что выполняется неравенство:

Р(DO, DA)+Р(DO, DB)+Р(DO, DC)<180°.

Решение. Обозначим через DE, DF и DH лучи, симметричные лучу DO относительно прямых DA, DB и DC соответственно (рис. 12). Поскольку трехгранный угол DABC – прямой, то прямые DB и DC перпендикулярны, и S_DC◦S_DB=S_DA (как композиция двух поворотов). Рассмотрим образ луча DF после применения симметрии S_DA:

S_DA(DF)=(S_DC◦S_DB)(DF)=S_DC(DO)=DH, кроме того S_DA(DO)=DE.

Следовательно, Р(DO, DF)=Р(DE, DH). Аналогично можно доказать, что Р(DO, DE)=Р(DF, DH) и Р(DO, DH)=Р(DE, DF).

D

H

E

C

A

O

B

F

Рис. 12

Оценим искомую сумму углов, учитывая полученные равенства:

Р(DO, DA)+Р(DO, DB)+Р(DO, DC) =

= Р(DO,DE) + Р(DO,DF) + Р(DO,DH) = ( Р(DF,DH) + Р(DE,DH) +

+ Р(DE,DF) ). Лучи DE, DF и DH являются ребрами трехгранного угла DEFH, а значит сумма Р(DF,DH)+Р(DE,DH)+Р(DE,DF)<360°.

Таким образом, Р(DO, DA)+Р(DO, DB)+Р(DO, DC)<180°.

§2. Композиции подобий и аффинных преобразований пространства

Среди преобразований пространства выделяют также преобразования, не сохраняющие расстояния между точками, - это подобия, гомотетии как частный случай подобий, и аффинные преобразования.

Задача 13. Найти композицию гомотетии и переноса пространства: ◦H_O^k.

Решение. Рассмотрим образ произвольной точки X после применения искомой композиции. Пусть X₁ – образ X после применения H_O^k: H_O^k(X)=X₁, а точка X₂ – образ X₁ после применения переноса: (X₁)= X₂. Через центр гомотетии O проведем прямую n параллельную прямой, содержащую вектор (рис. 13).

n

S1

S

O

X

X1

X2

Рис. 13

Найдем образ точки пересечения построенной прямой n и прямой XX₂ при гомотетии H_O^k: H_O^k(S)=S₁. Тогда =, поэтому точка S при заданной композиции неподвижна, кроме того, не зависит от выбора точки X. С учетом того, что =k, =k(т.к. треугольники SOX и X₁XX₂ подобны), искомая композиция является гомотетией H_S^k.

Таким образом, ◦H_O^k=H_S^k. (4)

Задача 14. Найти композицию двух гомотетий пространства.

Решение. Рассмотрим образ произвольной точки X после применения композиции гомотетий f=H_B^m◦H_A^k. Пусть H_A^k (X)=X₁, т.е. по определению гомотетии =k, H_B^m(X₁)=X₂, т.е. =m (рис.14). Найдем образ точки A после применения гомотетии H_B^m: H_B^m(A)=A₁, т.е. =m. Таким образом, отрезок A₁X₂ – это образ отрезка AX после применения данной композиции, при этом прямые, содержащие эти отрезки параллельны (это следует из подобия треугольников ABX₁ и A₁BX₂). Если прямые AA₁ и XX₂ пересекаются (обозначим точку их пересечения C), тогда, рассматривая подобные треугольники ACX и A₁CX₂ , выразим вектор :

==, при этом =m=km.

				X2
							A1
			C
					B
A
	X
				X1

Рис. 14

Следовательно, = km. Точка C не зависит от выбора точки X, значит композиция f является гомотетией с центром в C:

H_B^m◦H_A^k=H_C^km. (5)

Если прямые AA₁ и XX₂ не пересекаются, т.е. =, то km=1, следовательно, композиция f есть перенос пространства:

H_B^m◦H_A^k=. (6)

Все эти рассуждения верны и для совпадающих центров исходных гомотетий.

Задача 15. Найти композицию двух подобий пространства.

Решение. Так как любое подобие пространства можно представить в виде композиции поворота и гомотетии, центр которой лежит на оси поворота, то, учитывая ассоциативность этого представления, будем находить требующуюся композицию в следующем виде: f=H_B^m◦R_h^b◦R_l^a◦H_A^k.

Рассмотрим несколько случаев.

1)Если оси поворотов h и l параллельны, и при этом сумма углов не равна 2p, то композиция поворотов является поворотом R_n^a+b , где ось n параллельна исходным осям h, l. Тогда f=H_B^m◦R_n^a+b◦H_A^k, при этом композиция R_n^a+b◦H_A^k является по определению подобием, а значит, эта композиция может быть представлена в виде H_D^k◦R_p^a+b. И равенство f=H_B^m◦R_n^a+b◦H_A^k эквивалентно равенству f=H_B^m◦H_D^k◦R_p^a+b . По формуле (5) H_B^m◦H_D^k=H_C^km (при km№1), значит f=H_C^km◦R_p^a+b, а это по определению подобие. При km=1 по формуле (6) H_B^m◦H_D^k=, и f=◦R_p^a+b, а это, в общем случае, винтовое движение.

2)Если же при параллельных осях данных поворотов h и l сумма углов равна 2p, то композиция поворотов R_h^b◦R_l^a является переносом пространства , и в этом случае f=H_B^m◦◦H_A^k. Композиция ◦H_A^k согласно выводу (4) есть гомотетия с центром в некоторой точке C с коэффициентом k: ◦H_A^k=H_С^k. Следовательно, f=H_B^m◦H_С^k, а это гомотетия пространства (согласно формуле (5)) или параллельный перенос пространства (по (6) ).

3)Если прямые h и l пересекаются, то композиция поворотов R_h^b◦R_l^a является поворотом R_n^w. И нахождение композиции f сводится к случаю 1.

4)Если оси h и l скрещиваются, то композиция поворотов R_h^b◦R_l^a является винтовым движением, следовательно, композиция R_h^b◦R_l^a◦H_A^k является подобием пространства, которое можно представить композицией поворота и гомотетии: R_h^b◦R_l^a◦H_A^k=R_n^w◦H_Сⁿ. Тогда нахождение f сводится к случаю 1.

Таким образом, композиция двух подобий пространства, произведение коэффициентов которых не равно 1, есть подобие пространства или гомотетия (в случае параллельных осей поворотов и сумме их углов 2p), в тривиальном случае, когда произведение коэффициентов исходных подобий равно 1, эта композиция может вырождаться в винтовое движение пространства или перенос.

Аналогичная ситуация обстоит и с композицией аффинных преобразований пространства, т.е. в общем случае композиция двух аффинных преобразований пространства также является аффинным преобразованием.

Литература

1. Гусев В. А., Тхамафокова С. Т. Преобразования пространства. Москва: «Просвещение», 1979.

2. Понарин Я. П. Геометрия: Учебное пособие. Ростов-на-Дону: «Феникс», 1997.

3. Понарин Я. П. Преобразования пространства. Киров: 2000.

4. Скопец З. А. Геометрические миниатюры. Москва: «Просвещение», 1990.