Трансформация преобразований

Оглавление

 
Предисловие. 4
1. Понятие трансформации преобразований. 5
2. Трансформация движения движением. 6
2.1. Трансформация осевой симметрии движением. 6
2.2. Трансформация параллельного переноса движением. 7
2.3. Трансформация поворота движением. 8
2.4. Трансформация центральной симметрии движением. 8
2.5. Трансформация зеркальной симметрии движением. 8
2.6. Трансформация поворота относительно оси движением. 8
3. Трансформация гомотетии движением. 9
4. Трансформация гомотетии гомотетией. 9
5. Трансформация движения гомотетией. 12
5.1. Трансформация осевой симметрии гомотетией. 12
5.2. Трансформация параллельного переноса гомотетией. 12
5.3. Трансформация произвольного движения гомотетией. 12
6. Трансформация подобия гомотетией. 13
7. Трансформация движения подобием. 13
8. Трансформация подобия движением. 13
9. Трансформация гомотетии подобием. 14
10. Трансформация подобия подобием. 14
11. Трансформация движения аффинным преобразованием. 15
11.1. Трансформация параллельного переноса аффинным преобразованием. 15
11.2. Трансформация  центральной  симметрии  аффинным преобразованием  15
11.2. Трансформация осевой симметрии аффинным преобразованием. 16
12. Трансформация гомотетии аффинным преобразованием. 17
13. Трансформация аффинного преобразования  гомотетией. 17
13.1. Трансформация произвольного аффинного преобразования гомотетией  18
13.2. Трансформация косого сжатия гомотетией. 18
13.3. Трансформация сдвига гомотетией. 20
14. Трансформация аффинного преобразования движением. 21
14.1. Трансформация произвольного аффинного  преобразования движением  21
14.1.1. Трансформация аффинного преобразования параллельным переносом  21
14.1.2. Трансформация аффинного преобразования центральной симметрией  21
14.1.3. Трансформация аффинного преобразования осевой симметрией. 22
14.1.4. Трансформация аффинного преобразования зеркальной симметрией  23
14.2. Трансформация косого сжатия движением. 23
14.3. Трансформация сдвига движением. 24
15. Трансформация аффинного преобразования подобием. 25
15.1. Трансформация косого сжатия подобием. 25
15.2. Трансформация сдвига подобием. 26
16. Трансформация аффинного преобразования аффинным преобразованием. 27
16.1. Трансформация косого сжатия произвольным аффинным преобразованием  27
17. Решение задач с помощью трансформации преобразований. 28
Библиографический список. 32

 
Предисловие

Преобразованиями можно отображать не только точки и прямые,  но и сами преобразования, поэтому в данной работе мы рассмотрим, как с помощью одного преобразования можно получить другое.
Целью моей работы является рассмотрение темы трансформации преобразований. Основные задачи:
·        Познакомиться с литературой по данной теме
·        Ввести понятие трансформации преобразований
·        Рассмотреть различные примеры трансформаций
·        Привести примеры задач, решаемых с помощью трансформации преобразований
В основном в работе рассматриваются преобразования плоскости, если не оговорено иное.
При написании данной работы во многом использовалась книга «Перемещения и подобия плоскости» Понарина Я.П. и Скопеца З.А. В ней дается систематическое и углубленное изложение теории перемещений и преобразований подобия плоскости, рассматриваются многочисленные примеры, иллюстрирующие применение теоретических положений. Анализируются задачи на вычисление, доказательство и построение, рационально решаемые с помощью метода геометрических преобразований, также предлагаются задачи для самостоятельного решения.
Также большую помощь при написании данной работы оказала книга Понарина Я.П. «Преобразования пространства». Здесь содержится теоретический и практический материал по теме аффинных преобразований, рассмотрены движения, подобия и аффинные преобразования трехмерного пространства. Изложение сопровождается образцами решения задач.
Хотелось бы отметить книгу Яглома И.М. и Ашкинузе В.Г. «Идеи и методы аффинной и проективной геометрии». Часть 1. Она содержит разнообразный материал, связанный с идеями и методами аффинной геометрии, причем этот материал преподносится без отрыва от элементарной геометрии.

