Просмотр кода страницы Центр подобия

[[Файл:Homothetic transformation.svg|thumb|right|Рисунок 1: Точка '''O''' является внешним центром подобия для двух треугольников. Размер каждой фигуры пропорционален её расстоянию до центра подобия.]]

'''Центр подобия''' (или '''центр гомотетии''') — это точка, из которой по меньшей мере две [[Подобие|геометрически подобные]] фигуры можно видеть как {{не переведено 5|Масштабирование (геометрия)|масштабирование||scaling (geometry)}} (растяжение/сжатие) друг друга.  Если центр ''внешний'', две фигуры похожи друг на друга прямо — их углы одни и те же в смысле вращения.  Если центр ''внутренний'', две фигуры являются изменёнными в размерах отражениями друг друга — их углы противоположны.

[[Файл:Geom podobnost stejnolehlest.svg|thumb|left|Рисунок 2: Две геометрические фигуры относительно внешнего центра подобия '''S'''. Углы в соответствующих точках те же самые и имеют тот же смысл. Например, углы ABC и A'B'C' оба равны по размерам и по направлению (по часовой стрелке/против часовой стрелки).]]
{{clear}}

== Многоугольники ==
[[Файл:Point circle.svg|thumb|Внешний (сверху) и внутренний (внизу) центры подобия двух окружностей (выделены красным) показаны как зелёные точки.]]

Если две геометрические фигуры имеют центр подобия, они [[Подобие|подобны]] друг другу. Другими словами, они должны иметь те же самые углы в соответствующих точках и отличаются только их относительными размерами.  Центр подобия и две фигуры не обязательно должны принадлежать одной плоскости. Он может относиться к {{не переведено 5|Трёхмерная проекция|трёхмерной проекции||3D projection}} из центра подобия.

Центры подобия могут быть внешние или внутренние. Если центр внутренний, две геометрические фигуры являются изменёнными в размерах зеркальными отражениями друг друга. Говоря техническим языком, они имеют противоположную [[Хиральность (математика)|хиральность]]. Направленный по часовой стрелке угол одной фигуры будет соответствовать углу против часовой стрелки на другой.  И наоборот, если центр подобия внешний, две фигуры прямо пропорциональны друг другу — их углы имеют тот же смысл.

== Окружности ==

Окружности геометрически подобны друг другу и зеркально симметричны. Пара окружностей имеет оба типа центров подобия, внешний и внутренний, если только центры не совпадают или окружности имеют одинаковый радиус. Эти особые случаи трактуются как [[Общее положение|общие случаи]]. Эти два центра подобия лежат на прямой, проходящей через центры двух данных окружностей, которая называется ''линией центров'' (Рисунок 3). Окружности с нулевым радиусом можно тоже включать в рассмотрение (смотрите особые случаи), как и отрицательные радиусы, при этом происходит смена ролей внешних и внутренних центров подобий.

=== Вычисление центра подобия ===
[[Файл:Circles homothetic centers.svg|thumb|right|300px|Рисунок 3: Две окружности имеют оба вида центров подобия, внутренний ('''I''') и внешний ('''E'''). Радиусы окружностей (''r''<sub>1</sub> и ''r''<sub>2</sub>) пропорциональны расстоянию (d) от каждого центра подобия. Точки '''A'''<sub>1</sub> и '''A'''<sub>2</sub> гомологичны, как точки '''B'''<sub>1</sub> и '''B'''<sub>2</sub>.]]
Для данной пары окружности внутренний и внешний центры подобия можно найти различными путями. В [[Аналитическая геометрия|аналитической геометрии]] внутренний центр подобия является [[Среднее арифметическое взвешенное|средним взвешенным]] центров окружностей, где вес соответствует радиусу противоположной окружности – расстояние от центра окружности до внутренней точки подобия пропорциональны ''противоположным'' радиусам. Если обозначить центры окружностей <math>C_1</math> и <math>C_2</math> как <math>(x_1, y_1)</math> и <math>(x_2, y_2)</math> и их радиусы как <math>r_1</math> и <math>r_2</math>, а центр подобия <math>(x_0, y_0),</math>, имеем:
:<math>(x_0, y_0) = \frac{r_2}{r_1 + r_2}(x_1, y_1) + \frac{r_1}{r_1 + r_2}(x_2, y_2).</math>
Внешний центр можно получить из того же уравнения, если принять один из радиусов отрицательным. Какой бы радиус мы не приняли отрицательным, будем иметь то же самое уравнение:
:<math>(x_e, y_e) = \frac{-r_2}{r_1 - r_2}(x_1, y_1) + \frac{r_1}{r_1 - r_2}(x_2, y_2).</math>
Обобщая, если взять радиусы с одним и тем же знаком (оба положительны или оба отрицательных), получим внутренний центр, в то время как радиусы с разными знаками (один положительный, а другой отрицательный) дадут внешний центр подобия. Заметим, что уравнение для внутреннего центра остаётся верным для любых значений (если только оба радиуса не равны нулю или в сумме радиусы не дают нуль), но уравнение для внешних центров требует, чтобы радиусы были различны, иначе получим деление на ноль.

В элементарной геометрии, если нарисованы два параллельных диаметра, по одному в окружности, они будут составлять один и тот же угол ''α'' с линией центров. Прямые '''A'''<sub>1</sub>'''A'''<sub>2</sub>  и '''B'''<sub>1</sub>'''B'''<sub>2</sub>, проведённые через соответствующие конечные точки радиусов, являющиеся гомологичными токами, пересекают друг друга и линию центров во ''внешнем'' центре подобия.  Прямые же  '''A'''<sub>1</sub>'''B'''<sub>2</sub> и '''B'''<sub>1</sub>'''A'''<sub>2</sub>, проведённые через одну конечную точку и противоположную конечную точку, пересекают друг друга и линию центров во ''внутреннем'' центре подобия.

==== Особые случаи ====
Если окружности имеют один и тот же радиус (но разные центры), не существует внешнего центра подобия в [[Евклидово пространство|аффинной плоскости]] — в аналитической геометрии это приводит к делению на нуль, а в классической геометрии прямые <math>A_1A_2</math> и <math>B_1B_2</math> параллельны линии центров (как для секущих прямых, так и для касательных), а потому не могут пересекаться. Внешний центр подобия можно определить в [[Проективная плоскость|проективной плоскости]] как точку на бесконечности, соответствующую пересечению прямых.

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

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

Если две окружности идентичны (имеют один центр и одинаковые радиусы), внутренний центр подобия — это их общий центр, но нет хорошо определённого внешнего центра. В пределе, когда две окружности равного радиуса двигаются друг к другу до совпадения центров, внешний центр подобия находится на бесконечности и потому может быть где угодно, а потому никакого внешнего центра подобия для таких окружностей не существует.

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

=== Гомологичные и антигомологичные точки ===
[[Файл:Two circles anti-homologous points radical axis.svg|thumb|400px|Рисунок 4: Прямые через соответствующие антигомологичные точки пересекаются на радикальных осях двух заданных окружностей (зелёные и синие). Точки '''Q''' и '''P&prime;''' антигомологичны, как и  '''S''' и '''R&prime;'''. Эти четыре точки лежат на окружности, которая пересекает две данные окружности. Прямые через точки пересечения новой окружности с двумя заданными окружностями должны пересекаться в [[Степень точки относительно окружности|радикальном центре]] '''G''' трёх окружностей, который лежит на [[Радикальная ось двух окружностей|радикальных осях]] двух заданных окружностей.]]
В общем случае луч, исходящий из центра подобия, пересекает каждую окружность в двух местах. Из этих четырёх точек две ''гомологичны'', если радиусы, проведённые из них, составляют один и тот же угол с линией центров, т.е. точки '''A<sub>1</sub>''' и '''A<sub>2</sub>''' на рисунке 3. Точки, которые лежат на одной прямой с центром подобия, но ''не'' гомологичные, называются ''антигомологичными'',{{sfn|Weisstein|}} как, например, точки '''Q''' и '''P&prime;''' на рисунке 4.

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

Пусть даны треугольники '''EQS''' и '''EQ&prime;S&prime;''' (рисунок 4).<br/>
Они подобны, поскольку имеют общий угол '''∠QES=∠Q&prime;ES&prime;''' и <math>\frac{EQ}{EQ^\prime}=\frac{ES}{ES^\prime}</math>, поскольку '''E''' является центром подобия.
Из этого подобия следует, что '''∠ESQ=∠ES&prime;Q&prime;=α'''.
Вследствие теоремы [[Вписанный угол|о вписанном угле]] '''∠EP&prime;R&prime;=∠ES&prime;Q&prime;'''.
'''∠QSR&prime;=180°-α''', поскольку это [[Дополнительные углы|дополнительный угол]] для '''∠ESQ'''.
В [[Четырёхугольник|четырёхугольнике]] '''QSR&prime;P&prime; ∠QSR&prime;+∠QP&prime;R&prime;=180°-α+α=180°''', что означает, что четырёхугольник [[Вписанный четырёхугольник|вписан]].
Из [[Степень точки относительно окружности|теоремы о секущих]] следует, что '''EQ•EP&prime;=ES•ER&prime;.'''

Тем же способом можно показать, что '''PRS&prime;Q&prime;''' может быть вписан в окружность и '''EP•EQ&prime;=ER•ES&prime;.'''

Доказательство аналогично доказательству для внутреннего центра подобия '''I'''.<br/>
'''PIR~P&prime;IR&prime;''', следовательно, '''∠RPI=∠IP&prime;R&prime;=α'''.
'''∠RS&prime;Q&prime;=∠PP&prime;R&prime;=α''' (теорема о вписанном угле).
Сегмент '''RQ&prime;''' виден под тем же углом из '''P''' и '''S&prime;''' что означает, что '''R, P, S&prime;''' и '''Q&prime;''' лежат на окружности.
Тогда из [[Вписанный четырёхугольник|теоремы о пересекающихся хордах]] '''IP•IQ&prime;=IR•IS&prime;.'''
Похожим образом можно показать, что '''QSP&prime;R&prime;''' может быть вписан в окружность и '''IQ•IP&prime;=IS•IR&prime;.'''

=== Связь с радикальными осями ===
Две окружности имеют [[Радикальная ось двух окружностей|радикальные оси]], прямые, состоящие из точек, из которых отрезки от точки до точки касания обоих окружностей имеют одну длину. Обобщённо, любая точка на радикальной оси имеет свойство, что её [[Степень точки относительно окружности|степени]] относительно окружностей равны. Радикальная ось всегда перпендикулярна линии центров, и если две окружности пересекаются, их радикальная ось проходит через точки пересечения окружностей.  Для трёх окружностей можно определить три радикальные оси, для каждой пары окружностей (''C''<sub>1</sub>/''C''<sub>2</sub>, ''C''<sub>1</sub>/''C''<sub>3</sub> и ''C''<sub>2</sub>/''C''<sub>3</sub>). Замечателен	 факт, что эти три радикальные оси пересекаются в одной точке, [[Радикальный центр|радикальном центре]].  Касательные отрезки, проведённые из радикального центра до всех трёх окружностей, будут иметь одну и ту же длину.

Любые две пары антигомологичных точек могут быть использованы для нахождения точки на радикальной оси.  Пусть два луча проведены из внешнего центра подобия '''E''', как на рисунке 4.  Эти лучи пересекают две заданные окружности (зелёная и синяя на рисунке 4) в двух парах антигомологичных точек, '''Q''' и '''P&prime;''' для первого луча, и '''S''' и '''R&prime;''' для второго луча. Эти четыре точки лежат на одной окружности, которая пересекает обе заданные окружности. По определению, прямая '''QS''' является радикальной осью для новой окружности и зелёной окружности, в то время как прямая '''P&prime;R&prime;''' является радикальной осью для новой окружности и синей окружности. Эти две прямые пересекаются в точке '''G''', которая является радикальным центром трёх окружностей — новой окружности и двух исходных. Таким образом, точка '''G''' также лежит на радикальной оси двух исходных окружностей.

=== Касательные окружности и антигомологичные точки ===
Для любой пары антигомологичных точек двух окружностей существует третья окружность, которая касается исходных окружностей в антигомологичных точках.<br/>
Обратное также верно — любая окружность, касающаяся двух других окружностей, касается их в антигомологичных точках.
[[Файл:Two circles tangent homothetic center.svg|thumb|400px| Рисунок 5: Любая окружность, касающаяся двух других окружностей, касается их в антигомологичных точках]]
Пусть наши две окружности имеют центры '''O<sub>1</sub>''' и '''O<sub>2</sub>''' (Рисунок 5). Пусть '''E''' — их внешний центр подобия.
Строим произвольный луч из точки '''E''', который пересекает две окружности в точках '''P, Q, P&prime;''' и '''Q&prime;'''.
Продлим '''O<sub>1</sub>Q''' и '''O<sub>2</sub>P&prime;''' до пересечения (в точке
'''T<sub>1</sub>''').
Легко показать, что треугольники '''O<sub>1</sub>PQ''' и '''O<sub>2</sub>P&prime;Q&prime;''' подобны. Эти треугольники [[Равнобедренный треугольник|равнобедренны]], поскольку '''O<sub>1</sub>P=O<sub>1</sub>Q''' ([[радиус]]), потому
'''∠O<sub>1</sub>PQ=∠O<sub>1</sub>QP=∠O<sub>2</sub>P&prime;Q&prime;=∠O<sub>2</sub>Q&prime;P&prime;=∠T<sub>1</sub>QP&prime;=∠T<sub>1</sub>P&prime;Q'''.
Но тогда '''T<sub>1</sub>P&prime;Q''' также будет равнобедренным, и можно построить окружность с центром в '''T<sub>1</sub>''' и радиусом '''T<sub>1</sub>P&prime;=T<sub>1</sub>Q'''. Эта окружность касается двух исходных окружностей в точках '''Q''' и '''P&prime;'''.

Аналогично доказывается утверждение для другой пары антигомологичных точек ('''P''' и '''Q&prime;'''), а также для случая внутреннего центра подобия.

[[Файл:External Homothetic center Tangent circles family.svg|left|thumb| Рисунок 6: Семейство касательных окружностей для внешнего центра подобия]]
[[Файл:Internall Homothetic center Tangent circles family.svg|thumb|left| Рисунок 7: Семейство касательных окружностей для внутреннего центра подобия]]
Если мы построим касательные окружности для каждой возможной пары антигомологичных точек, мы получим два семейства окружностей — для каждого центра подобия. Семейство окружностей для внешнего центра подобия таково, что окружности этого семейства либо содержат ''обе'' исходные окружности внутри себя, либо ни одной (рисунок 6). С другой стороны, окружности из семейства для внутреннего центра содержат всегда одну из исходных окружностей (рисунок 7).

[[Файл:Two circles tangent radical.svg|thumb|right|400px| Рисунок 8: Радикальные оси касательных окружностей проходят через радикальный центр]]
Все окружности из семейства касательных окружностей имеют общий радикальный центр и он совпадает с центром подобия.

Для того, чтобы это показать, представим два луча из центра подобия, пересекающие заданные окружности (рисунок 8). Существуют две касательные окружности ''T<sub>1</sub>'' и ''T<sub>2</sub>'', которые касаются исходных окружностей в антигомологичных точках. Как мы уже показали, эти точки лежат на окружности ''C'', а потому эти два луча являются радикальными осями для ''C''/''T<sub>1</sub>'' и ''C''/''T<sub>2</sub>''. Точка пересечения этих радикальных осей должна лежать также на радикальной оси ''T<sub>1</sub>''/''T<sub>2</sub>''. Эта точка пересечения — центр подобия '''E'''.

Если две касательные окружности касаются в антигомологичных точках, лежащих на прямой через точку подобия, как на рисунке 5, то из-за подобия <math>\frac{EP}{EP^\prime}=\frac{EQ}{EQ^\prime}; {EP}\cdot{EQ^\prime}={EQ}\cdot{EP^\prime}</math>. Но тогда степени точки '''E''' по отношению к двум касательным окружностям равны, что означает, что '''E''' принадлежит радикальной оси.

=== Центр подобия трёх окружностей ===
{{see also| Теорема Монжа}}
Любая пара окружностей имеет два центра подобия, поэтому три окружности будут иметь шесть центров подобия, по два на каждую пару (различных) окружностей. Интересно, что все эти шесть точек лежат на четырёх прямых, по три точки на каждой прямой. Вот один из способов показать это.
[[Файл:Homothetic centers of three circles lie on a line.svg|thumb|400px| Рисунок 9: В случае трёх окружностей три центра подобия (для каждой пары окружностей) лежат на одной прямой]]
Представим на ''[[Плоскость (геометрия)|плоскости]]'' три окружности (рисунок 9). Добавим для каждого центра окружностей точку на перпендикуляре к плоскости, отстоящую от исходного центра на расстояние, равное соответствующему радиусу. Точки можно добавить с любой стороны плоскости. Три полученные точки определяют плоскость. В этой плоскости мы построим три прямых через каждую пару точек. Эти прямые пересекают плоскость окружностей в точках '''H<sub>AB</sub>''', '''H<sub>BC</sub>''' и '''H<sub>AC</sub>'''. Поскольку [[Геометрическое место точек|геометрическим местом точек]], которые принадлежат обеим непараллельным плоскостям, является прямая, эти три точки будут лежать на одной прямой. Из подобия треугольников '''H<sub>AB</sub>AA&prime;''' и '''H<sub>AB</sub>BB&prime;''' мы видим, что <math>\frac{H_{AB}B}{H_{AB}A}=\frac{r_B}{r_A}</math> (здесь '''r<sub>A,B</sub>''' — радиусы), а потому '''H<sub>AB</sub>''' является центром подобия двух соответствующих окружностей. Мы можем сделать то же самое для '''H<sub>BC</sub>''' и '''H<sub>AC</sub>'''.
[[Файл:Homothetic centers of three circles.svg|thumb|left|300px| Рисунок 10: Все шесть центров подобия (точек) трёх окружностей лежат на четырёх прямых (жирные линии)]]
Повторяя процесс для различных комбинаций центров подобия (в нашем методе они определяются сторонами, с которых мы выбираем точки относительно плоскости), получим четыре прямых — по три центра подобия на каждой прямой (рисунок 10).

Существует и другой метод доказательства.
[[Файл:Tangent circles to three circles radical axis.svg|thumb|300px| Рисунок 11: Синяя прямая является радикальной осью двух касающихся окружностей ''C<sub>1</sub>'' и ''C<sub>2</sub>'' (светло-красные). Каждая пара исходных окружностей имеет центр подобия, лежащий на радикальной оси двух касающихся окружностей. Поскольку радикальные оси — ''прямые'', это означает, что три центра подобия лежит на одной прямой]]
Пусть ''C<sub>1</sub>'' и ''C<sub>2</sub>'' — пара сопряжённых окружностей ко  ''всем'' трём исходным окружностям (рисунок 11). Под сопряжённостью здесь мы понимаем, что окружности принадлежат тому же самому семейству для одной из пары исходных окружностей. Как мы уже видели, радикальная ось любых двух касательных окружностей из одного класса проходит через центр подобия двух исходных окружностей. Поскольку касательные окружности являются общими для всех трёх пар исходных окружностей, их центры подобия лежат на радикальной оси ''C<sub>1</sub>'' и ''C<sub>2</sub>'', т.е. на одной прямой.

Это свойство используется в общем решении Жозефа Диаса Жергонна [[Задача Аполлония|задачи Аполлония]]. Если даны три окружности, можно найти центры подобия, а затем радикальные оси пар искомых окружностей. Естественно, имеется бесконечно много окружностей с одними и теми же радикальными осями, так что нужна дополнительная работа, чтобы определить в точности, какая пара окружностей является решением.

== См. также ==

* [[Подобие]]
* [[Гомотетия]]
* [[Радикальная ось двух окружностей]], [[Степень точки относительно окружности|Радикальный центр]]
* [[Задача Аполлония]]

== Примечания ==
{{примечания}}

== Литература ==
{{Refbegin}}
* {{книга
|автор= Johnson RA 
|год= 1960 
|заглавие= Advanced Euclidean Geometry: An Elementary treatise on the geometry of the Triangle and the Circle 
|издательство= Dover Publications 
|место= New York
}}
* {{статья
|автор=Paul Kunkel
|год=2007
|заглавие=The tangency problem of Apollonius: three looks
|journal=[[BSHM Bulletin]]: [[Journal of the British Society for the History of Mathematics]]
|том= 22
|выпуск=1
|doi=10.1080/17498430601148911
|страницы=34–46
|url=http://whistleralley.com/tangents/bshmkunkel.pdf
}}
* {{cite web
|ref=Weisstein
|author=Eric W. Weisstein
|title=Antihomologous Points
|publisher=[[MathWorld]]--A Wolfram Web Resource
|url=http://mathworld.wolfram.com/AntihomologousPoints.html
}}

{{Refend}}

{{нет ссылок|дата=6 сентября 2018}}
{{rq|checktranslate|style}}

[[Категория:Евклидова геометрия]]
[[Категория:Окружности]]