Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
270
Добавлен:
21.04.2015
Размер:
2.18 Mб
Скачать

все различны), то по теореме о композиции двух гомотетий Sju (SijSiu)

и Sju0 (Sij0 Siu0 ). Следовательно, шесть точек S12, S120 , S23, S230 , S13, S130 группируются в четыре тройки коллинеарных точек: S12, S23, S12; S12,

S230 , S130 ; S120 , S23, S130 ; S120 , S230 , S13, причем через каждую точку проходят две из полученных четырех прямых.

15.4. Теорема Менелая. Пусть на прямых BC, CA, AB, определяющих треугольник ABC, даны точки A1, B1, C1. Для того, чтобы эти точки лежали на одной прямой, необходимо и достаточно, чтобы

AB1

·

 

CA1

·

BC1

= −1.

(1)

 

 

 

 

 

 

B1C

A1B

C1A

Д о к а з а т е л ь с т в о. Пусть точки A1, B1, C1 коллинеарны (рис.90).

Обозначим A1C = k1, B1A = k2, C1B = k3. Тогда HAk1 (B) = C, HBk2 (C) = A

A1B B1C C1A 1 1

и поэтому (HBk21 ◦ HAk11 )(B) = A. Существенно, что k1k2 6= 1, так как из

k1k2 = 1 следовало бы

A1C

=

B1C

, или

CA1

=

CB1

, т. е. точки A1 и B1

 

 

 

 

 

 

 

 

A1B B1A

 

A1B B1A

 

делили бы соответственно отрезки CB и CA в

 

 

 

 

одном отношении, что возможно лишь при усло-

 

 

C

 

вии (A1B1)

k

(AB), противоречащем условию те-

 

 

 

 

 

A1

B1

 

 

 

 

 

k1

 

k2

 

 

 

оремы. Композицией гомотетий HA1 и HB1 яв-

 

C1

 

ляется гомотетия с коэффициентом k1k2 и цен-

 

 

 

 

 

 

B

A

тром (AB) ∩ (A1B1) = C1, причем HCk11k2 (B) = A.

 

 

Рис. 90

 

С другой стороны, HCk31 (B) = A в силу приня-

 

 

 

 

тых обозначений. Так как центром C1

и парой

 

 

 

 

точек B →A гомотетия определена, то HCk11k2 = HCk31 , откуда k1k2 = k3 или,

с учетом обозначений, A1C · B1A = C1B . А это равенство равносильно

A1B B1C C1A

доказываемому равенству (1).

Обратно, пусть выполняется соотношение (1) и требуется доказать коллинеарность точек A1, B1, C1.

Используя прежние обозначения, имеем: HAk11 (B) = C, HBk21 (C) = A и поэтому (HBk21 ◦ HAk11 )(B) = A. Существенно, что k1k2 6= 1, так как из k1k2 = 1 и равенства (1), которое эквивалентно k1k2 = k3, следовало бы k3 = 1, т. е. C1A = C1B, откуда A = B, что противоречит условию теоремы. Итак, HBk21 ◦ HAk11 есть гомотетия с коэффициентом k1k2 = k3. С другой стороны, HCk31 (B) = A. Поскольку гомотетия определяется коэффициентом k1k2 = k3 и парой точек B →A, то HBk21 ◦HAk11 = HCk31 , откуда следует коллинеарность центров A1, B1, C1 этих гомотетий.

221

§16. Решение задач с помощью композиций гомотетий

За д а ч а 1. Дана трапеция ABCD с основаниями AB и CD. Произвольная точка P прямой BC, отличная от точек B и C, соединена

 

 

D

 

C

 

с вершиной D и с серединой M основания

 

 

 

 

AB. Доказать, что если (P D) ∩ (AB) = X,

 

 

 

 

 

 

 

Q

 

 

X

B

(P M) ∩ (AC) = Q, (DQ) ∩ (AB) = Y , то точ-

A

Y

M

 

 

ка M является

серединой отрезка XY

 

 

 

(рис. 91).

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

Р е ш е н и е. Зададим гомотетию

HQ,

 

 

 

 

 

 

 

 

Рис. 91

 

 

 

при которой A → C, и гомотетию HP , отоб-

 

 

 

 

 

 

ражающую C в B. Их композиция отоб-

 

 

 

 

 

 

ражает A в B и имеет центр

в

точке

 

 

S

 

 

 

(AB) ∩ (P Q) = M. Поскольку точка