1. Понятие трансформации преобразований

В1

g

g ° f ° g-1

А

А1

f

g-1

В

Рис.1

Если f и g – преобразования некоторого множества, например, множества всех точек плоскости, и f(A)=B, g(A)=A₁, g(B)=B₁, то точке А₁ поставим в соответствие точку В₁. Вообще, каждую пару (А, f(A)) отобразим преобразованием  g. Множество всех полученных при этом новых пар (А₁, g(f(A))) есть новое преобразование плоскости, являющееся композицией   (рис.1), поскольку эта композиция отображает А₁ на В₁. Условимся обозначать  и говорить, что преобразование f ^g получается из f под действием преобразования g. Запись f ^g кратко будем читать «эф под же».
Итак, по определению
                                                 ,                                               (1)
в частности,  и E ^f = E.
Имеют место следующие формулы:
,
                                                       ,                                             (2)
(f ^g)^-1 = (f ^-1)^g.
Действительно, . Поскольку , то, вставляя  между g и f и используя ассоциативное свойство всякой композиции преобразований, получаем . Далее   . Учитывая, что преобразование, обратное композиции данных преобразований, является композицией обратных им преобразований, взятых в обратном порядке, т.е. , получаем . Наконец, .
Если преобразование f инволютивно, то и то и f ^g также инволютивно. В самом деле, если , но f ≠ Е, то , но f ^g ≠ Е, так как из f ^g = Е следует f = Е.
Теорема о неподвижной точке. Если А – неподвижная точка преобразования f, то g(A) – неподвижная точка преобразования  f ^g, и обратно:
f(A) = A ↔ f ^g(g(A)) = g(A).
Доказательство. Если f(A) = A, то f ^g(g(A)) = g(f(g^-1(g(A)))) = =g(f(A)) = g(A). Обратно, если f ^g(g(A)) = g(A), т.е. g(f(g^-1(g(A)))) = g(A), то g(f(A)) = g(A). Поскольку при преобразовании образы любых двух различных точек не совпадают, то из совпадения образов точек f(A) и A при преобразовании g следует и совпадение этих точек: f(A) = A. [1]
Аналогичная теорема имеет место и для двойных прямых.

2. Трансформация движения движением

Применим теперь рассмотренные формулы и свойства к движениям. Если f и g – движения, то, в силу (1), f ^g – тоже движение. Более того, так как неподвижные точки движения f переходят в неподвижные точки движения f ^g, а вид движения характеризуется его неподвижными точками, то оба движения - f и f ^g – одного и того же вида, независимо от движения g.

2.1. Трансформация осевой симметрии движением

Принимая во внимание предыдущее свойство неподвижных точек и двойных прямых, получим
                                                     (S_l)^g = S_g(l).                                                  (3)
С помощью этой формулы можно получить аналогичные формулы для остальных движений частного вида. Для этого найдем сначала:
. [1]

2.2. Трансформация параллельного переноса движением

Если прямые u и v параллельны, то отображение g отображает их на параллельные прямые g(u) и g(v) с сохранением расстояния между ними. Следовательно, если , то
                                                .                                              (4)
В частности, если g есть поворот , то по свойству поворота ориентированный угол между векторами  и равен углу α поворота. Отсюда из равенства  следует, что результат поворота вектора не зависит от центра поворота.
Теорема. Для любого вектора , любого действительного числа х и перемещения g имеет место равенство:
                                                  .                                            (5)
Доказательство. Если , то в силу (4) . Так как движение g сохраняет величину угла между векторами, а значит, и сохраняет, в частности, их сонаправленность или противонаправленность, то из  или  вытекает соответственно или . Отсюда и из равенства  следует (5).
Доказанная зависимость (5) с помощью первой формулы (2) обобщается на такую:
                                           .                                         (6)
Действительно, .
Ясно, что зависимость вида (6) будет справедлива и для линейной комбинации любого числа векторов. [1]

2.3. Трансформация поворота движением

