Классификация подобий

ОПРЕДЕЛЕНИЕ 1. Преобразование подобия – это преобразование (плоскости), для которого существует

такое число k >0 – коэффициент подобия, что X'Y' = kXY, где X' и Y' – образы любых двух точек X и Y.
ЛЕММА 1. 1) Композиция двух преобразований подобия с коэффициентами k1 и k2 есть преобразование
подобия с коэффициентом k1k2. 2) Преобразование, обратное подобию с коэффициентом k есть подобие
с коэффициентом 1/k.
ЛЕММА 2. Подобие F с коэффициентом k≠1 можно представить в виде композиции движения и
гомотетии с коэффициентом k: F = Hk G.

ОПРЕДЕЛЕНИЕ 2. Композиция гомотетии и поворота с общим центром называется спиральным подобием

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

ТЕОРЕМА О КЛАССИФИКАЦИИ ПОДОБИЙ. Всякое преобразование подобия, не являющееся движением –

это либо спиральное подобие, либо зеркальное подобие.

«ГЕОМЕТРИЧЕСКОЕ» ДОКАЗАТЕЛЬСТВО
1. Число преобразований подобия, переводящих точки A, B в точки A1, B1, равно числу подобий,
оставляющих A и B на месте.
2. СЛЕДСТВИЕ (ПРИНЦИП ПОДВИЖНОСТИ ПЛОСКОСТИ ДЛЯ ПОДОБИЙ). Если A, B и A1, B1 – две пары
различных точек, то существуют ровно два подобия, отображающих A на A1 и B на B1.
3. Для любой тройки точек A, B, C, где AB ≠ BC, постройте такое а) спиральное, б) зеркальное подобие
F, что F(A) = B, F(B) = C. Рассмотрите отдельно случаи, когда точки A, B и C лежат или не лежат на
одной прямой.
4. Закончите классификацию.

«АНАЛИТИЧЕСКОЕ» ДОКАЗАТЕЛЬСТВО
1. КЛАССИФИКАЦИЯ ПОДОБИЙ С НЕПОДВИЖНОЙ ТОЧКОЙ. Если подобие имеет неподвижную точку, то оно
является спиральным или зеркальным подобием.
2. ТЕОРЕМА О НЕПОДВИЖНОЙ ТОЧКЕ. Любое подобие F, не являющееся движением, имеет неподвижную
точку.
ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О НЕПОДВИЖНОЙ ТОЧКЕ

Случай k < 1.
1. Существует такой круг K, что круг F(K) лежит внутри K.
2. Для K0 = K из предыдущего пункта круги Kn = F(Kn–1), n = 1, 2, …, образуют вложенную
последовательность (т.е. K0 ⊃ K1 ⊃ … ⊃ Kn ⊃ …) и их радиусы стремятся к нулю.
3. Круги Kn имеют единственную общую точку O. (Указание: с помощью теоремы Кантора докажите,
что проекции этих кругов на ось x имеют единственную общую точку x0, и рассмотрите пересечения
кругов с прямой x = x0.)
4. F(O) = O.
Случай k > 1.
5. Сведите этот случай к первому, используя Лемму 1.
■
УПРАЖНЕНИЕ. Если в определении 2 взять гомотетии с отрицательным коэффициентом, то как
полученные преобразования представить в стандартном виде (с k > 0)?