M —

 

 

 

 

 

 

 

 

 

 

 

 

середина AB, то эта композиция явля-

 

 

 

 

 

 

ется центральной симметрией ZM с цен-

 

 

 

 

 

 

тром M. Замечаем,

что HQ(Y ) = D и

y

 

 

 

 

 

HP (D) = X. Следовательно, ZM (Y ) = X, от-

 

 

 

 

 

куда MX = MY .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

z

З а д а ч а 2. Построить окружность, ка-

 

C

сающуюся двух данных окружностей так,

 

 

 

 

 

 

 

 

 

a

O

 

 

x

чтобы прямая, соединяющая точки каса-

 

 

 

ния, проходила через данную точку P .

 

 

Z

A

 

 

 

Р е ш е н и е.

Пусть

искомая

окруж-

u

 

E S1

 

 

X

 

 

 

ность x касается данных окружностей a

 

 

D

 

 

 

 

 

 

 

 

и a1 (с центрами O и O1) соответственно в

 

 

B

 

 

 

Y

 

 

 

 

точках A и B, при этом P (AB) (рис. 92).

 

 

 

 

 

 

 

U

 

 

 

Рассмотрим гомотетию с центром A, кото-

 

 

 

 

 

рая отображает a на x, и гомотетию с цен-

a1

 

O1

 

 

 

 

 

 

 

тром B, отображающую x на a1. Их ком-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

позиция в данном порядке отображает a

 

 

 

 

 

на a1 и потому имеет своим центром точку

 

 

 

 

F

 

 

 

 

 

 

S = (AB) ∩(OO1). Значит, прямая AB опре-

 

 

 

 

 

P

 

 

 

 

 

 

деляется точками P и S, а точка S строится

 

 

Рис. 92

 

 

 

как центр гомотетии окружностей a и a1

 

 

 

 

 

(п. 13.2). Центр X искомой окружности x

 

 

 

 

 

 

 

 

 

 

 

 

находится как точка пересечения прямых

OA и O1B (при условии, что прямая SP не является общей касательной

к окружностям a и a1). Если окружности a и a1 не равны, то существуют

222

два центра S и S1 гомотетий, отображающих a на a1. Решения суще-

ствуют, когда хотя бы одна из прямых SP и S1P пересекает данные

окружности. Наибольшее число решений равно четырем: две окружно-

сти x и y для центра S гомотетии с положительным коэффициентом

(соответственно для пар A, B и M, N точек пересечения прямой SP

с окружностями) и две окружности z и u для центра S1 гомотетии с

отрицательным коэффициентом (соответственно для пар C, D и E, F

точек пересечения прямой S1P с окружностями).

 

 

 

 

Когда окружности a и a1 равны, решение отличается лишь тем, что

прямая, соединяющая точки касания одной из искомых окружностей с

данными окружностями, параллельна линии центров OO1.

 

 

 

З а д а ч а 3. Дана прямая a и не принадлежащие ей точки A, B,

C, D. Найти на прямой a такие точки M и N, чтобы (AM) k (BN) и

(DM) k (CN).

 

 

 

 

 

 

)

a = S

 