Далее, если u∩v = O, то g(u)∩g(v) = g(O) и (g(u), g(v)) = (u, v), если g – движение 1-го рода, и (g(u), g(v)) = - (u, v), если g – движение 2-го рода. Поэтому, если , то
                                                                                               (7)
где знак «+» берется при движении g 1-го рода и «-» - при движении g второго рода. [1]
В частности, если прямая l проходит через т.О пересечения прямых u и v, то
                                          .                                        (8)

2.4. Трансформация центральной симметрии движением

       Так как центральная симметрия – частный случай поворота, а именно – поворот на 180°, то , а в силу формулы (7) , а это, в свою очередь, Z_g(O). Таким образом,
                                                     (Z_O)^g = Z_g(O).                                                  (9)

2.5. Трансформация зеркальной симметрии движением

Рассмотрим трансформацию преобразования пространства – зеркальной симметрии. Неподвижными точками преобразования  являются точки g(α), которые также образуют плоскость (по свойству движения), значит,
                                                      _.                                                                                  (10)

2.6. Трансформация поворота относительно оси движением

Поворот относительно оси l на угол α – это преобразование пространства, композиция двух зеркальных симметрий относительно плоскостей β и γ таких, что β∩γ = l, (β, γ) = α. Заметим, что в данном примере движение g также должно быть движением пространства, поэтому оно не может быть поворотом относительно точки. Далее, , по формулам (2) это равняется  (по (10)). Пусть g(β)∩g(γ) = m, (g(β), g(γ)) = φ. Тогда по определению поворота относительно оси .
β∩γ = l, а т.к. образ пересечения равен пересечению образов, то g(β)∩g(γ) = g(l) и (g(β), g(γ)) = (β, γ), если g – первого рода и (g(β), g(γ)) = = - (β, γ), если g– второго рода, поэтому
                                                  .                                              (12)

3. Трансформация гомотетии движением

Рассмотрим . Пусть g(О)=А. Тогда по свойству неподвижных точек и двойных прямых, А – неподвижная точка преобразования , также мы имеем пучок неподвижных прямых в т. А, поэтому данное преобразование не может быть поворотной гомотетией или гомотетической симметрией. Следовательно, . Найдем коэффициент с, для этого рассмотрим точку М₁, пусть |М₁,A| = d.
Пусть g(М1) = М, мы знаем, что g(О)=А тогда по свойствам движения |МО| = d.
Пусть , по определению гомотетии |М₂О| = kd.
Пусть g(М₂) = М₃, по свойствам движения |М₃А| = kd. А т.к. при гомотетии все расстояния изменяются в одно и то же число раз, то с = k. Следовательно,
                                           .                                      (21)

4. Трансформация гомотетии гомотетией

Найдем сначала композицию двух гомотетий , для этого рассмотрим вектор . По свойству гомотетии, , а .
Рассмотрим первый случай, когда lk = 1, тогда мы получили преобразование, при котором вектор перешел сам в себя, а это параллельный перенос . Найдем вектор , для этого найдем образ точки О при этой композиции.  , а : . Тогда . Значит, композиция двух гомотетий  при lk = 1 есть параллельный перенос на вектор .
                                          .                                      (22)
Рассмотрим второй случай, когда lk ≠ 1. Найдем неподвижные точки этого преобразования. Пусть точка М – неподвижная, тогда если , а , то М = D, значит, .  Но . Т.к. и , то . Тогда . Т.к. lk ≠ 1, то выразим вектор : . Значит, у данного преобразования только одна неподвижная точка М, причем , следовательно, точки O, Q, M лежат на одной прямой.
Докажем теперь, что данное преобразование будет гомотетией с центром в т. М и коэффициентом lk. Возьмем произвольную точку Е, пусть , а

Q

G

F

M

O

E

Рис. 2

. Докажем, что  (рис. 2). Разложим векторы  и  по векторам  и . По правилу треугольника, , а . Ранее мы выразили вектор  через вектор : , тогда вектор  выражается через вектор  следующим образом: . Вектор при гомотетии переходит в вектор , тогда . Значит, . Теперь приведем подобные слагаемые и разложим вектор  по векторам  и , после этого получим . Вектор  при гомотетии переходит в вектор , значит, , а вектор  вновь выразим через , тогда . Приведем подобные слагаемые, получим
. По правилу треугольника , следовательно . Таким образом, мы показали, что преобразование  произвольную точку E переводит в точку G такую, что , следовательно, это преобразование – гомотетия с центром в точке М и коэффициентом lk.
                                   .                               (23)
