Секущая линия
В геометрии секущая линия — это , пересекающая кривую как минимум в двух различных точках . [1] Слово секанс происходит от латинского слова secare , что означает разрезать . [2] В случае круга секущая пересекает круг ровно в двух точках. Хорда отрезок — это прямой, определяемый двумя точками, то есть отрезок секущей, концами которого являются две точки. [3]
Круги [ править ]

Прямая может пересекать окружность в нуле, одной или двух точках. Линия с пересечениями в двух точках называется секущей , в одной точке - касательной и ни в одной точке - внешней линией . Хорда — это отрезок линии, соединяющий две различные точки окружности. Таким образом, хорда содержится в уникальной секущей линии, и каждая секущая линия определяет уникальную хорду.
В строгих современных трактовках геометрии плоскостей результаты, которые кажутся очевидными и были приняты (без формулировок) Евклидом в его трактовке обычно доказываются .
Например, Теорема (Элементарная круговая непрерывность) : [4] Если представляет собой круг и линия, содержащая точку А, находящуюся внутри и точка B, находящаяся за пределами затем является секущей линией для .
В некоторых ситуациях формулировка результатов в виде секущих линий вместо аккордов может помочь унифицировать высказывания. В качестве примера рассмотрим результат: [5]
- Если две секущие линии содержат хорды AB и CD в окружности и пересекаются в точке P , не принадлежащей окружности, то длины отрезков удовлетворяют условию AP ⋅ PB = CP ⋅ PD .
Если точка P лежит внутри круга, это Евклид III.35, но если точка находится вне круга, результат не содержится в Элементах. Однако Роберт Симсон вслед за Кристофером Клавиусом продемонстрировал этот результат, иногда называемый теоремой о пересекающихся секущих , в своих комментариях к Евклиду. [6]
Кривые [ править ]
Для кривых, более сложных, чем простые круги, возникает возможность того, что линия пересекает кривую более чем в двух различных точках. Некоторые авторы определяют секущую линию кривой как линию, пересекающую кривую в двух различных точках. Это определение оставляет открытой возможность того, что линия может иметь и другие точки пересечения с кривой. В такой формулировке определения секущей линии для кругов и кривых идентичны, и для круга возможность дополнительных точек пересечения просто не возникает.
Секущие и касательные [ править ]
Секущие могут использоваться для аппроксимации касательной , если к кривой в некоторой точке P она существует. Определите секущую кривой по двум P точкам и Q с фиксированным P и Q. переменной Когда Q приближается к P вдоль кривой, если наклон секущей приближается к значению , то этот предел определяет наклон касательной в точке P. предельному [1] Секущие линии PQ являются приближениями касательной. В исчислении эта идея представляет собой геометрическое определение производной .

Касательная линия к кривой в точке P может быть секущей линией к этой кривой, если она пересекает кривую хотя бы в одной точке, кроме P . Другой способ взглянуть на это — осознать, что быть касательной линией в точке P — это локальное свойство, зависящее только от кривой в непосредственной близости от точки P , тогда как быть секущей линией — это глобальное свойство, поскольку вся область определения необходимо изучить функцию, производящую кривую.
Множества и n -секущие [ править ]
Понятие секущей линии может быть применено в более общем контексте, чем евклидово пространство. Пусть K — конечное множество из k точек в некоторой геометрической ситуации. Прямая называется n -секущей K если она содержит ровно n точек K. , [7] Например, если K — это набор из 50 точек, расположенных на окружности в евклидовой плоскости, линия, соединяющая две из них, будет 2-секущей (или биссектрисой ), а линия, проходящая через только одну из них, будет 1-. секущая (или унисекс ). Унисекс в этом примере не обязательно должен быть касательной к окружности.
Эта терминология часто используется в геометрии падения и дискретной геометрии . Например, теорема Сильвестра-Галлаи о геометрии инцидентности утверждает, что если n точек евклидовой геометрии не лежат на одной прямой , то из них должна существовать 2-секущая. А исходная задача дискретной геометрии о посадке фруктовых садов требует ограничения количества 3-секущих конечного набора точек.
Конечность множества точек не является существенной в этом определении, поскольку каждая прямая может пересекать множество только в конечном числе точек.
См. также [ править ]
- Эллиптическая кривая — кривая, у которой каждая секущая имеет третью точку пересечения, из которой можно определить большую часть группового закона.
- Теорема о среднем значении , согласно которой каждая секущая графика гладкой функции имеет параллельную касательную.
- Квадрисеканс — линия, пересекающая четыре точки кривой (обычно пространственной кривой).
- Секущая плоскость , трехмерный эквивалент секущей линии.
- Секущее многообразие , объединение секущих и касательных линий к заданному проективному многообразию.
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б Проттер, Мюррей Х .; Проттер, Филип Э. (1988), Исчисление с аналитической геометрией , Jones & Bartlett Learning, с. 62, ISBN 9780867200935 .
- ^ Редгроув, Герберт Стэнли (1913), Экспериментальное измерение: элементарный учебник индуктивной геометрии , Ван Ностранд, с. 167 .
- ^ Галлберг, Январь (1997), Математика: от рождения чисел , WW Norton & Company, стр. 387, ISBN 9780393040029 .
- ^ Венема, Джерард А. (2006), Основы геометрии , Пирсон/Прентис-Холл, с. 229, ISBN 978-0-13-143700-5
- ^ Джейкобс, Гарольд Р. (1974), Геометрия , WH Freeman & Co., с. 482, ISBN 0-7167-0456-0
- ^ Хит, Томас Л. (1956), Тринадцать книг «Элементов Евклида» (Том 2) , Дувр, стр. 73
- ^ Хиршфельд, JWP (1979), Проективная геометрия над конечными полями , Oxford University Press, стр. 70 , ISBN 0-19-853526-0