Композиции преобразований

Оглавление

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

Введение............................................................................................. 4

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

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

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

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

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

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

1.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. Основные композиции движений пространства

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

Задача 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.

Рис. 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.

Рис. 2

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

cos = - coscos - sinsincosg(доказательство данной формулы можно найти в [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.

Рис. 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.

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

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

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

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

Рис. 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).

Рис. 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является параллелограммом.

Рис. 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) ).

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°, вектором .

Рис. 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.

1.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а).

Рис. 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.

Рис. 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).

Рис. 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).

Рис. 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).

Рис. 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).

Рис. 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.

Рис. 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.