Р е ш е н и е. Пусть искомые точки M и N построены и (ABk

 

,

(CDl) ∩ a = T (рис. 93),kпричем S 6= Tl. Зададим гомотетии HS

(A) = B

и HT (D) = C. Тогда HS

(M) = N и HT (M) = N и поэтому композиция

H1/l

Hk

 

M

 

 

k = l

точка M

T

S отображает точку

 

на себя. Если

 

6

, то искомая 1/l

k

 

должна быть центром гомотетии, являющейся композицией HT

◦ HS.

Для ее построения найдем пару соответственных точек при этой ком-

позиции. Учитывая, что HT1/l(C) = D, строим P = HT1/l(B). Тогда A → P

при рассматриваемой композиции и поэтому M = (AP ) ∩ (ST ). Постро-

ение точки N уже очевидно.

 

 

 

 

 

 

 

 

Если (AB) k a или (CD) k a, то гомотетии HSk

и HTl заменяются со-

ответственно переносами на векторы AB и DC. При k = l композиция

HT1/l ◦ HSk есть перенос, отличный

 

 

 

 

 

 

 

от тождественного, и поэтому непо-

 

 

B

 

 

 

 

движных точек не существует. Сле-

 

 

C

 

 

 

 

 

 

 

 

 

довательно, при SB = TC

задача

A

 

 

 

 

 

 

 

SA

TD

 

 

 

 

 

 

 

 

 

не имеет решения. В особом слу-

 

P

D

 

чае, когда S = T , задача имеет бес-

 

a

 

 

S

T

M

N

конечное множество решений. Если

 

 

 

 

AB = DC = r¯ и r¯ k a, то композиция

 

 

Рис. 93

 

TAB ◦ TCD есть тождественное преобразование и решение существует

для любой точки M прямой a. При исключении трех последних частных случаев существуют две пары точек прямой a, удовлетворяющие заданным условиям. Одно из этих решений показано на рис. 93. Второе получается заменой гомотетии HTl (или переноса TDC) обратным преобразованием.

223

Задачи

2.46.Может ли композиция двух гомотетий с одним и тем же коэффициентом и с центрами A и B быть гомотетией с центром в середине отрезка AB?

2.47.Найдите композицию Tr— ◦ HOk ; HOk ◦ Tr—.

2.48.Существует ли общий коэффициент трех гомотетий с центрами

ввершинах данного треугольника ABC таких, чтобы их композиция была гомотетией с центром в центроиде данного треугольника?

2.49.Даны три параллельных неравных отрезка MN, P Q, RS. Докажите, что три точки пересечения прямых MP и NQ, MR и NS, P R и QS коллинеарны, точки пересечения прямых MQ и NP , QR и P S, MR и NS также коллинеарны.

2.50.Постройте общую пару соответственных точек при двух данных гомотетиях.

2.51.Докажите, что перенос и гомотетия имеют общую пару соответственных точек. Постройте эту пару.

2.52.Точки M и N являются серединами сторон AB и CD прямоугольника ABCD, Q — произвольная точка прямой AC, (QM) ∩(BC) = = P . Докажите, что прямая MN — ось симметрии прямых NQ и NP .

2.53.Через точку M, лежащую на стороне AB параллелограмма ABCD, проведена прямая MP параллельно AC (P (BC)), а через точку B — прямая BN параллельно MD (N (DC)). Докажите, что точки D, Q = (AC) ∩ (BN), P принадлежат одной прямой.

2.54.На сторонах BC, CA, AB треугольника ABC даны соответственно точки A1, B1, C1 такие, что прямые AA1, BB1, CC1 пересекаются в одной точке (или параллельны). Докажите, что композиция

трех гомотетий HA1 (B) = C, HB1 (C) = A. HC1 (A) = B есть центральная симметрия. Сформулируйте и докажите обратное утверждение.

2.55. Дан пятиугольник ABCDE. Прямая m пересекает прямые AB, BC, CD, DE, EA в точках M, N, P , Q, S соответственно. Докажите,

 

ε

 

d

 

g

b

 

a

есть тождественное преобра-

что композиция HS

◦ HQ

◦ HP

◦ HN

◦ HM

зование, если a =

MB

, b =

NC

, g =

P D

, d =

QE

 

, ε =

SA

.

 

 

 

 

 

 

 

MA

 

NB

 

P C

 

QD

 

SE

2.56.Окружности w1 и w2 с центрами O1 и O2 касаются окружности w в точках A1 и A2. Через точку M окружности w проведены прямые MA1 и MA2, пересекающие w1 и w2 вторично в точках B1 и B2. Докажите, что прямые A1A2, B1B2, O1O2 пересекаются в одной точке или параллельны.

2.57.Дан треугольник ABC и точка Q. Точки M, N, P — ее ортогональные проекции на прямые BC, CA, AB соответственно. Через

224

середины отрезков QM, QN, QP проведены прямые m, n, p параллельно соответственно прямым BC, CA, AB. Докажите, что треугольник, стороны которого принадлежат прямым m, n, p, равен треугольнику с вершинами в серединах сторон треугольника ABC.

§17. Преобразование подобия

17.1.Определение подобия и подобных фигур. Рассмотрим отображение f плоскости на себя, при котором расстояния между точками

умножаются на одно и то же положительное число k: если f(A) = A1 и f(B) = B1, то A1B1 = k ·AB (для любых A, B). Это отображение обратимо, потому что из AB > 0 всегда следует A1B1 > 0. Значит, отображение f — преобразование плоскости.

О п р е д е л е н и е. Преобразование плоскости называется преобразованием подобия, или подобием, если для любых двух точек A и B и

их образов A1 и B1 при этом преобразовании выполняется равенство A1B1 = k · AB, где k — постоянное (положительное) число, называемое

коэффициентом подобия.

В частности, при k = 1 подобие является движением. Гомотетия с коэффициентом k (k 6= 0) есть подобие с коэффициентом |k|, так как по лемме о гомотетии (п. 12.2) A1B1 = k · AB, откуда A1B1 = |k|AB.

Композиция двух подобий с коэффициентами k1 и k2 есть подобие с коэффициентом k1k2. В частности, композиция движения и гомотетии

скоэффициентом k будет подобием с коэффициентом |k|.

Из определения подобия следует также, что преобразование, обратное подобию с коэффициентом k, есть подобие с коэффициентом k1 :

1

AB = k A1B1.

Фигура Φ1 называется подобной фигуре Φ (пишут: Φ1 Φ), если существует подобие, отображающее Φ на Φ1. Отношение фигур «быть подобными» рефлексивно, симметрично и транзитивно.

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

Для треугольников имеются известные признаки подобия. Другие подобные фигуры распознаются на основании определения: подыскивается такое преобразование подобия, которое отображает одну фигуру на другую.

225

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

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

Д о к а з а т е л ь с т в о. Если fk — подобие с коэффициентом k, то композиция fk ◦ HO1/(±k) гомотетии HO1/(±k) с произвольным центром O и этого подобия есть некоторое движение f : fk ◦ HO1/(±k) = f, так как

эта композиция сохраняет расстояния между точками (k · k1 = 1). Рас-

смотрим композицию (fk ◦ HO1/(±k)) ◦ HO±k = f ◦ HO±k. Используя ассоциативность композиции преобразований и замечая, что HO1/(±k) ◦ HO±k

есть тождественное преобразование, получаем:

fk = f ◦ HO±k.

(17.1)

Если начать доказательство с рассмотрения движения HO1/(±k) fk = g, g 6= f, то аналогичным образом будем иметь:

fk = HO±k ◦ g.

(17.2)

В частности, при fk = HOk движения f и g являются тождественными, а при fk = f = g гомотетия HOk (k = 1) есть тождественное преобразование.

Из разложений (17.1) и (17.2) явствует, что свойства фигур, сохраняющиеся при гомотетии и при движении, сохраняются и при подобии. Они называются инвариантами подобий. Сравнивая п. 1.2 с п. 12.2 и 12.3, получаем следующие инварианты подобий:

1)подобие отображает прямую на прямую, отрезок на отрезок,