Сейчас найдем преобразование . , а это по формуле (23) равняется , . Далее применяя формулу (23), получаем , . Выразим вектор  через вектор . По правилу треугольника, . Мы уже знаем, что , тогда . Приведем подобные слагаемые, получим . Так как , то . Значит, . Таким образом,
                                                                   ^.                                                            (24)

5. Трансформация движения гомотетией

5.1. Трансформация осевой симметрии гомотетией

Рассмотрим . По теореме о неподвижных точках, прямая  – неподвижная прямая преобразования , значит, это осевая симметрия с осью m.
                                         .                                    (25)

                                         (36)
Мы получили, что
                                                    ,                                                (37)
где (- aa₁ - bb₁ - cc₁ + d₁ + a, - aa₂ - bb₂ - cc₂ + d₂ + b, - aa₃ - bb₃ - cc₃ + d₃ + c).

14.1.2. Трансформация аффинного преобразования             центральной симметрией

Рассмотрим центральную симметрию Z_O в пространстве, выберем систему координат таким образом, чтобы центр симметрии О совпал с началом координат, тогда О(0, 0, 0). Рассмотрим произвольную точку М(x, y, z), найдем ее образ при преобразовании . Т.к. центральная симметрия инволютивна, то . При центральной симметрии Z_O точка М переходит в точку М₁(-x, -y, -z). Далее, при аффинном преобразовании g точка М₁ переходит в точку М₂(-a₁x - b₁y - c₁z + d₁, -a₂x - b₂y - c₂z + d₂, -a₃x - b₃y - c₃z + d₃) (п. 13). M₂ при центральной симметрии Z_O переходит в М₃(a₁x + b₁y + c₁z - d₁, a₂x + b₂y + c₂z - d₂, a₃x + b₃y + c₃z - d₃). Тогда - аффинное преобразование, аналитически оно задается следующим образом.
                                                                        (38)
Мы получили, что
                                                     ,                                                (39)
где (-2d₁, -2d₂, -2d₃).

14.1.3. Трансформация аффинного преобразования                     осевой симметрией

Рассмотрим осевую симметрию S_l в пространстве, выберем систему координат таким образом, чтобы ось симметрии l совпала с осью OZ, тогда S_l будет задаваться следующим образом.  Рассмотрим произвольную точку М(x, y, z), найдем ее образ при преобразовании . Т.к. осевая симметрия инволютивна, то . При осевой симметрии S_l точка М переходит в точку М₁(-x, -y, z). Далее, при аффинном преобразовании g точка М₁ переходит в точку М₂(-a₁x - b₁y + c₁z + d₁, -a₂x - b₂y + c₂z + d₂, -a₃x - b₃y + c₃z + d₃) (п. 13). M₂ при осевой симметрии S_l переходит в М₃(a₁x + b₁y - c₁z - d₁, a₂x + b₂y - c₂z - d₂, a₃x + b₃y - c₃z - d₃). Тогда - аффинное преобразование, аналитически оно задается следующим образом.
                                                                          (40)

14.1.4. Трансформация аффинного преобразования                      зеркальной симметрией

Рассмотрим зеркальную симметрию S_α – преобразование постраноства, выберем систему координат таким образом, чтобы плоскость симметрии α совпала с плоскостью XOY, тогда S_α будет задаваться следующим образом.  Рассмотрим произвольную точку М(x, y, z), найдем ее образ при преобразовании . Т.к. зеркальная симметрия инволютивна, то . При зеркальной симметрии S_α точка М переходит в точку М₁(x, y, -z). Далее, при аффинном преобразовании g точка М₁ переходит в точку М₂(a₁x + b₁y - c₁z + d₁, a₂x + b₂y - c₂z + d₂, a₃x + b₃y - c₃z + d₃) (п. 13). M₂ при зеркальной симметрии S_α переходит в М₃(a₁x + b₁y - c₁z + d₁, a₂x + b₂y - c₂z + d₂, -a₃x - b₃y + c₃z - d₃). Тогда - аффинное преобразование, аналитически оно задается следующим образом.
                                                                          (41)

