Гомотетия

Обобщенная операция масштабирования в геометрии
Гомотетия: пример с k > 0. k = 1 соответствует тождеству (ни одна точка не перемещается); k > 1увеличению ; k < 1уменьшению.
Пример с k < 0. k = −1 соответствует точечному отражению в точке S
Гомотетия пирамиды

В математике гомотетия (или гомотеция , или однородное расширение ) — это преобразование аффинного пространства, определяемое точкой S, называемой ее центром , и ненулевым числом k, называемым ее отношением , которое переводит точку X в точку X по правилу [1]

С Х = к С Х {\displaystyle {\overrightarrow {SX'}}=k{\overrightarrow {SX}}} для фиксированного числа . к 0 {\displaystyle к\neq 0}

Использование векторов положения:

х = с + к ( х с ) {\displaystyle \mathbf {x} '=\mathbf {s} +k(\mathbf {x} -\mathbf {s} )} .

В случае (Происхождение): С = О {\displaystyle S=O}

х = к х {\displaystyle \mathbf {x} '=k\mathbf {x} } ,

что является равномерным масштабированием и показывает значение специальных выборов для : к {\displaystyle к}

для одного получается отображение идентичности , к = 1 {\displaystyle к=1}
поскольку один получает отражение в центре, к = 1 {\displaystyle к=-1}

Для одного получаем обратное отображение, определяемое формулой . 1 / к {\displaystyle 1/к} к {\displaystyle к}

В евклидовой геометрии гомотетии — это подобия , которые фиксируют точку и либо сохраняют (если ), либо меняют на противоположное (если ) направление всех векторов. Вместе с переносами все гомотетии аффинного (или евклидова) пространства образуют группу , группу растяжений или гомотетий-переносов . Это в точности аффинные преобразования со свойством, что образ каждой прямой g является прямой , параллельной g . к > 0 {\displaystyle к>0} к < 0 {\displaystyle к<0}

В проективной геометрии гомотетическое преобразование — это преобразование подобия (т. е. фиксирующее заданную эллиптическую инволюцию), которое оставляет линию на бесконечности поточечно инвариантной . [2]

В евклидовой геометрии гомотетия отношения умножает расстояния между точками на , площади на и объемы на . Здесь — отношение увеличения или фактора расширения или масштабного фактора или отношения подобия . Такое преобразование можно назвать увеличением, если масштабный фактор превышает 1. Вышеупомянутая неподвижная точка S называется гомотетическим центром или центром подобия или центром подобия . к {\displaystyle к} | к | {\displaystyle |к|} к 2 {\displaystyle к^{2}} | к | 3 {\displaystyle |k|^{3}} k {\displaystyle k}

Термин, придуманный французским математиком Мишелем Шалем , происходит от двух греческих элементов: префикса homo- ( όμο ' подобный ' }; и трансл.  grc  – трансл.  thesis ( Θέσις ) ' положение ' ). Он описывает связь между двумя фигурами одинаковой формы и ориентации. Например, две русские матрешки, смотрящие в одном направлении, можно считать гомотетичными.

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

Характеристики

Следующие свойства справедливы в любом измерении.

Картографирование линий, отрезков и углов

Гомотетия обладает следующими свойствами:

  • Прямая отображается на параллельную прямую. Следовательно: углы остаются неизменными.
  • Соотношение двух отрезков сохраняется.

Оба объекта недвижимости показывают:

Вывод свойств: Для упрощения вычислений предполагается, что центр является началом координат: . Прямая с параметрическим представлением отображается на множество точек с уравнением , которое является прямой, параллельной . S {\displaystyle S} x k x {\displaystyle \mathbf {x} \to k\mathbf {x} } g {\displaystyle g} x = p + t v {\displaystyle \mathbf {x} =\mathbf {p} +t\mathbf {v} } g {\displaystyle g'} x = k ( p + t v ) = k p + t k v {\displaystyle \mathbf {x} =k(\mathbf {p} +t\mathbf {v} )=k\mathbf {p} +tk\mathbf {v} } g {\displaystyle g}

Расстояние между двумя точками равно и расстояние между их изображениями. Следовательно, отношение (частное) двух отрезков остается неизменным. P : p , Q : q {\displaystyle P:\mathbf {p} ,\;Q:\mathbf {q} } | p q | {\displaystyle |\mathbf {p} -\mathbf {q} |} | k p k q | = | k | | p q | {\displaystyle |k\mathbf {p} -k\mathbf {q} |=|k||\mathbf {p} -\mathbf {q} |}

В случае расчета все аналогично, но немного сложнее. S O {\displaystyle S\neq O}

Следствия: Треугольник отображается на подобный . Гомотетическим образом круга является круг. Изображением эллипса является подобный. т.е. отношение двух осей не меняется.

С теоремой о перехвате

Графические конструкции

используя теорему о перехвате

Если для гомотетии с центром задано изображение точки (см. рисунок), то изображение второй точки , не лежащей на одной прямой, можно построить графически с помощью теоремы о перехвате: является общей точкой двух прямых и . Изображение точки, коллинеарной с , можно определить с помощью . S {\displaystyle S} Q 1 {\displaystyle Q_{1}} P 1 {\displaystyle P_{1}} Q 2 {\displaystyle Q_{2}} P 2 {\displaystyle P_{2}} S P 1 {\displaystyle SP_{1}} Q 2 {\displaystyle Q_{2}} P 1 P 2 ¯ {\displaystyle {\overline {P_{1}P_{2}}}} S P 2 ¯ {\displaystyle {\overline {SP_{2}}}} P 1 , Q 1 {\displaystyle P_{1},Q_{1}} P 2 , Q 2 {\displaystyle P_{2},Q_{2}}

Пантограф
Геометрический фон
3D-рендеринг пантографа

с помощью пантографа

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

Конструкция и геометрический фон:

  1. Возьмите 4 стержня и соберите подвижный параллелограмм с вершинами так, чтобы два стержня, встречающиеся в , были продолжены на другом конце, как показано на рисунке. Выберите отношение . P 0 , Q 0 , H , P {\displaystyle P_{0},Q_{0},H,P} Q 0 {\displaystyle Q_{0}} k {\displaystyle k}
  2. На удлиненных стержнях отметьте две точки так, что и . Это имеет место, если (Вместо расположения центра можно задать. В этом случае отношение равно .) S , Q {\displaystyle S,Q} | S Q 0 | = k | S P 0 | {\displaystyle |SQ_{0}|=k|SP_{0}|} | Q Q 0 | = k | H Q 0 | {\displaystyle |QQ_{0}|=k|HQ_{0}|} | S Q 0 | = k k 1 | P 0 Q 0 | . {\displaystyle |SQ_{0}|={\tfrac {k}{k-1}}|P_{0}Q_{0}|.} k {\displaystyle k} S {\displaystyle S} k = | S Q 0 | / | S P 0 | {\displaystyle k=|SQ_{0}|/|SP_{0}|}
  3. Прикрепите подвижные стержни с возможностью вращения в точке . S {\displaystyle S}
  4. Меняйте местоположение точки и отметки в каждый момент времени . P {\displaystyle P} Q {\displaystyle Q}

Из (см. диаграмму) следует из теоремы о перехвате , что точки коллинеарны (лежат на одной прямой) и уравнение выполняется. Это показывает: отображение является гомотетией с центром и отношением . | S Q 0 | / | S P 0 | = | Q 0 Q | / | P P 0 | {\displaystyle |SQ_{0}|/|SP_{0}|=|Q_{0}Q|/|PP_{0}|} S , P , Q {\displaystyle S,P,Q} | S Q | = k | S P | {\displaystyle |SQ|=k|SP|} P Q {\displaystyle P\to Q} S {\displaystyle S} k {\displaystyle k}

Состав

Композиция двух гомотетий с центрами S 1 , S 2 и отношениями k 1 , k 2 = 0,3, отображающая P i &rarrow; Q i &rarrow; R i , снова является гомотетией с центром S 3 на прямой S 1 S 2 с отношением k ⋅ l = 0,6 .
  • Композиция двух гомотетий с одним и тем же центром снова является гомотетией с центром . Гомотетии с центром образуют группу . S {\displaystyle S} S {\displaystyle S} S {\displaystyle S}
  • Композиция двух гомотетий с разными центрами и ее соотношения : S 1 , S 2 {\displaystyle S_{1},S_{2}} k 1 , k 2 {\displaystyle k_{1},k_{2}}
в случае гомотетии с центром на линии и отношением или k 1 k 2 1 {\displaystyle k_{1}k_{2}\neq 1} S 1 S 2 ¯ {\displaystyle {\overline {S_{1}S_{2}}}} k 1 k 2 {\displaystyle k_{1}k_{2}}
в случае перевода в направлении . Особенно, если ( точечные отражения ). k 1 k 2 = 1 {\displaystyle k_{1}k_{2}=1} S 1 S 2 {\displaystyle {\overrightarrow {S_{1}S_{2}}}} k 1 = k 2 = 1 {\displaystyle k_{1}=k_{2}=-1}

Вывод:

Для композиции двух гомотетий с центрами с σ 2 σ 1 {\displaystyle \sigma _{2}\sigma _{1}} σ 1 , σ 2 {\displaystyle \sigma _{1},\sigma _{2}} S 1 , S 2 {\displaystyle S_{1},S_{2}}

σ 1 : x s 1 + k 1 ( x s 1 ) , {\displaystyle \sigma _{1}:\mathbf {x} \to \mathbf {s} _{1}+k_{1}(\mathbf {x} -\mathbf {s} _{1}),}
σ 2 : x s 2 + k 2 ( x s 2 )   {\displaystyle \sigma _{2}:\mathbf {x} \to \mathbf {s} _{2}+k_{2}(\mathbf {x} -\mathbf {s} _{2})\ }

для изображения точки получаем расчетом : X : x {\displaystyle X:\mathbf {x} }

( σ 2 σ 1 ) ( x ) = s 2 + k 2 ( s 1 + k 1 ( x s 1 ) s 2 ) {\displaystyle (\sigma _{2}\sigma _{1})(\mathbf {x} )=\mathbf {s} _{2}+k_{2}{\big (}\mathbf {s} _{1}+k_{1}(\mathbf {x} -\mathbf {s} _{1})-\mathbf {s} _{2}{\big )}}
  = ( 1 k 1 ) k 2 s 1 + ( 1 k 2 ) s 2 + k 1 k 2 x {\displaystyle \qquad \qquad \ =(1-k_{1})k_{2}\mathbf {s} _{1}+(1-k_{2})\mathbf {s} _{2}+k_{1}k_{2}\mathbf {x} } .

Таким образом, композиция имеет вид

в случае перемещения в направлении вектора . k 1 k 2 = 1 {\displaystyle k_{1}k_{2}=1} S 1 S 2 {\displaystyle {\overrightarrow {S_{1}S_{2}}}}   ( 1 k 2 ) ( s 2 s 1 ) {\displaystyle \ (1-k_{2})(\mathbf {s} _{2}-\mathbf {s} _{1})}
в случае точки k 1 k 2 1 {\displaystyle k_{1}k_{2}\neq 1}
S 3 : s 3 = ( 1 k 1 ) k 2 s 1 + ( 1 k 2 ) s 2 1 k 1 k 2 = s 1 + 1 k 2 1 k 1 k 2 ( s 2 s 1 ) {\displaystyle S_{3}:\mathbf {s} _{3}={\frac {(1-k_{1})k_{2}\mathbf {s} _{1}+(1-k_{2})\mathbf {s} _{2}}{1-k_{1}k_{2}}}=\mathbf {s} _{1}+{\frac {1-k_{2}}{1-k_{1}k_{2}}}(\mathbf {s} _{2}-\mathbf {s} _{1})}

является фиксированной точкой (не перемещается) и композиция

σ 2 σ 1 :   x s 3 + k 1 k 2 ( x s 3 ) {\displaystyle \sigma _{2}\sigma _{1}:\ \mathbf {x} \to \mathbf {s} _{3}+k_{1}k_{2}(\mathbf {x} -\mathbf {s} _{3})\quad } .

является гомотетией с центром и отношением . лежит на прямой . S 3 {\displaystyle S_{3}} k 1 k 2 {\displaystyle k_{1}k_{2}} S 3 {\displaystyle S_{3}} S 1 S 2 ¯ {\displaystyle {\overline {S_{1}S_{2}}}}

Сочинение с переводом
  • Композиция гомотетии и перевода есть гомотетия.

Вывод:

Состав гомотетии

σ : x s + k ( x s ) , k 1 , {\displaystyle \sigma :\mathbf {x} \to \mathbf {s} +k(\mathbf {x} -\mathbf {s} ),\;k\neq 1,\;} и перевод
τ : x x + v {\displaystyle \tau :\mathbf {x} \to \mathbf {x} +\mathbf {v} } является
τ σ : x s + v + k ( x s ) {\displaystyle \tau \sigma :\mathbf {x} \to \mathbf {s} +\mathbf {v} +k(\mathbf {x} -\mathbf {s} )}
= s + v 1 k + k ( x ( s + v 1 k ) ) {\displaystyle =\mathbf {s} +{\frac {\mathbf {v} }{1-k}}+k\left(\mathbf {x} -(\mathbf {s} +{\frac {\mathbf {v} }{1-k}})\right)}

которая является гомотетией с центром и отношением . s = s + v 1 k {\displaystyle \mathbf {s} '=\mathbf {s} +{\frac {\mathbf {v} }{1-k}}} k {\displaystyle k}

В однородных координатах

Гомотетию с центром можно записать как композицию гомотетии с центром и трансляции: σ : x s + k ( x s ) {\displaystyle \sigma :\mathbf {x} \to \mathbf {s} +k(\mathbf {x} -\mathbf {s} )} S = ( u , v ) {\displaystyle S=(u,v)} O {\displaystyle O}

x k x + ( 1 k ) s {\displaystyle \mathbf {x} \to k\mathbf {x} +(1-k)\mathbf {s} } .

Следовательно, можно представить в однородных координатах матрицей: σ {\displaystyle \sigma }

( k 0 ( 1 k ) u 0 k ( 1 k ) v 0 0 1 ) {\displaystyle {\begin{pmatrix}k&0&(1-k)u\\0&k&(1-k)v\\0&0&1\end{pmatrix}}}

Чистое гомотетическое линейное преобразование также является конформным , поскольку оно состоит из переноса и равномерного масштабирования.

Смотрите также

Примечания

  1. Адамар (1906), стр. 134.
  2. ^ Туллер (1967), стр. 119.

Ссылки

  • Коксетер, Х.С.М. (1961), «Введение в геометрию», Wiley, стр. 94
  • Адамар, Ж. (1906), «V: Homothétie et Similtude» [V: Гомотетия и подобие], Leçons de Géométrie élémentaire. I: Géométrie plane [ Уроки элементарной геометрии. I: Plane Geometry ] (на французском языке) (2-е изд.), Париж: Арман Колен
  • Месерв, Брюс Э. (1955), «Гомотетические преобразования», Фундаментальные концепции геометрии , Эддисон-Уэсли , стр.  166–169
  • Туллер, Аннита (1967), Современное введение в геометрию , Университетская серия по математике для студентов бакалавриата, Принстон, Нью-Джерси: D. Van Nostrand Co.
  • Гомотетия, интерактивный апплет от Cut-the-Knot .
Retrieved from "https://en.wikipedia.org/w/index.php?title=Homothety&oldid=1267590689"