2)подобие отображает параллельные прямые на параллельные прямые (но образ прямой не обязан быть параллельным этой прямой),

3)подобие отображает луч на луч, полуплоскость на полуплоскость,

4)подобие отображает угол на равный ему угол,

5)подобие сохраняет отношение длин любых двух отрезков, т. е. отношение длин отрезков равно отношению длин их образов.

Последнее свойство непосредственно следует и из определения подобия: если AB и CD — произвольные отрезки, A1B1 и C1D1 — их образы

при подобии, то A1B1 = k · AB и C1D1 = k · CD, поэтому A1B1 : C1D1 = = AB : CD.

Таким образом, основными инвариантами подобий являются свойства фигур быть прямой (коллинеарность точек), отрезком, лучом, полуплоскостью, углом, a также параллельность прямых, величина угла, отношение длин двух отрезков.

226

§18. Задание подобия плоскости

18.1.Теорема о задании подобия плоскости. Если заданы три некол-

линеарные точки A, B, C плоскости и три точки A1, B1, C1 такие, что A1B1 = k · AB, B1C1 = k · BC, C1A1 = k · CA, то существует одно

итолько одно преобразование подобия плоскости, при котором точки

A, B, C отображаются соответственно на точки A1, B1, C1.

Д о к а з а т е л ь с т в о. Рассмотрим гомотетию HOk с центром в про-

извольной точке O. Если HOk (A) = A0, HOk (B) = B0, HOk (C) = C0, то точки A0, B0, C0 неколлинеарны и A0B0 = k ·AB, B0C0 = k ·BC, C0A0 = k ·CA.

Отсюда

и из условия

теоремы

следует: A0B0 = A1B1, B0C0 = B1C1

,

C0A0 = C1A1. По теореме о задании движения (п. 1.3) существует един-

ственное

движение f

плоскости

такое, что f(A0) = A1, f(B0) = B1

,