14.2. Трансформация косого сжатия движением

q

Рис. 9

l

P

A’

A

Косое сжатие – частный случай родства, при котором каждая точка А плоскости смещается в некотором фиксированном направлении так, что ее расстояние от некоторой фиксированной прямой q изменяется в k раз:  (рис. 9). [3]
Рассмотрим произвольное движение f и косое сжатие g с осью q, направлением l и коэффициентом k. Найдем, что представляет собой трансформация косого сжатия произвольным движением – , для этого возьмем произвольную точку А и найдем ее образ при данной трансформации (рис. 10).
Точка А при произвольном движении f ^-1 перейдет в точку А₁, которая при косом сжатии перейдет в точку А₂ такую, что А₁А₂ || l, . Точка А₂ при движении f перейдет в точку А₃. Заметим, что прямая q₁ = f(q) – инвариантная прямая всей трансформации (по теореме о неподвижных прямых). Из точек А₁ и А₂ проведем перпендикуляры на прямую q – А₁В₁ и А₂В₂, а из точек А и А₃ – на прямую q₁ – АВ и А₃В₃. Тогда АВ и А₃В₃ – образы отрезков А₁В₁ и А₂В₂ при движении f, значит, АВ = А₁В₁ и А₃В₃ = А₂В₂ , следовательно, . Мы получили, что при этой трансформации расстояние от точки А до прямой q₁ изменилось в k раз: . Причем из того, что А₁А₂ || l, следует, что AA₃ || f(l), потому что при движении сохраняется параллельность прямых, значит, точка А сместилась в направлении f(l). Следовательно, в силу произвольности точки А, искомая трансформация есть косое сжатие с осью f(q), направлением f(l) и коэффициентом k.

A3

B3

B

A

B2

A2

B1

A1

q

q1

O

l

Рис. 10

14.3. Трансформация сдвига движением

Сдвигом называется аффинное преобразование плоскости, при котором произвольная точка А смещается параллельно фиксированной прямой q на расстояние, пропорциональное ее расстоянию от прямой q (рис. 11).  - коэффициент сдвига. [3]

Рис.12

q

q1

A

A3

A1

A2

f

f-1

A’

Рис. 11

P

A

q

Рассмотрим произвольное движение f и сдвиг g с осью q и коэффициентом k. Найдем, что представляет собой трансформация сдвига произвольным движением – , для этого возьмем произвольную точку А и найдем ее образ при данной трансформации (рис. 12).
Точка А при произвольном движении f ^-1 перейдет в точку А₁, которая при сдвиге перейдет в точку А₂ такую, что А₁А₂ ||q, . Точка А₂ при движении f перейдет в точку А₃. Заметим, что прямая q₁ = = f(q) – инвариантная прямая всей трансформации (по теореме о неподвижных прямых); АА₃ – образ отрезка А₁А₂ при движении f, значит,  АА₃ = А₁А₂, d(A₁, q) = d(A, q₁) и АА₃ ||q, тогда . Следовательно, в силу произвольности точки А, искомая трансформация есть сдвиг с осью f(q) и коэффициентом k.

15. Трансформация аффинного преобразования подобием

15.1. Трансформация косого сжатия подобием

Рассмотрим косое сжатие g с осью q, направлением l и коэффициентом m и подобие , где f – движение, найдем трансформацию g^h. . В силу ассоциативности композиции преобразований,   . По доказанному в п. 13.2,  есть g₁ - косое сжатие с осью , направлением l и коэффициентом m. Тогда  По доказанному в пункте 14.2, g₁ ^f есть косое сжатие с осью f(q₁), направлением f(l) и коэффициентом m. Таким образом, вся искомая трансформация представляет собой косое сжатие с осью , направлением f(l) и коэффициентом m.

