В евклидовой плоской геометрии касательная линия к окружности — это линия , которая касается окружности ровно в одной точке , никогда не заходя внутрь окружности. Касательные линии к окружностям составляют предмет нескольких теорем и играют важную роль во многих геометрических конструкциях и доказательствах . Поскольку касательная к окружности в точке P перпендикулярна радиусу этой точки, теоремы , включающие касательные, часто включают радиальные линии и ортогональные окружности.
Касательная t к окружности C пересекает окружность в одной точке T . Для сравнения: секущие линии пересекают окружность в двух точках, тогда как другая линия может вообще не пересекать окружность. Это свойство касательных линий сохраняется при многих геометрических преобразованиях , таких как масштабирование , вращение , перемещение , инверсия и картографические проекции . Говоря техническим языком, эти преобразования не меняют структуру инцидентности касательной линии и окружности, даже если линия и окружность могут быть деформированы.
Радиус круга перпендикулярен касательной, проходящей через его конечную точку на окружности круга. И наоборот, перпендикуляр к радиусу, проходящий через ту же конечную точку, является касательной. Полученная геометрическая фигура из круга и касательной имеет зеркальную симметрию относительно оси радиуса.
Никакую касательную линию нельзя провести через точку внутри круга, поскольку любая такая линия должна быть секущей. Однако к окружности можно провести две касательные линии из точки P вне окружности. Геометрическая фигура круга и обеих касательных линий также обладает отражательной симметрией относительно радиальной оси, соединяющей P с центральной точкой O круга. Таким образом, длины отрезков от P до двух точек касания равны. По теореме о секущем-касательном квадрат этой касательной длины равен степени точки P в окружности C. Эта степень равна произведению расстояний от P до любых двух точек пересечения окружности с секущей линией, проходящей через P.
Касательная линия t и точка касания T имеют сопряженные отношения друг с другом, что было обобщено в идею полюсных точек и полярных линий . Такое же взаимное отношение существует между точкой P вне круга и секущей линией, соединяющей две точки касания.
Если точка P является внешней по отношению к кругу с центром O и если касательные линии, проходящие из P, касаются круга в точках T и S , то ∠ TPS и ∠ TOS являются дополнительными (в сумме равны 180 °).
Если хорда TM проведена из точки касания T внешней точки P и ∠ PTM ≤ 90° , то ∠ PTM = ½ ∠ TOM .
Предположим, что уравнение окружности в декартовых координатах имеет центр в точке ( a , b ) . Тогда касательная к окружности в точке ( x 1 , y 1 ) имеет декартово уравнение
Это можно доказать, взяв неявную производную окружности. Предположим, что окружность имеет уравнение, и мы находим наклон касательной в точке ( x 1 , y 1 ) , где мы начинаем с принятия неявной производной по x :
Теперь, когда у нас есть наклон касательной линии, мы можем подставить наклон и координату точки касания в уравнение линии y = kx + m .
Сравнительно просто построить линию t , касающуюся окружности в точке T на окружности окружности:
Теорему Фалеса можно использовать для построения касательных к точке P , внешней по отношению к окружности C :
Отрезки ОТ 1 и ОТ 2 являются радиусами окружности С ; поскольку оба вписаны в полукруг, они перпендикулярны отрезкам PT 1 и PT 2 соответственно. Но только касательная линия перпендикулярна радиальной линии. Следовательно, две прямые, идущие от P и проходящие через T 1 и T 2 , касаются окружности C .
Другой метод построения касательных к точке P , внешней по отношению к кругу, с использованием только линейки :
Пусть это точка окружности с уравнением. Касательная в точке P имеет уравнение , поскольку P лежит на обеих кривых и является вектором нормали к прямой. Касательная пересекает ось x в точке с
И наоборот, если начать с точки , то две касательные, проходящие через P 0 , пересекают окружность в двух точках с
Если точка не лежит на оси x : В векторной форме x 0 заменяется расстоянием , а единичные базисные векторы - ортогональными единичными векторами. Тогда касательные, проходящие через точку P 0 , касаются окружности в точках.
Связь с инверсией круга : уравнение описывает инверсию круга точки.
Связь с полюсом и полярной : полярная точка имеет уравнение
Касательный многоугольник — это многоугольник , каждая из сторон которого касается определенной окружности, называемой вписанной в нее окружностью . Каждый треугольник является касательным многоугольником, как и любой правильный многоугольник с любым количеством сторон; кроме того, на каждое число сторон многоугольника существует бесконечное число несопоставимых касательных многоугольников.
Касательный четырехугольник ABCD — замкнутая фигура с четырьмя прямыми сторонами, касающимися данной окружности C. Эквивалентно, окружность C вписана в четырехугольник ABCD . По теореме Пито суммы противоположных сторон любого такого четырехугольника равны, т. е.
Этот вывод следует из равенства касательных отрезков четырех вершин четырехугольника. Обозначим точки касания как P (на отрезке AB ), Q (на отрезке BC ), R (на отрезке CD ) и S (на отрезке DA ). Симметричные касательные отрезки относительно каждой точки ABCD равны:
доказательство теоремы.
Верно и обратное: окружность можно вписать в любой четырехугольник, у которого сумма длин противоположных сторон равна одному и тому же значению. [2]
Эта теорема и обратная к ней имеют различное применение. Например, они сразу же показывают, что ни один прямоугольник не может иметь вписанную окружность, если он не является квадратом , и что в каждом ромбе есть вписанная окружность, тогда как в обычном параллелограмме ее нет.
Для двух окружностей обычно существует четыре различных линии, которые касаются обеих ( биткасательная ) – если две окружности находятся вне друг друга – но в вырожденных случаях может быть любое количество от нуля до четырех двухкасательных линий; они рассматриваются ниже. Для двух из них, внешних касательных линий, круги лежат на одной стороне линии; для двух других, внутренних касательных линий, круги лежат на противоположных сторонах линии. Внешние касательные пересекаются во внешнем центре гомотетики , тогда как внутренние касательные пересекаются во внутреннем центре гомотетики. И внешний, и внутренний центры гомотетики лежат на линии центров (линии, соединяющей центры двух кругов), ближе к центру меньшего круга: внутренний центр находится на отрезке между двумя кругами, а внешний центр находится не между точками, а снаружи, со стороны центра меньшего круга. Если две окружности имеют одинаковый радиус, все еще есть четыре бикасательных, но внешние касательные параллельны, и в аффинной плоскости нет внешнего центра ; на проективной плоскости внешний гомотетический центр лежит в бесконечной точке , соответствующей наклону этих прямых. [3]
Красная линия, соединяющая точки ( x 3 , y 3 ) и ( x 4 , y 4 ), является внешней касательной между двумя кругами. По заданным точкам ( x 1 , y 1 ) , ( x 2 , y 2 ) точки ( x 3 , y 3 ) , ( x 4 , y 4 ) можно легко вычислить с помощью угла α :
Здесь R и r обозначают радиусы двух кругов, а угол α можно вычислить с помощью базовой тригонометрии. У вас α = γ − β с [4] [ проверка не удалась – см. обсуждение ]
Расстояния между центрами ближайшего и дальнего кругов O 2 и O 1 и точкой пересечения двух внешних касательных двух кругов ( гомотетический центр ), S соответственно, можно определить с помощью подобия следующим образом:
Внутренняя касательная — это касательная, пересекающая отрезок, соединяющий центры двух окружностей. Обратите внимание, что внутренняя касательная не будет определена в случаях, когда две окружности перекрываются.
Бикасательные линии можно построить либо путем построения гомотетических центров, как описано в этой статье, а затем построения касательных линий, проходящих через гомотетический центр, касающийся одной окружности, одним из методов, описанных выше. Полученная линия будет касательной и к другому кругу. Альтернативно, касательные линии и точки касания могут быть построены более прямым способом, как подробно описано ниже. Заметим, что в вырожденных случаях эти конструкции разрушаются; для упрощения изложения это не обсуждается в этом разделе, но такая форма конструкции может работать в предельных случаях (например, две окружности, касающиеся в одной точке).
Пусть O 1 и O 2 будут центрами двух кругов, C 1 и C 2 , и пусть r 1 и r 2 будут их радиусами , при этом r 1 > r 2 ; другими словами, круг C 1 определяется как больший из двух кругов. Для построения внешних и внутренних касательных линий можно использовать два разных метода.
Нарисован новый круг C 3 радиуса r 1 − r 2 с центром в O 1 . Используя описанный выше метод, от O 2 рисуются две линии , касающиеся этой новой окружности. Эти линии параллельны желаемым касательным линиям, поскольку ситуация соответствует сжатию обеих окружностей C 1 и C 2 на постоянную величину r 2 , что сжимает C 2 до точки. Две радиальные линии можно провести из центра O1 через точки касания на C3 ; они пересекают C 1 в нужных точках касания. Желаемые внешние касательные линии представляют собой линии, перпендикулярные этим радиальным линиям в тех точках касания, которые могут быть построены, как описано выше.
Нарисован новый круг C 3 радиуса r 1 + r 2 с центром в O 1 . Используя описанный выше метод, от O 2 рисуются две линии , касающиеся этой новой окружности. Эти линии параллельны желаемым касательным линиям, поскольку ситуация соответствует сжатию C 2 до точки при расширении C 1 на постоянную величину r 2 . Две радиальные линии можно провести из центра O1 через точки касания на C3 ; они пересекают C 1 в нужных точках касания. Желаемые внутренние касательные линии представляют собой линии, перпендикулярные этим радиальным линиям в тех точках касания, которые могут быть построены, как описано выше.
Пусть круги имеют центры c 1 = ( x 1 , y 1 ) и c 2 = ( x 2 , y 2 ) с радиусами r 1 и r 2 соответственно. Выражая линию уравнением с нормализацией, тогда бикасательная линия удовлетворяет условию:
Если расстояние от c 1 до c 2 , мы можем нормализовать
( X , Y ) — единичный вектор, указывающий от c 1 до c 2 , а R — это cos θ , где θ — угол между линией центров и касательной линией. Тогда sin θ равен (в зависимости от знака θ , что эквивалентно направлению вращения), а приведенные выше уравнения представляют собой вращение ( X , Y ) на ± θ с использованием матрицы вращения:
Вышеупомянутое предполагает, что каждый круг имеет положительный радиус. Если r 1 положительный, а r 2 отрицательный, то c 1 будет лежать слева от каждой линии, а c 2 справа, и две касательные линии пересекутся. Таким образом получены все четыре решения. Знаки переключения обоих радиусов переключаются на k = 1 и k = −1 .
В общем случае точки касания t 1 и t 2 четырех прямых, касающихся двух окружностей с центрами v 1 и v 2 и радиусами r 1 и r 2, определяются путем решения одновременных уравнений:
Эти уравнения выражают, что касательная линия, параллельная радиусам , перпендикулярна радиусам и что точки касания лежат на соответствующих окружностях.
Это четыре квадратных уравнения с двумя двумерными векторными переменными, которые в общем положении будут иметь четыре пары решений.
Две отдельные окружности могут иметь от нуля до четырех касательных линий, в зависимости от конфигурации; их можно классифицировать по расстоянию между центрами и радиусами. При счете с кратностью (дважды считая общую касательную) получается ноль, две или четыре бикасательных линии. Бикасательные линии также можно обобщить до кругов отрицательного или нулевого радиуса. Вырожденные случаи и кратности также можно понимать в терминах пределов других конфигураций - например, предел двух окружностей, которые почти соприкасаются, и движущегося одного так, что они соприкасаются, или круга малого радиуса, сжимающегося до круга нулевого радиуса. .
Наконец, если две окружности идентичны, любая касательная к окружности является общей касательной и, следовательно, (внешней) бикасательной, поэтому существует количество бикасательных окружности.
Кроме того, понятие двухкасательных линий можно распространить на круги с отрицательным радиусом (то же геометрическое положение точек, но рассматриваемое «наизнанку»), и в этом случае, если радиусы имеют противоположный знак (один круг имеет отрицательный радиус, а другой - положительный радиус) внешний и внутренний гомотетические центры, а также внешний и внутренний битангенсы меняются местами, при этом если радиусы имеют одинаковый знак (оба положительных радиуса или оба отрицательных радиуса), то «внешний» и «внутренний» имеют один и тот же обычный смысл (переключение одного знака переключается их, поэтому переключение обоих переключает их обратно).
Бикасательные линии также могут быть определены, если одна или обе окружности имеют нулевой радиус. В этом случае окружность нулевого радиуса является двойной точкой, и, следовательно, любая линия, проходящая через нее, пересекает точку с кратностью два и, следовательно, является «касательной». Если одна окружность имеет нулевой радиус, бикасательная линия — это просто линия, касающаяся окружности и проходящая через точку, и учитывается с кратностью два. Если обе окружности имеют нулевой радиус, то бикасательная линия — это линия, которую они определяют, и учитывается с кратностью четыре.
Обратите внимание, что в этих вырожденных случаях внешний и внутренний гомотетические центры, как правило, все еще существуют (внешний центр находится на бесконечности, если радиусы равны), за исключением случаев, когда окружности совпадают, и в этом случае внешний центр не определен, или если обе окружности имеют нулевой радиус, и в этом случае внутренний центр не определен.
Внутренние и внешние касательные полезны при решении задачи о ремне , которая заключается в расчете длины ремня или веревки, необходимой для плотного прилегания к двум шкивам. Если ремень рассматривать как математическую линию незначительной толщины и если предполагается, что оба шкива лежат в одной и той же плоскости, проблема сводится к суммированию длин соответствующих отрезков касательных линий с длинами дуг окружностей, стянутых пояс. Если ремень обернут вокруг колес так, чтобы перекрещиваться, важны внутренние отрезки касательной линии. И наоборот, если ремень обернут снаружи вокруг шкивов, важны внешние сегменты касательных линий; этот случай иногда называют проблемой шкива .
Для трех кругов, обозначенных C 1 , C 2 и C 3 , существует три пары кругов ( C 1 C 2 , C 2 C 3 и C 1 C 3 ). Поскольку каждая пара окружностей имеет два гомотетичных центра, всего гомотетических центров шесть . Гаспар Монж показал в начале 19 века, что эти шесть точек лежат на четырех линиях, каждая из которых имеет три точки, лежащие на одной прямой.
Многие частные случаи задачи Аполлония связаны с поиском окружности, касающейся одной или нескольких прямых. Самый простой из них — построение окружностей, касающихся трех заданных прямых ( задача ЛЛЛ ). Чтобы решить эту проблему, центр любого такого круга должен лежать на биссектрисе любой пары прямых; для каждого пересечения двух прямых есть две биссектрисы угла. Пересечения этих биссектрис дают центры кругов решения. Всего таких кругов четыре: вписанный круг треугольника, образованный пересечением трех линий, и три выписанных круга.
Общую задачу Аполлония можно преобразовать в более простую задачу о окружности, касательной к одной окружности и двум параллельным прямым (что само по себе является частным случаем особого случая LLC ). Для этого достаточно масштабировать две из трех данных окружностей до тех пор, пока они не соприкоснутся, т. е. не станут касательными. Инверсия точки их касания относительно окружности соответствующего радиуса превращает две соприкасающиеся данные окружности в две параллельные прямые, а третью данную окружность в другую окружность . Таким образом, решения можно найти, перемещая круг постоянного радиуса между двумя параллельными линиями до тех пор, пока он не коснется преобразованного третьего круга. Повторное обращение дает соответствующие решения исходной задачи.
Понятие касательной к одной или нескольким окружностям можно обобщить несколькими способами. Во-первых, сопряженные отношения между точками касания и касательными линиями могут быть обобщены на точки полюса и полярные линии , в которых точки полюса могут находиться где угодно, а не только на окружности круга. Во-вторых, объединение двух окружностей является частным ( приводимым ) случаем плоской кривой четвертой степени , а внешняя и внутренняя касательные являются биткасательными к этой кривой четвертой степени. Общая кривая четвертой степени имеет 28 биткасательных.
Третье обобщение рассматривает касательные круги, а не касательные линии; касательную линию можно рассматривать как касательную окружность бесконечного радиуса. В частности, внешние касательные к двум окружностям являются предельными случаями семейства окружностей, которые внутренне или внешне касаются обеих окружностей, а внутренние касательные представляют собой предельные случаи семейства окружностей, которые внутренне или внешне касаются одной окружности. к другому из двух кругов. [5]
В Мёбиусе или инверсивной геометрии линии рассматриваются как круги, проходящие через точку «на бесконечности», и для любой линии и любого круга существует преобразование Мёбиуса , которое отображает одно в другое. В геометрии Мёбиуса касание прямой и окружности становится частным случаем касания двух окружностей. Эта эквивалентность расширяется далее в геометрии сферы Ли .
Радиус и касательная перпендикулярны в точке окружности и гиперболически-ортогональны в точке единичной гиперболы . Параметрическое представление единичной гиперболы через радиус-вектор: p ( a ) = (cosh a , sinh a ) . Производная p ( a ) указывает в направлении касательной в точке p ( a ) и равна. Радиус и касательная гиперболически ортогональны в точке a, поскольку p ( a ) и являются отражением друг друга в асимптоте y = x единичная гипербола. При интерпретации как расщепленные комплексные числа (где jj = +1 ) эти два числа удовлетворяют