f(C0) = C1. Композиция f ◦ HOk = fk есть подобие плоскости, при котором A → A1, B → B1 C → C1. Этим существование требуемого подобия доказано.

Докажем его единственность. Пусть имеются два подобия f и y

такие,

что

 

f(A) = A1,

f(B) = B1,

f(C) = C1

и

y(A) = A1,

y(B) = B1,

y(C) = C1. Отсюда ясно, что

коэффициенты

этих подобий должны

быть равны. Композиция

y−1

f

является

движением, при котором

 

 

 

 

y

−1

 

f должно

точки

A

,

B

,

C неподвижны. По теореме п. 1.3 движение

 

 

 

 

y

−1 ◦ f = E, откуда y = f.

 

 

 

быть тождественным:

 

 

 

 

 

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

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

18.2. Два рода подобий. Построение образа точки при подобии.

Можно доказать, что если треугольник ABC и его образ A1B1C1 при подобии плоскости имеют одинаковые ориентации, то одинаковые ориентации имеют любой другой треугольник и его образ при этом подобии. Если же треугольники ABC и A1B1C1 ориентированы противоположно, то и любой другой треугольник противоположно ориентирован со своим образом. Иначе говоря, существуют две и только две возможности: или подобие сохраняет ориентацию в с е х треугольников, или же оно меняет ориентацию в с е х треугольников на противоположную.

Подобие плоскости, сохраняющее ориентацию треугольников, называется подобием первого рода. Подобие, изменяющее ориентацию треугольников на противоположную, называется подобием второго рода. Гомотетия — подобие первого рода.

227

Если указан род подобия, то для его задания достаточно знать образы лишь д в у х точек: A → A1, B → B1. Тогда для любой выбранной точки M однозначно строится ее образ M1 при этом подобии. Если M / (AB), то на основании признака подобия треугольников по двум углам на отрезке A1B1 строится треугольник A1B1M1, подобный треугольнику ABM и ориентированный одинаково или противоположно с треугольником ABM в зависимости от указанного рода подобия. Если M (AB), то независимо от указанного рода подобия ее образом бу-

дет такая точка M1 (A1B1), что A1M1 = AM = l. Для ее построения

B1M1 BM

достаточно известным способом разделить отрезок A1B1 в данном отношении l. Можно поступить и иначе: сначала найти образ N1 точки N / (AB) и затем, используя пару N → N1, построить с помощью подобных треугольников образ M1 точки M (AB).

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

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

1)всякое подобие первого рода представимо композицией гомотетии

идвижения первого рода,

2)всякое подобие второго рода представимо композицией гомотетии

идвижения второго рода.

§19. Классификация подобий плоскости

19.1. Классификация подобий первого рода получается из классифи-

кации движений первого рода (на переносы и повороты) путем рассмот-

рения композиции гомотетии и этих движений. Композиция гомотетии

и переноса, а также переноса и гомотетии есть гомотетия с тем же ко-

эффициентом, но с другим центром (задача 2.47). Поэтому остается

 

M0

рассмотреть

композиции

гомотетий

и

поворотов.

M0

Композиция гомотетии и поворота с общим цен-

 

O a

 

тром коммутативна:

 

 

 

 

 

M

M1

 

a

k

k

a

 

 

 

 

 

 

 

 

 

 

RO

◦ HO = HO ◦ RO,

 

 

Рис. 94

что легко усматривается непосредственно. Действи-

 

 

 

k

a

(M) = M0, то каждая из этих композиций

тельно, если HO

(M) = M1 и RO

отображает произвольную точку M на одну и ту же точку M0 (рис.94).

 

 

 

228

 

 

 

 

 

Композиция гомотетии и поворота с общим центром называется гомотетическим поворотом (или поворотной гомотетией).

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

Теорема. Всякое подобие первого рода плоскости, отличное от гомотетии и движения, является гомотетическим поворотом.

Д о к а з а т е л ь с т в о. Пусть подобие f первого рода задано ком-

k

a

a

6= 0,

a

6=

p

, так как в противном случае

позицией HB

◦ RA, где k 6= 1,

 

 

 

подобие f было бы движением или гомотетией, что исключено условием теоремы. При A = B доказывать нечего, и поэтому считаем A 6= B. Если HBk (A) = A0, то f(A) = A0. Если B0 — прообраз точки B

a

a

f

(B) = B. Следовательно, по-

при повороте RA, т. е. RA(B0) = B, то

 

добие f можно задать двумя парами точек: A → A0, B0 → B (рис. 95).