15.2. Трансформация сдвига подобием

Рассмотрим сдвиг g с осью q и коэффициентом m и подобие , где f – движение, найдем трансформацию g^h.   . В силу ассоциативности композиции преобразований,   . По доказанному в п. 13.3,  есть g₁ - сдвиг с осью  и коэффициентом m. Тогда  По доказанному в пункте 14.3, g₁ ^f есть косое сжатие с осью f(q₁) и коэффициентом m. Таким образом, вся искомая трансформация представляет собой косое сжатие с осью  и коэффициентом m.

16. Трансформация аффинного преобразования          аффинным преобразованием

16.1. Трансформация косого сжатия произвольным аффинным преобразованием

A3

q

q1

B2

B1

B

A1

A

A2

B3

l

Рис. 13

С

С3

f

f-1

Рассмотрим произвольное аффинное преобразование и косое сжатие g с осью q, направлением l и коэффициентом k. Найдем, что представляет собой трансформация косого сжатия g произвольным аффинным преобразованием f – , для этого возьмем произвольную точку А и найдем ее образ при данной трансформации (рис. 13).
Точка А при аффинном преобразовании f ^-1 перейдет в точку А₁, которая при косом сжатии g перейдет в точку А₂ такую, что А₁А₂ ||l, . Далее точка А₂ при аффинном преобразовании f перейдет в точку А₃. Заметим, что прямая q₁ = f(q) – инвариантная прямая всей трансформации (по теореме о неподвижных прямых). Из точек А₁ и А₂ проведем перпендикуляры на прямую q – А₁В₁ и А₂В₂, а из точек А и А₃ – на прямую q₁ – АВ и А₃В₃. Пусть АС и А₃С₃ – образы отрезков А₁В₁ и А₂В₂ при аффинном преобразовании f, значит, А₁В₁||А₂В₂ и  (т.к. при косом сжатии сохраняется параллельность прямых и отношение параллельных отрезков), тогда  (соответственные углы при пересечении параллельных прямых секущей), следовательно, прямоугольные треугольники АВС и А₃В₃С₃ подобны, исходя из этого . Мы получили, что при этой трансформации расстояние от точки А до прямой q₁ изменилось в k раз: . Причем из того, что А₁А₂ || l, следует, что AA₃||f(l), потому что при косом сжатии сохраняется параллельность прямых, значит, точка А сместилась в направлении f(l). Следовательно, в силу произвольности точки А, искомая трансформация есть косое сжатие с осью f(q), направлением f(l) и коэффициентом k.

17. Решение задач с помощью трансформации преобразований

E

Рис. 14

N

D

C

M

B

A

P

F

O

Задача 1. Даны правильные одинаково ориентированные треугольники OAB, OCD, OEF. Доказать, что середины M, N, P соответственно отрезков BC, DE, AF являются вершинами правильного треугольника. [1]
Решение. Из четырехугольника BEDC находим:     (рис. 14). Помня, что результат поворота вектора не зависит от центра поворота, выполним поворот этих векторов на -60°: ,   , . На основании (6) образом вектора  будет вектор   . Отсюда и следует, что треугольник MNP правильный.
Задача 2. Найти все перемещения плоскости, перестановочные с осевой симметрией S_l. [«Математика в школе», 1977, №1, задача 1802]
Решение. Из определения (1) следует, что . Если f = S_l, то на основании зависимости (3) имеем: . Задача требует найти такие перемещения g, чтобы . А для этого необходимо и достаточно того, чтобы S_l = S_g(l), откуда l = g(l). Перемещениями, отображающими прямую l на себя, являются: осевая симметрия с осью l, осевые симметрии, оси которых перпендикулярны прямой l, центральные симметрии с центрами на l, переносы параллельно l, переносные симметрии с осью l, тождественные перемещения и только эти преобразования.
 Задача 3. Определить взаимное расположение центров A, B, C и зависимость между коэффициентами k, l, m гомотетий A_k, B_l, C_m, если
                                        ,                                     (42)
где точки A, B, C различны и числа k, l, m не равны 1.
Решение. Из данной зависимости (42) получаем:   , или в принятых обозначениях (1)
                                            .                                         (43)
