В геометрии касательная линия (или просто касательная ) к плоской кривой в данной точке интуитивно представляет собой прямую линию , которая «просто касается» кривой в этой точке. Лейбниц определил ее как линию, проходящую через пару бесконечно близких точек кривой. [1] [2] Точнее, прямая касается кривой y = f ( x ) в точке x = c , если линия проходит через точку ( c , f ( c )) на кривой и имеет наклон f ' ( c ) , где f ' — производная от f . Аналогичное определение применимо к пространственным кривым и кривым в n -мерном евклидовом пространстве .
Точка, где касательная линия и кривая встречаются или пересекаются, называется точкой касания . Говорят, что касательная линия «идет в том же направлении», что и кривая, и, таким образом, является лучшим приближением прямой линии к кривой в этой точке. Касательную линию к точке дифференцируемой кривой можно также рассматривать как аппроксимацию касательной линии , график аффинной функции , которая лучше всего приближает исходную функцию в данной точке. [3]
Аналогично, касательная плоскость к поверхности в данной точке — это плоскость , которая «только касается» поверхности в этой точке. Понятие касательной — одно из наиболее фундаментальных понятий дифференциальной геометрии , получившее широкое обобщение; .
Слово «тангенс» происходит от латинского tangere — «прикасаться».
Евклид несколько раз упоминает касательную ( ἐφαπτομένη ephaptoménē ) к кругу в книге III « Элементов» (ок. 300 г. до н.э.). [4] В работе Аполлония « Коника» (ок. 225 г. до н.э.) он определяет касательную как линию, между которой и кривой не может проходить никакая другая прямая линия . [5]
Архимед (ок. 287 – ок. 212 до н. э.) нашел касательную к архимедовой спирали , рассматривая путь точки, движущейся по кривой. [5]
В 1630-х годах Ферма разработал технику адекватности для расчета тангенсов и других задач анализа и использовал ее для расчета тангенсов к параболе. Техника адекватности аналогична получению разницы между и и делению на степень . Независимо Декарт использовал свой метод нормалей, основанный на наблюдении, что радиус круга всегда нормален к самому кругу. [6]
Эти методы привели к развитию дифференциального исчисления в 17 веке. Многие люди внесли свой вклад. Роберваль открыл общий метод рисования касательных, рассматривая кривую, описываемую движущейся точкой, движение которой является результатом нескольких более простых движений. [7] Рене-Франсуа де Слюз и Йоханнес Худде нашли алгебраические алгоритмы для нахождения касательных. [8] Дальнейшие разработки включали разработки Джона Уоллиса и Исаака Барроу , ведущие к теории Исаака Ньютона и Готфрида Лейбница .
В 1828 году касательная определялась как «прямая линия, которая касается кривой, но при проведении не пересекает ее». [9] Это старое определение предотвращает наличие касательных в точках перегиба . Оно было отвергнуто, и современные определения эквивалентны определениям Лейбница , который определил касательную линию как линию, проходящую через пару бесконечно близких точек кривой.
Интуитивное представление о том, что касательная линия «касается» кривой, можно сделать более явным, рассмотрев последовательность прямых ( секущих линий ), проходящих через две точки, A и B , те, которые лежат на функциональной кривой. Касательная в точке A — это предел, когда точка B приближается или стремится к A. Существование и единственность касательной зависит от определенного типа математической гладкости, известного как «дифференцируемость». Например, если две дуги окружности встречаются в острой точке (вершине), то в вершине не существует однозначно определенной касательной, поскольку предел прогрессии секущих линий зависит от направления, в котором «точка B » приближается к вершине.
В большинстве точек касательная касается кривой, не пересекая ее (хотя при продолжении она может пересекать кривую в других местах, далеких от точки касательной). Точка, где касательная (в этой точке) пересекает кривую, называется точкой перегиба . Окружности , параболы , гиперболы и эллипсы не имеют точки перегиба, но более сложные кривые имеют ее, например график кубической функции , который имеет ровно одну точку перегиба, или синусоида, которая имеет две точки перегиба на каждый период синус .
И наоборот, может случиться так, что кривая целиком лежит по одну сторону прямой, проходящей через точку на ней, и все же эта прямая не является касательной. Так обстоит дело, например, с линией, проходящей через вершину треугольника и не пересекающей ее иначе, когда касательная линия не существует по причинам, объясненным выше. В выпуклой геометрии такие линии называются опорными .
Геометрическая идея касательной как предела секущих линий служит мотивацией для аналитических методов, которые используются для явного нахождения касательных линий. Вопрос о нахождении касательной к графику, или проблема касательной, был одним из центральных вопросов, приведших к развитию исчисления в 17 веке. Во второй книге «Геометрии» Рене Декарт [ 10] сказал о проблеме построения касательной к кривой: «И я осмелюсь сказать, что это не только самая полезная и самая общая проблема в геометрии, которую я знаю, но даже то, что я когда-либо желал знать». [11]
Предположим, что кривая задана как график функции y = f ( x ) . Чтобы найти касательную в точке p = ( a , f ( a ) ), рассмотрим другую близлежащую точку q = ( a + h , f ( a + h )) на кривой. Наклон секущей линии , проходящей через p и q , равен разностному коэффициенту
Когда точка q приближается к p , что соответствует уменьшению и уменьшению h , коэффициент разности должен приближаться к определенному предельному значению k , которое представляет собой наклон касательной линии в точке p . Если k известно, уравнение касательной можно найти в форме наклона точки:
Чтобы сделать предыдущие рассуждения строгими, необходимо пояснить, что понимается под коэффициентом разности, приближающимся к некоторому предельному значению k . Точная математическая формулировка была дана Коши в 19 веке и основана на понятии предела . Предположим, что график не имеет излома или острого края в точке p и вблизи точки p он не является ни отвесным, ни слишком извилистым . Тогда существует уникальное значение k такое, что по мере того, как h приближается к 0, коэффициент разности становится все ближе и ближе к k , и расстояние между ними становится незначительным по сравнению с размером h , если h достаточно мало. Это приводит к определению наклона касательной к графику как предела разностных коэффициентов для функции f . Этот предел является производной функции f в точке x = a , обозначаемой f ′( a ). Используя производные, уравнение касательной можно сформулировать следующим образом:
Исчисление предоставляет правила для вычисления производных функций, заданных формулами, таких как степенная функция , тригонометрические функции , показательная функция , логарифм и их различные комбинации. Таким образом, уравнения касательных к графикам всех этих функций, как и многих других, можно найти методами исчисления.
Исчисление также показывает, что существуют функции и точки на их графиках, для которых не существует предела, определяющего наклон касательной. Для этих точек функция f недифференцируема . Возможны две причины неэффективности метода нахождения касательных, основанного на пределах и производных: либо геометрический тангенс существует, но представляет собой вертикальную линию, которую нельзя задать в виде точки-наклона, поскольку она не имеет наклон, или график демонстрирует одно из трех поведений, исключающих геометрический тангенс.
График y = x 1/3 иллюстрирует первую возможность: здесь коэффициент разности при a = 0 равен h 1/3 / h = h −2/3 , который становится очень большим, когда h приближается к 0. Эта кривая имеет касательная линия в начале координат вертикальна.
График y = x 2/3 иллюстрирует еще одну возможность: этот график имеет точку возврата в начале координат. Это означает, что когда h приближается к 0, коэффициент разности при a = 0 приближается к плюс или минус бесконечности в зависимости от знака x . Таким образом, обе ветви кривой находятся рядом с полувертикальной линией, для которой y = 0, но ни одна из них не находится рядом с отрицательной частью этой линии. По сути, в этом случае касательной в начале координат нет, но в некотором контексте можно рассматривать эту линию как касательную и даже, в алгебраической геометрии , как двойную касательную .
График y = | х | Функция абсолютного значения состоит из двух прямых линий с разными наклонами, соединенных в начале координат. Когда точка q приближается к началу координат справа, секущая линия всегда имеет наклон 1. Когда точка q приближается к началу координат слева, секущая линия всегда имеет наклон -1. Следовательно, единственной касательной к графику в начале координат не существует. Наличие двух разных (но конечных) наклонов называется углом .
Наконец, поскольку дифференцируемость предполагает непрерывность, разрыв противоположных состояний подразумевает недифференцируемость. Любой такой скачок или точечный разрыв не будет иметь касательной линии. Сюда входят случаи, когда один наклон приближается к положительной бесконечности, а другой — к отрицательной бесконечности, что приводит к разрыву бесконечного скачка.
Когда кривая задается как y = f ( x ), то наклон касательной таков, что по формуле точки-наклона уравнение касательной в точке ( X , Y ) равно
где ( x , y ) — координаты любой точки касательной линии, и где производная оценивается в . [12]
Когда кривая задается формулой y = f ( x ) , уравнение касательной линии также можно найти [13] с помощью полиномиального деления на ; если остаток обозначить , то уравнение касательной имеет вид
Когда уравнение кривой задано в форме f ( x , y ) = 0, тогда значение наклона можно найти путем неявного дифференцирования , что дает
Уравнение касательной в точке ( X , Y ) такой, что f ( X , Y ) = 0, тогда [12]
Это уравнение остается верным, если
в этом случае наклон касательной бесконечен. Если, однако,
касательная линия не определена, а точка ( X , Y ) называется особой .
Для алгебраических кривых вычисления можно несколько упростить, переведя их в однородные координаты . В частности, пусть однородное уравнение кривой будет g ( x , y , z ) = 0, где g — однородная функция степени n . Тогда, если ( X , Y , Z ) лежит на кривой, из теоремы Эйлера следует
Уравнение касательной в декартовых координатах можно найти, положив в этом уравнении z =1. [14]
Чтобы применить это к алгебраическим кривым, запишите f ( x , y ) как
где каждый u r представляет собой сумму всех членов степени r . Тогда однородное уравнение кривой имеет вид
Применяя приведенное выше уравнение и устанавливая z = 1, получаем
как уравнение касательной. [15] Уравнение в этой форме часто проще использовать на практике, поскольку после его применения не требуется дальнейшего упрощения. [14]
Если кривая задана параметрически выражением
тогда наклон касательной равен
дающее уравнение для касательной при as [16]
Если
касательная линия не определена. Однако может случиться так, что касательная линия существует и может быть вычислена из неявного уравнения кривой.
Линия, перпендикулярная касательной к кривой в точке касания, называется нормальной линией к кривой в этой точке. Наклоны перпендикулярных линий имеют произведение −1, поэтому, если уравнение кривой y = f ( x ), то наклон нормальной линии равен
и отсюда следует, что уравнение нормальной линии в точке (X, Y) имеет вид
Аналогично, если уравнение кривой имеет вид f ( x , y ) = 0, то уравнение нормальной линии имеет вид [17]
Если кривая задана параметрически выражением
тогда уравнение нормальной линии имеет вид [16]
Угол между двумя кривыми в точке их пересечения определяется как угол между их касательными линиями в этой точке. Более конкретно, две кривые называются касательными в точке, если они имеют одну и ту же касательную в точке, и ортогональными, если их касательные линии ортогональны. [18]
Приведенные выше формулы не работают, когда точка является особой точкой . В этом случае через точку могут проходить две или более ветви кривой, причем каждая ветвь имеет свою касательную. Когда точка является началом координат, уравнения этих линий можно найти для алгебраических кривых путем факторизации уравнения, образованного путем исключения из исходного уравнения всех членов, кроме наименьшей степени. Поскольку любую точку можно сделать исходной путем замены переменных (или перемещения кривой ), это дает метод нахождения касательных линий в любой особой точке.
Например, уравнение трисектрисы Лимасона, показанное справа, имеет вид
Расширяя это и исключая все члены, кроме членов степени 2, получаем
который при факторизации становится
Итак, это уравнения двух касательных, проходящих через начало координат. [19]
Когда кривая не является самопересекающейся, касательная в контрольной точке все равно не может быть определена однозначно, поскольку кривая не дифференцируема в этой точке, хотя она дифференцируема в другом месте. В этом случае левая и правая производные определяются как пределы производной, поскольку точка, в которой она оценивается, приближается к контрольной точке соответственно слева (более низкие значения) или справа (более высокие значения). Например, кривая y = | х | не дифференцируема в точке x = 0: ее левая и правая производные имеют наклоны соответственно −1 и 1; касательные в этой точке с этими наклонами называются левыми и правыми касательными. [20]
Иногда наклоны левой и правой касательных равны, поэтому касательные совпадают. Это справедливо, например, для кривой y = x 2/3 , у которой как левая, так и правая производные при x = 0 бесконечны; как левая, так и правая касательные имеют уравнение x = 0.
Две различные окружности, лежащие в одной плоскости, называются касающимися друг друга, если они встречаются ровно в одной точке.
Если точки на плоскости описываются с использованием декартовых координат , то две окружности с радиусами и центрами касаются друг друга всякий раз, когда
Две окружности называются внешне касающимися , если расстояние между их центрами равно сумме их радиусов:
или внутренне касательные , если расстояние между их центрами равно разности их радиусов: [21]
Касательная плоскость к поверхности в данной точке p определяется аналогично касательной линии в случае кривых. Это наилучшее приближение поверхности плоскостью в точке p , и его можно получить как предельное положение плоскостей, проходящих через 3 различные точки на поверхности, близких к p , когда эти точки сходятся к p . Математически, если поверхность задана функцией , уравнение касательной плоскости в точке можно выразить как:
.
Здесь и – частные производные функции по и соответственно, оцененные в точке . По сути, касательная плоскость фиксирует локальное поведение поверхности в конкретной точке p . Это фундаментальная концепция, используемая в математическом анализе и дифференциальной геометрии, имеющая решающее значение для понимания того, как функции локально изменяются на поверхностях.
В более общем смысле, в каждой точке k - мерного многообразия в n -мерном евклидовом пространстве существует k-мерное касательное пространство .