Рассмотрим окружность w, проходящую через

 

 

точки A и A0 и касающуюся прямой AB0 в

w

 

точке A. Эта окружность всегда существует,

 

 

поскольку при указанных ограничениях точки

 

 

A, A0, B0 неколлинеарны. При этих ограниче-

A

O

ниях всегда существует и окружность, прохо-

a A0 a

дящая через A, B, B0. Эти две окружности

A1

a

пересекаются в точках A и O. Без сужения

 

 

общности доказательства можно считать, что

 

 

|a| < p. Тогда ]AOA1 = ]B0AB = ]B0OB = a.

 

B

Поскольку

f(AB0) = A0B,

то,

A0B

 

= k. Рас-

 

 

 

 

 

 

 

k

a

AB0

a

 

 

 

смотрим композицию HO ◦ RO. Если RO(A) =

B0

B1

 

a

 

 

0

), B1

(OB),

 

= A1 и RO(B0) = B1, то A1 (OA

 

 

A1B1 = AB0

и ]AB0O = ]A1B1O. Но,

кро-

Рис. 95

 

ме того, ]AB0O = ]ABO и поэтому ]ABO =

 

 

= ]A1B1O. Значит, A1B1 k A0B и

A0B

= k, от-

 

 

A1B1

 

 

куда вытекает, что HOk (A1) = A0

и HOk (B1) = B. Таким образом, компози-

k

a

 

0

и B0 в B, вследствие чего она совпадает

ция HO

◦RO

отображает A1 в A

с заданным подобием f. Итак,

 

 

 

 

 

 

 

 

 

 

 

 

k

 

a

k

a

,

 

 

 

 

 

 

 

 

 

 

f = HB ◦ RA = HO

◦ RO

 

что по определению и есть гомотетический поворот.

Таким образом, всякое подобие первого рода есть либо гомотетия, либо движение (поворот или перенос), либо гомотетический поворот. Гомотетию и поворот можно считать частными случаями гомотетического поворота соответственно при a = 0 и k = 1.

229

Представление подобия первого рода коммутативной композицией

поворота и гомотетии с общим центром

д в у з н а ч н о. Действительно,

если

f

 

 

k

 

a

 

 

 

 

(−1)

(−1)

(−1)

 

p

полу-

 

= HO

◦ RO, то замечая, что E = HO

◦ HO

= HO

◦ RO

чаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

k

◦ E

a

k

(−1)

 

p

a

−k

 

p+a

.

 

 

 

 

 

= HO

◦ RO = (HO ◦ HO

) ◦ (RO

◦ RO) = HO

◦ RO

 

Итак,

f

 

 

k

a

−k

p+a

.

 

 

 

 

 

 

 

 

 

= HO ◦ RO

= HO

◦ RO

 

 

 

 

 

 

 

 

Других аналогичных представлений заданного подобия первого рода быть не может, так как подобие, отличное от движения, не может иметь двух неподвижных точек, а для коэффициента гомотетии имеются ровно две возможности: при данном k он может равняться лишь k или −k. Поэтому предположение о существовании третьего представления приводит к двум полученным.

19.2.Классификация подобий второго рода. Композиции гомотетии

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

Композиция осевой симметрии и гомотетии, центр которой принадлежит оси симметрии, коммутативна:

 

Sl ◦ HOk = HOk ◦ Sl, O l.

В самом деле, если HOk (M) = M1 и Sl(M) = M0, то каждая из этих ком-

позиций переводит произвольную точку M в одну и ту же точку M0

 

 

(рис. 96).

M0

 

Композиция осевой симметрии и гомоте-

M0

 

тии, центр которой лежит на оси симмет-

 

рии, называется гомотетической симмет-

 

 

O

l

рией.

 

 

Подобия второго рода сводятся к гомо-

M

 

тетическим симметриям и переносным сим-

M1

 

метриям.

 

Теорема. Всякое подобие второго рода

 

 

Рис. 96

 

плоскости, отличное от движения, явля-

 

 

ется гомотетической симметрией.

Д о к а з а т е л ь с т в о. Если f — подобие второго рода, не являюще-

еся движением, то на основании сказанного выше положим f = HOk ◦ Sl

(k 6= 1). При O l доказывать нечего. Считаем, что O / l, и проведем

через O прямую m перпендикулярно l. Пусть m ∩ l = A, Sl(O) = O1,

 

 

230