Рассмотрим отдельно два возможных случая: lk ≠ 1 и lk = 1. В первом случае , причем . Отсюда получаем: . Согласно формуле (24), результатом трансформации гомотетии гомотетией является снова гомотетия. Поэтому , при этом по теореме о неподвижной точке Q = B_1/l(P) и, следовательно, . Тогда (43) принимает вид:
,
где Q = C_m(P), и, значит, . Так как , , , то точки A, B, C коллинеарны. Как видим, при lk ≠ 1 для коэффициентов k, l, m дополнительных ограничений не возникает.
При lk = 1 по формуле (22) будет , тогда    и согласно (26) . Поэтому (43) принимает вид , или  при любом положении точки C. Отсюда lm = 1. Итак, при lk = lm = 1 центры A, B, C гомотетий произвольны.
Задача 4. Точки А, В, С лежат на прямой а, точки А₁, В₁, С₁ – на прямой а₁, параллельной прямой а (рис. 15). Доказать, что точки P = (AB₁) ∩ (A₁B), Q = (AC₁) ∩ (A₁C) и R = (BC₁) ∩ (B₁C) коллинеарны (теорема Паппа-Паскаля).

A

Рис. 15

a1

a

P

Q

R

C1

B1

A1

C

B

Решение. Рассмотрим гомотетии P_k, R_l, Q_m, заданные указанными центрами и парами точек A → B₁, B₁ → C, C → A₁ соответственно. Так как по условию a || a₁, то Q_m(A) = C₁, R_l(C₁) = B, P_k(B) = A₁. Замечаем, что , поскольку произведение коэффициентов гомотетий в каждой из этих композиций одно и то же и эти композиции имеют общую пару соответственных точек A → A₁. На основании предыдущей задачи при lk ≠ 1 точки P, Q, R коллинеарны. Если же lk = lm = 1, то при  a || a₁ это возможно лишь тогда, когда (PR) || a и (PQ) || a, то есть и в этом случае точки  P, Q, R коллинеарны.
Задача 5. Если фигура имеет ось симметрии и единственный центр симметрии, то центр симметрии принадлежит оси симметрии. Доказать.
Решение. Пусть l – ось симметрии и Q – единственный центр симметрии фигуры F, то есть S_l(F) = F и Z_Q(F) = F. Тогда композиция  отображает F на себя. Поскольку , где A = = S_l(Q), то Z_A(F) = F. Следовательно, точка A является центром симметрии фигуры F. Если бы , то A ≠ Q, что противоречит условию единственности центра симметрии фигуры F. Значит, .
Задача 6. Если композиция двух подобий перестановочна и одно из них имеет единственную неподвижную точку, то эта точка неподвижна и при втором подобии. Доказать.
Решение. Из (1) следует, что для любых преобразований f и g всегда выполняется равенство . Из него видно, что для того, чтобы , необходимо и достаточно выполнения условия f = f^g. Если теперь f и g – подобия и A – единственная неподвижная точка подобия f (центр подобия), то она будет неподвижной при преобразовании f^g = f. С другой стороны, по теореме о неподвижной точке подобие f^g имеет неподвижную точку g(A). В силу единственности неподвижной точки подобия f = f^g должно быть A = g(A), то есть A – неподвижная точка подобия g.

Библиографический список

1. Понарин, Я.П. Перемещения и подобия плоскости. [текст]/ Скопец З.А. – К.: Радянська школа, 1981. – 175 с.
2. Понарин, Я.П. Преобразования пространства. [текст] – Киров: Издательство ВГПУ, 2000. – 80 с.
3. Яглом, И.М. Идеи и методы аффинной и проективной геометрии. Часть 1. [текст]/ В.Г. Ашкинузе. – М.: Учпедгиз, 1962. – 247 с.
4. Скопец, З.А. Геометрические миниатюры. [текст]/ Сост. Г.Д. Глейзер. – М.: Просвещение, 1990. – 224 с.
5. Бахман, Ф. Построение геометрии на основе понятия симметрии. [текст] – М.: Наука, 1969.